ああ、これは自動プログラム修正、つまりAPRっていう分野の新しい研究だよ。AIを使ってプログラムのバグを自動で直す技術のことだね。

今までの手法は、コードの文字面だけを見る『静的解析』に頼りすぎていたんだ。でも、バグって実際に動かしてみないと原因がわからないことが多いだろ？

そう。既存の手法でもテスト結果を使うことはあったけど、「テストに落ちた」っていう大雑把な情報だけだったんだ。それじゃあ、複雑なバグは直せない。

DynaFixは『実行レベルの動的情報』をフル活用するんだ。変数の値がどう変わったか、どのルートを通ってエラーになったか、っていう細かい情報をAIに教えるんだよ。

いい例えだね。そのために彼らは『ByteTrace』っていうツールを作ったんだ。これは『バイトコード・インストルメンテーション』っていう技術を使っていてね。

簡単に言うと、プログラムの元の書き換えずに、実行中にこっそり中身を覗き見るための仕掛けを組み込む技術のことだよ。これで詳細なデータを集めるんだ。

まず、バグがあるコードとByteTraceで集めた実行データをAIに渡して、修正案を作らせる。もしその修正案がテストに落ちたら、またその時の実行データを集めてAIに渡すんだ。

そう。これを『反復的修正』と呼んでいる。人間がデバッグする時も、「ここを直してみよう、あ、まだダメだ、次はここかな」って繰り返すだろ？それをAIにやらせるわけだ。

Defects4Jっていう有名なテストセットで試したところ、186個のバグを直せた。これは最新の他手法より10%も高いし、今まで誰も直せなかったバグも38個解決したんだよ。

効率も良くて、修正案を探す範囲を従来より70%も減らせたらしい。無駄な試行錯誤が減ったってことだね。実行データがあるから、AIが迷わずに済むんだ。

今は一つの関数の中にあるバグがメインだけど、将来的には複数の関数にまたがるもっと複雑なバグにも対応できるようになるはずだよ。ただ、実行データを集める分、計算コストがかかるのが課題かな。

それはプログラムのバグじゃなくて、ただの夜更かしだろ。生活習慣を自分でデバッグしなさい。