2023 Fiscal Year Annual Research Report
機械がバグを修正する時代―擬似オラクル生成・適用と自動バグ修正技術の深化
| Project/Area Number |
21H04877
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
亀井 靖高 九州大学, システム情報科学研究院, 教授 (10610222)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
林 晋平 東京工業大学, 情報理工学院, 准教授 (40541975)
肥後 芳樹 大阪大学, 大学院情報科学研究科, 教授 (70452414)
馬 雷 東京大学, 大学院情報理工学系研究科, 准教授 (70842061)
松本 真佑 大阪大学, 大学院情報科学研究科, 助教 (90583948)
|
|---|
| Project Period (FY) |
2021-04-05 – 2025-03-31
|
| Keywords | 自動プログラム修正 / テストスイート / 自動生成 / 開発コンテキスト |
|---|
| Outline of Annual Research Achievements |
2023年度については，大きく３つのことに取り組んだ．
A. 擬似オラクルの生成方法，及び，自動プログラム修正の評価方法に関して取り組んだ．例えば，(a) 自動プログラム修正に利用可能なテストを自動生成するに有用なソースコードの特徴分析，(b) 自動プログラム修正の修正性能を測定するために利用可能なデータセットの構築（例えば，R言語プログラム修正データセット），(c) 複数の変更が混ざった修正を推薦するための学習用基礎データ作成法の提案，などがあげられる．
B. 欠陥限局の高度化にも引き続き取り組んだ．例えば，(a) 例外期待テストが代表的な欠陥限局の１つであるSpectrum-Based Fault Localization（以降，SBFL）に与える影響について調べたり，SBFLに適したプログラム構造を調べるための大規模な実験を実施した．また，(b) バグ箇所検索のための自然言語記述からソースコードの紐付け技術の基礎検討や，(c) 精度低下の一要因の調査，などがあげられる．
C. 自動修正技術の高度化にも取り組んだ．例えば，自動修正に対して大規模言語モデル（GPT3.5等）を適用し，修正性能の改善を図った．また，正規表現バグの修正のためのソースコード部品データの作成や，処理（ソース）を修正するのではなく出力結果（データ）の自動的な修正，及び，自動プログラム修正技術の1つである交叉アルゴリズムの改善などを試みた．それ以外にも新たな挑戦として，ソフトウェア脆弱性を未然に防ぐためにファジング技術に着目し，ファジングツール適用時に開発者が直面している課題を体系化しまとめた．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
大規模言語モデルの適用を含めて最新の技術動向を捉えながら，擬似オラクルの自動生成，欠陥限局の高度化，及び，自動修正技術の高度化に関する研究を効率よく進めることができた．また，それぞれの研究成果は研究会や国際会議において発表できており，さらには一部の成果は，論文誌としても採録されている．そのため，研究の進捗として順調に進展していると考える．
|
| Strategy for Future Research Activity |
現在までの進捗状況は，おおむね順調に進展している．2023年度で得られた実験結果を基づき，最終年度に向けて成果をまとめ積極的に外部発表を行っていく予定である．大規模言語モデルの技術進化は加速する一方であるので，擬似オラクルの生成，欠陥限局，及び，自動修正の部分への適用を継続して検討する．今年度でも行ったように，今後も国内外の研究会に積極的に参加し（オンライン開催を含む），多面的に意見を取り入れることで問題の早期解決を目指す．
|
