文献

J-GLOBAL ID：202002231219490268   整理番号：20A0270233

ソフトウェア故障位置決めメトリックスのための可視化解析フレームワーク【JST・京大機械翻訳】

A Visualization Analytical Framework for Software Fault Localization Metrics

著者 (2件)： Zhang Xiao-Yi (National Institute of Informatics) ,  Zheng Zheng (Beihang University)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2019  号： PRDC  ページ： 148-14809  発行年： 2019年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： スペクトルベースの故障局所化(SBFL)のコアは,各プログラム要素に対する故障のpron度を計算するための公式として表現される疑いのある計量である。計量に関する現在の解析研究は,主に代数推論に基づくそれらの性能の比較に焦点を合わせている。しかし,実生活プログラムの複雑さが高いため,SBFLの実用化にはまだ課題がある。本論文は,SBFL計量の機構の更なる調査を強調した。計量分析のための可視化に基づく枠組みを提案し,その中で,計量は同定されたスペクトル空間における曲線により解釈され,それらの性能は幾何学的性質により説明できる。フレームワークに基づいて,著者らは,手順に従う計量分析のための基本的なアプローチを設計する:代表的なSBFLインスタンスを可視化し,幾何学的知識を一般化し,有用なガイダンスを得る。可視化の利点により,SBFLについて説明可能で本質的な知識を得ることができる。特に,典型的な計量の間の比較分析を行い,代数的推論と比較して,比較結果だけでなく,計量が他の性能を上回る理由についての説明と,連続最大計量の最適性のような新しい理論的知見を得た。最後に,SBFLに対する故障干渉の影響を研究する可能な方法についての拡張した議論を行い,このフレームワークの拡張性を示した。Copyright 2020 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件)： ソフトウェア故障 ,  メトリックス ,  可視化 ,  解析フレームワーク