文献

J-GLOBAL ID：202102216046006651   整理番号：21A1085026

高信頼工業組込みソフトウェアユニット試験ツール【JST・京大機械翻訳】

Highly Trusted Industrial Embedded Software Unit Testing Tool

著者 (3件)： Yao Yinbo (上海工業控制安全創新科技有限公司,上海200333) ,  Bao Danzhu (上海工業控制安全創新科技有限公司,上海200333) ,  Zhou Zhenghui (上海工業控制安全創新科技有限公司,上海200333)
資料名： Xinxi Anquan yu Tongxin Baomi  (Xinxi Anquan yu Tongxin Baomi)
号： z1  ページ： 119-124  発行年： 2020年 
JST資料番号： C4544A  ISSN： 1009-8054  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 「高信頼工業組込ソフトウェアユニット試験ツール」は、主に工業組込みシステムの製品開発過程におけるテスト、検証段階の核心問題を解決している。テスト段階に対して、テストデータがどのように自動生成するかを重点的に解決し、国内の工業ソフトウェアテストケースの自動生成ツール技術空白を埋める;検証段階に対して、工業ソフトウェア検証の誤警報率が高く、深層欠陥分析問題が不足し、ダイナミックな運転時のエラー検査技術空白を埋めることに重点を置いた。Data from Wanfang. Translated by JST.【JST・京大機械翻訳】

シソーラス用語： 製品開発 ,  *プログラム検証 ,  深層 ,  組込みシステム
準シソーラス用語： 欠陥解析 ,  自動生成 ,  試験データ ,  *組込みソフトウェア ,  ユニット試験 , 【Automatic Indexing@JST】

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 工業 ,  組込みソフトウェア ,  ユニット試験 ,  ツール