@article{oai:ipsj.ixsq.nii.ac.jp:00239381,
 author = {吉岡, 遼 and 肥後, 芳樹 and 柗本, 真佑 and 楠本, 真二 and 伊藤, 信治 and 張潘, タンフエン and Haruka, Yoshioka and Yoshiki, Higo and Shinsuke, Matsumoto and Shinji, Kusumoto and Shinji, Ito and Truong, Phan Thanh Huyen},
 issue = {9},
 journal = {情報処理学会論文誌},
 month = {Sep},
 note = {ソフトウェア開発において，デバッグ作業は多大なコストを要する．計算機によるデバッグ作業の支援により，デバッグコストの削減が期待される．デバッグ作業を支援する技術の1つに，欠陥限局と呼ばれる技術がある．これまでに数多くの欠陥限局手法が提案されており，中でも実行経路に基づく欠陥限局手法（Spectrum-Based Fault Localization，SBFL）が注目を集める．SBFLは，欠陥を含むプログラムとそのテストケースの集合を与えると，欠陥箇所を推定し出力する．これまでの研究により，SBFLは与えるテストケースによって欠陥限局の正確さに差異が生じることが示唆されている．本研究では，例外処理を検査するテストケースに着目し，これらがSBFLの正確さに与える影響を調査する．例外処理は通常の制御フローと切り離されるため，例外処理を検査するテストケースと通常の制御フローを検査するテストケースでは実行経路が異なり，SBFLの正確さに大きな影響を与えると考えたためである．実際の開発過程で生じた欠陥とミューテーションツールで人工的に生成した欠陥を対象に調査し，失敗したテストケースがすべて例外処理を検査するテストケースの場合，SBFLの結果は信頼できる傾向にあることを確認した．, Debugging is a heavy task in software development. Computer-assisted debugging is expected to reduce these costs. Spectrum-Based Fault Localization (SBFL) is one of the most actively studied computer-assisted debugging techniques. SBFL aims to identify the location of faulty code elements based on the execution paths of test cases. Previous research reports that the accuracy of SBFL is affected by test types, such as flaky test cases. Our research focuses on exceptional behavior tests to reveal the impact of such tests on SBFL. Since separating exceptional handling from normal control flow enables developers to increase program robustness, we think the execution paths of exceptional behavior tests are different from the ones of normal control flow tests, which means that the differences significantly affect the accuracy of SBFL. In this study, we investigated the accuracy of SBFL on two types of faults: faults that occurred in the real software development process and artificially generated faults. As a result, our study reveals that SBFL tends to be more accurate when all failing test cases are exceptional behavior tests than when failing test cases include no exceptional behavior tests.},
 pages = {1411--1422},
 title = {実行経路に基づく欠陥限局手法において例外処理を検査するテストが及ぼす影響の調査},
 volume = {65},
 year = {2024}
}