プログラムに対する欠陥限局の適合性計測

• Item type: Journal(1)
• 公開日: 2021-04-15
• タイトル: プログラムに対する欠陥限局の適合性計測
• タイトル / 言語: en
• タイトル: Measurement of Program Suitability for Fault Localization
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [特集：ソフトウェア工学] 欠陥限局，ミューテーションテスト，ソフトウェア保守性
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• ID登録: 10.20729/00210553
• ID登録 / ID登録タイプ: JaLC
• 著者所属: 大阪大学大学院情報科学研究科／株式会社日本総合研究所
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University / The Japan Research Institute, Limited
• 著者所属(英): 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
• 著者名: 佐々木, 唯; 肥後, 芳樹; 柗本, 真佑; 楠本, 真二
• 著者名(英): Yui, Sasaki; Yoshiki, Higo; Shinsuke, Matsumoto; Shinji, Kusumoto
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 欠陥限局とはプログラムに含まれる欠陥箇所を推測する技術である．なかでも近年，Spectrum-Based Fault Localization（SBFL）に関する研究がさかんに行われている．SBFLは，テストケースごとの成否と，どの文が実行されたかという情報を用いて，プログラム中の欠陥箇所を推測する技術である．同一機能のプログラムであってもプログラムの構造が異なれば，同じテストケースによって実行される文が変化するため，SBFLの精度に違いが生じる可能性がある．本論文では，プログラムがSBFLにどの程度適しているかを，そのプログラムに対するSBFL適合性として提案する．SBFL適合性は，あるプログラムに対するSBFLの精度を表している．また，本論文ではSBFL適合性の1つの評価指標として，SBFLスコアの計測手法を提案する．提案手法は，すべてのテストケースを通過するプログラムに対し，ミューテーションテスト技術を活用して意図的に欠陥を発生させ，SBFLによってその欠陥箇所をどの程度正確に特定できたかを計測する．リファクタリングを題材に，プログラム構造の違いによるSBFLスコアの違いを分析した結果，同一条件分岐先で実行される文の総数が，SBFLスコアに影響を与える要素であることを確認した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Fault Localization is a technique to localize faulty code fragments of a given program. Recently, Spectrum-Based Fault Localization (in short, SBFL) has been actively studied. SBFL utilizes the execution paths, which are the information about which program statements are executed by each of the success or failure test cases. If two programs have the same functionality but different program structures, the execution paths can vary; as a result, it may cause differences in the accuracy of identifying faults using SBFL. In this paper, we propose a characteristic to what extent a program is suitable for SBFL as SBFL-Suitability. SBFL-Suitability is a degree of accuracy of identifying the fault of a program. We also propose a technique for measuring the SBFLScore which is one metric of SBFL-Suitability. The proposed technique generates many slightly-variant programs from a given program using mutation testing techniques, and then measures how accurately SBFL can localize the changed statements in the variant programs. We conducted an experiment to investigate how the differences in program structures affect SBFLScore. As a result, we found that the fewer statements executed at the same conditional branch, the higher SBFLScore tends to be.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 62, 号 4, p. 1029-1038, 発行日 2021-04-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764