A Study on Fault Localization for Automated Program Repair

程序自动化修复的故障定位研究

• 批准号: 20H04166
• 负责人: 肥後 芳樹
• 金额: $ 10.73万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2020
• 资助国家: 日本
• 起止时间: 2020-04-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-20H04166/
• 关键词: 欠陥限局; 自動プログラム修正; プログラム解析; テストケース選択; テストケース重み付け; テストケース生成; テスト生成

同じ機能を持つプログラムでも，その構造によって SBFL の欠陥限局精度には差が生じる．よって，プログラム構造を SBFL に適する形に変更することで，機能を保ちつつ SBFL の精度向上が期待される．申請者はこれまでにBFL に適するプログラム構造を発見するために，SBFL スコアを提案し，小規模な実験を行ってきた．本年度はその実験規模を拡大しさらに多くのSBLとの親和性の高いプログラム構造の発見を試みた．具体的には，365個のプログラムからSBFLスコアを計算した．またSBFLスコア計算の際に新たに16種のミューテーションを考案した．この結果，SBFLと親和性の高いプログラム構造を新たに3つ発見できた．また，テスト種別とSBFL精度との関係も調査した．本年はテスト種別を正常系テストと異常系テストとして，　正常系テストのみの場合，異常系テストのみの場合，二種のテストが混ざっている場合のSBFLスコアの傾向を調査した．その結果，異常系テストが含まれない場合はSBFLの精度が低くなる傾向になることがわかった．また，テストケースが十分に存在しない場合であってもSBFLを行うためにテスト自動生成手法が用いられるが，テスト自動生成手法と生成対象のプログラム構造との関係についても調査を行った．その結果，テスト自動生成手法と相性の悪いプログラムの構造を4種発見することに成功した．

即使对于具有相同功能的程序，根据结构的不同，SBFL 的缺陷定位精度也存在差异。因此，通过将程序结构更改为适合SBFL的形式，预计可以在保持功能性的同时提高SBFL的准确性。申请人提出了SBFL评分并进行了小规模实验，以发现适合BFL的程序结构。今年，我们扩大了实验规模，试图发现与更多SBL高度兼容的程序结构。具体来说，我们计算了 365 个程序的 SBFL 分数。我们在计算 SBFL 分数时还设计了 16 个新突变。结果，我们发现了三种与SBFL高度兼容的新程序结构。我们还研究了测试类型和 SBFL 准确性之间的关系。今年的测试类型是正常测试和异常测试，我们调查了只有正常测试、只有异常测试以及两种测试混合时的SBFL分数趋势。结果发现，当不包括异常系统测试时，SBFL 的准确性往往较低。此外，尽管即使在没有足够的测试用例的情况下也可以使用自动测试生成方法来执行 SBFL，但我们还研究了自动测试生成方法与要生成的程序结构之间的关系。结果，我们成功地发现了四种与自动测试生成方法不兼容的程序结构。

项目成果

Classification of Changes Based on API

基于API的变更分类

• DOI: 10.1007/978-3-031-21388-5_5
• 发表时间: 2022
• 期刊: Proceedings of International Conference on Product-Focused Software Process Improvement
• 作者: Iriyama Masashi;Higo Yoshiki;Kusumoto Shinji
• 通讯作者: Kusumoto Shinji

自動プログラム修正によるマージ競合の自動解決を目指して

旨在通过自动程序修改来自动解决合并冲突

• 发表时间: 2020
• 作者: 石田滉;山下茂;丸山勝久
• 通讯作者: 丸山勝久

現実的な設定に基づいたバグ予測モデルの構築及び精度評価

基于实际设置的错误预测模型构建和准确性评估

• 发表时间: 2020
• 作者: 和田有史;山下茂;荻野翔
• 通讯作者: 荻野翔

プルリクエストのレビューを支援するツールプラットフォーム

帮助审查拉取请求的工具平台

• 发表时间: 2022
• 作者: Kanon Harada;Katsuhisa Maruyama;原田和音，丸山勝久;トウ ハクブン，丸山勝久
• 通讯作者: トウ ハクブン，丸山勝久

SBFL-Suitability: A Software Characteristic for Fault Localization

• DOI: 10.1109/icsme46990.2020.00076
• 发表时间: 2020-01-01
• 期刊: 2020 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2020)
• 作者: Sasaki, Yui;Higo, Yoshiki;Kusumoto, Shinji
• 通讯作者: Kusumoto, Shinji