命令削除ミューテーションに基づく欠陥局所化の産業用ソフトウェアにおける評価

DOI 情報処理学会

この論文をさがす

抄録

欠陥局所化技術はテスト結果やテスト実行情報などから欠陥の原因個所の候補を順位付けすることでデバッグの作業コストを削減するための技術である．いくつかの欠陥局所化技術のなかで，ミューテーション解析に基づく欠陥局所化技術（MBFL）は高い精度で欠陥を局所化できるが，実行コストが高い問題がある．一方，ミューテーション解析において，命令削除ミューテーションオペレータはミューテーション箇所の偏りが少なく，単独での利用でもすべてのミューテーションオペレータを使った場合と同等の効果があることが知られている．本論文では命令削除ミューテーションオペレータのみを用いたMBFL（SDL-MBFL）を提案し，実際の製品で使われているソフトウェアと実際に起こった9件の欠陥に対してSDL-MBFLによる局所化の評価を行った．評価の結果として，SDL-MBFLは欠陥箇所の候補の上位100位という基準において既存手法より多くの欠陥箇所をあげられた．

Fault localization is a technique to reduce the work cost of debugging by ranking the candidates of the cause of the defect based on the test result and the test execution information. Among several fault localization techniques, mutation based fault localization (MBFL) can localize defects with high accuracy, while mutation analysis has a problem of high execution cost. In the context of mutation analysis, the statement deletion mutation operator has less deviation of the mutation position and the same effect as the use of all mutation operators. In this paper, we propose statement deletion mutation based fault localization, SDL-MBFL, and evaluate it on industrial software used in actual products and nine defects actually occurred. As a result of the evaluation, the SDL-MBFL can find more defects than the existing methods in high ranking.

収録刊行物

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ