文献

J-GLOBAL ID：201702249992262807   整理番号：17A1780266

経験報告:評価故障検出有効性とアーキテクチャ品質保証フレームワークとツールの資源効率【Powered by NICT】

Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool

著者 (5件)： Johnsen Andreas ,  Lundqvist Kristina ,  Hanninen Kaj ,  Pettersson Paul ,  Torelm Martin
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ISSRE  ページ： 271-281  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 建築品質保証フレームワーク(AQAF)が重要な組込みシステムの建築工学のための全体論的と形式的検証プロセスを提供するために開発された理論である。AQAF統合建築モデル検査,モデルベース試験,および選択的回帰検証法はこの目的を達成するために包含する。建築品質保証ツール(AQAT)はAQAFの理論を実装し,フレームワークの自動適用を可能にする。本論文では,AQATの評価と産業事例研究により基礎的なAQAF理論を提示し,資源効率と故障検出有効性を評価の標的化特性である。故障注入法を用いて,故障タイプの被覆率を保証し,統計解析に適したデータサンプルサイズを生成した。は本研究の改善の重要な領域を発見し,満足すべき結果が達成された前にフレームワークのさらなる開発を必要とした。最終結果は,設計レベルで100%の故障検出率,実装レベルで98.5%の故障検出率,および選択的回帰検証手法の助けを借りて6.4%の平均増加した効率を示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *品質保証 ,  組込みシステム ,  *故障検出 ,  *故障 ,  ターゲティング ,  統計解析 ,  *計算機アーキテクチャ ,  事例研究 ,  被覆率 ,  建築工学 ,  モデル検査
準シソーラス用語： 故障注入 ,  モデルベース ,  形式的検証 ,  *資源効率 , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (10件)： 経験 ,  報告 ,  評価 ,  故障検出 ,  有効性 ,  アーキテクチャ ,  品質保証 ,  フレームワーク ,  ツール ,  資源効率