情報処理学会 第81回全国大会講演要旨

ソフトウェア開発において，手動によるバグ修正には多くの手間と時間がかかる．開発者の負担を減らすため自動バグ修正の研究が行われているが，それらは手続き型のプログラムに対するものである．本研究では，関数型プログラムに対する自動バグ修正手法を提案する．対象言語は単純型付きラムダ計算に整数および再帰を加えたもので，対象とするバグは条件分岐の条件式におけるバグである．本手法では，関数型プログラムの検証器によって生成された反例を利用し，修正箇所の特定及び修正のための制約生成を行う．SMTソルバによって制約解消を行い，その解を用いてバグを修正する．