|
生成・検証による自動プログラム修正（生成・検証手法）は，ソフトウェアの保守コストを削減するために有望な手法である．本研究では，Webアプリケーション開発への生成・検証手法の適用を提案し，提案手法をRevAjaxMutatorと呼ぶツールに実装した．効果的かつ効率的な自動修正のために，我々はWebアプリケーションの特徴を元にしたプログラム修正操作及び修正空間探索を開発した．20個の実Webアプリケーションを用いた適用事例実験では，RevAjaxMutatorは内14個に対して正しく欠陥を除去するパッチを生成できたことを確認した．
|
