実行経路に基づく欠陥限局手法において例外処理を検査するテストが及ぼす影響の調査

• Item type: Journal(1)
• 公開日: 2024-09-15
• タイトル: 実行経路に基づく欠陥限局手法において例外処理を検査するテストが及ぼす影響の調査
• タイトル / 言語: en
• タイトル: Investigation on Impact of Exceptional Behavior Testing on Spectrum-Based Fault Localization
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [一般論文] Spectrum-Based Fault Localization，例外処理，ソフトウェアテスト，デバッグ
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• ID登録: 10.20729/00239261
• ID登録 / ID登録タイプ: JaLC
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 日立製作所
• 著者所属: 日立製作所
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Hitachi, Ltd.
• 著者所属(英): en
• 著者所属(英): Hitachi, Ltd.
• 著者名: 吉岡, 遼; 肥後, 芳樹; 柗本, 真佑; 楠本, 真二; 伊藤, 信治; 張潘, タンフエン
• 著者名(英): Haruka, Yoshioka; Yoshiki, Higo; Shinsuke, Matsumoto; Shinji, Kusumoto; Shinji, Ito; Truong, Phan Thanh Huyen
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ソフトウェア開発において，デバッグ作業は多大なコストを要する．計算機によるデバッグ作業の支援により，デバッグコストの削減が期待される．デバッグ作業を支援する技術の1つに，欠陥限局と呼ばれる技術がある．これまでに数多くの欠陥限局手法が提案されており，中でも実行経路に基づく欠陥限局手法（Spectrum-Based Fault Localization，SBFL）が注目を集める．SBFLは，欠陥を含むプログラムとそのテストケースの集合を与えると，欠陥箇所を推定し出力する．これまでの研究により，SBFLは与えるテストケースによって欠陥限局の正確さに差異が生じることが示唆されている．本研究では，例外処理を検査するテストケースに着目し，これらがSBFLの正確さに与える影響を調査する．例外処理は通常の制御フローと切り離されるため，例外処理を検査するテストケースと通常の制御フローを検査するテストケースでは実行経路が異なり，SBFLの正確さに大きな影響を与えると考えたためである．実際の開発過程で生じた欠陥とミューテーションツールで人工的に生成した欠陥を対象に調査し，失敗したテストケースがすべて例外処理を検査するテストケースの場合，SBFLの結果は信頼できる傾向にあることを確認した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 65, 号 9, p. 1411-1422, 発行日 2024-09-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764
• 公開者 / 言語: ja
• 公開者 / 出版者: 情報処理学会