概要: ソフトウェア開発において効率的なデバッグを行うため，自動でプログラムを修正するツールが数多く提案されている．自動プログラム修正ツールは，バグを含むプログラムとテストスイートを与えると，そのテストスイートを通過するようにプログラムを修正したパッチを出力する．しかし，与えられたテストスイートに過剰に適合した結果，完全にバグを修正しきれていない状態のパッチが出力される場合が多く，開発者によるパッチの確認が必要である．また自動プログラム修正ツールは，修正候補として複数のパッチを出力する場合があり，パッチ数が多い場合はそれらの確認に多大なコストを要する．そこで本研究では，パッチの確認コスト削減を目的とし，自動テスト生成技術を利用して，パッチを振る舞いごとにグループ化する手法を提案する．振る舞いが同じパッチのグループの中から1つのパッチを選択し確認することで，そのグループに含まれるパッチ全ての正誤を判断でき，目視によるパッチの確認回数を削減可能である．提案手法では，各パッチに対して自動テスト生成を行い，パッチと生成したテストを相互に実行し，この結果を用いて分類を行う．本稿では，提案手法の評価のため 1)確認すべきパッチ数の削減割合，2)正誤の異なるパッチの別グループへの分離可能性について調査を行なった．その結果，提案手法は確認すべきパッチ数を平均で90%削減し，調査対象とした41個の題材のうち，26個で分離に成功した．

@inproceedings{藤本章良2022,
  author = {藤本 章良 and 肥後 芳樹 and 柗本 真佑 and 楠本 真二 and 安田 和矢},
  title = {自動テスト生成を利用した自動プログラム修正出力パッチ分類の試み},
  booktitle = {電子情報通信学会技術研究報告},
  volume = {121},
  number = {318},
  pages = {124--129},
  year = {2022},
  month = {jan}
}