レガシーコード移行における決定論的検証のためのエージェント的手法

概要

AIエージェントが実行パスを自動探索し、COBOLからJavaへの移行前後で動作が一致することを決定論的に検証する「Locksmith Loop」手法の提案。

詳細内容

本研究は、COBOLからJavaへのレガシーコード移行におけるテストデータ不足と検証の困難さを解決するため、AIエージェントを活用したテスト合成手法「Locksmith Loop」を提案しています。この手法は、COBOLソースと生成されたJavaターゲットの両方にモックを組み込み、エージェントが『Witness Search』を用いて未知の実行パスを探索、さらにパリティを維持した変異を行うことでテストケースを自動生成します。探索が飽和した際には、進展を阻害する条件（Locked Paragraph）を特定し、動的に解決します。評価実験では、最大4,114行のプログラムに対して91.90%のブランチカバレッジを達成し、全ての採用テストケースにおいてJavaとCOBOLの決定論的な挙動の一致（パリティ）を確認しました。これは、AIによるコード生成出力を決定論的なオラクルで検証する新しいアプローチを示しています。

元記事を読む他のサマリーを見る