機械がバグを修正する時代―擬似オラクル生成・適用と自動バグ修正技術の深化

2021 Fiscal Year Comments on the Screening Results

• Project/Area Number: 21H04877
• Research Category: Grant-in-Aid for Scientific Research (A)
• Allocation Type: Single-year Grants
• Section: 一般
• Review Section: Medium-sized Section 60:Information science, computer engineering, and related fields
• Research Institution: Kyushu University
• Principal Investigator: 亀井 靖高 九州大学, システム情報科学研究院, 教授 (10610222)
• Co-Investigator(Kenkyū-buntansha): 林 晋平 東京工業大学, 情報理工学院, 准教授 (40541975) ; 肥後 芳樹 大阪大学, 大学院情報科学研究科, 教授 (70452414) ; 馬 雷 東京大学, 大学院情報理工学系研究科, 准教授 (70842061) ; 松本 真佑 大阪大学, 大学院情報科学研究科, 助教 (90583948)
• Project Period (FY): 2021-04-05 – 2025-03-31

Summary of the Research Project

プログラムに潜むバグの修正を、プログラムへの入力に対する期待出力結果（オラクル）が満足されるまで自動的に行なう技術は近年注目を受けており、その基盤的研究を行う。リポジトリマイニングを軸とする工学的アプローチを開発し、オラクルの生成を包含する自動バグ修正基盤の開発を目指すもので、具体的には、擬似オラクルを自動生成させて、信頼性の高いコードの自動修正技術のロバスト化と体系化を図る。

Scientific Significance and Expected Research Achievements

自動バグ修正のフルオートメーション化を目指す本研究は、ソフトウェア工学の観点から学術的な価値が高い。また、社会のデジタル化を支える基盤的な研究の一つとして、成果が期待される。本研究ではオラクルが無くても疑似オラクルを自動的に生成し、自動バグ修正へとつなげていく点が新規的であり、研究計画の具体性と研究組織の適切性から、一定の成果が期待される。