A Study on Fault Localization for Automated Program Repair

2023 Fiscal Year Final Research Report

• Project/Area Number: 20H04166
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• Section: 一般
• Review Section: Basic Section 60050:Software-related
• Research Institution: Osaka University
• Principal Investigator: Higo Yoshiki 大阪大学, 大学院情報科学研究科, 教授 (70452414)
• Co-Investigator(Kenkyū-buntansha): 丸山 勝久 立命館大学, 情報理工学部, 教授 (30330012) ; 松本 真佑 大阪大学, 大学院情報科学研究科, 助教 (90583948)
• Project Period (FY): 2020-04-01 – 2024-03-31
• Keywords: 欠陥限局 / 自動プログラム修正 / ソースコード解析 / テスト自動生成

Outline of Final Research Achievements

In this research project, we have worked to develop fault localization techniques that have a high affinity with automated program repair techniques. Specifically, we worked on "improving fault localization accuracy through automated test case generation", "improving fault localization accuracy through test case weighting", "developing a mechanism for quantitatively evaluating the affinity between the target program and fault localization techniques", and "investigating the relationship between test cases to check exception handling and fault localization accuracy".

Free Research Field

ソフトウェア工学

Academic Significance and Societal Importance of the Research Achievements

発生したバグを完全に自動で修正する自動プログラム修正技術が注目を集めているが，現在の技術レベルでは修正可能なバグは少なく，この技術を実システムで利用するのは現実的ではない．本研究では，自動プログラム修正技術の中で利用する欠陥限局技術に注目し，その高精度化を行った．本研究成果を用いることにより，自動プログラム修正技術の精度向上や高速化もある程度達成されるため，自動プログラム修正技術を実用的な技術として高める一助になる．