文献

J-GLOBAL ID：202102277875986414   整理番号：21A0232321

安全重視ソフトウェア-試験結果の定量化【JST・京大機械翻訳】

Safety-Critical Software - Quantification of Test Results

著者 (3件)： Sundell Johan (Maelardalen University,IDT - School of Innovation, Design and Engineering,Vaestera&s,Sweden) ,  Lundqvist Kristina (Maelardalen University,IDT - School of Innovation, Design and Engineering,Vaestera&s,Sweden) ,  Forsberg Hakan (Maelardalen University,IDT - School of Innovation, Design and Engineering,Vaestera&s,Sweden)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： ISSREW  ページ： 303-310  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 安全-臨界ソフトウェアシステムは,伝統的に,航空宇宙,核および医学のような少数のドメインで見出されている。技術進歩とソフトウェア能力が増加するので,そのようなシステムはますます多くのアプリケーション,例えば自己駆動車,自律列車で見つかる。この開発は,このようなシステムの運転曝露を劇的に増加させるであろう。すべての安全臨界応用は,信頼性に関して例外的に厳しい基準を満たす必要がある。プロービングコンプライアンスは産業にとって挑戦であり,安全クリティカルソフトウェアの状態を決定する受け入れられる方法の欠如がある。調節体は,しばしば実行すべきある量の試験を必要とするが,ソフトウェアシステムでは,与えられた故障率の証拠を必要とする。本論文は,試験結果の定量化に取り組んだ。理論的および実際的側面の両方を調べた。本論文の貢献は,試験後のソフトウェアシステムにおける残りの未検出故障を推定する方程式である。方程式は部分試験被覆率を考慮した。理論結果は,大規模産業研究(市販軍事ソフトウェア)の結果によって検証される。さらに,産業結果を用いて,Shannon情報として知られるエントロピーの概念を分析し,それは試験努力から得られた知識を記述することを示した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： エントロピー ,  故障 ,  故障率 ,  信頼性 ,  臨界 ,  応用プログラム ,  *ソフトウェア ,  被覆率
準シソーラス用語： 自律性 ,  航空宇宙 ,  軍事 ,  ソフトウェアシステム , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： 重視 ,  ソフトウェア ,  試験 ,  定量化