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

@mastersthesis{藤本章良2022a,
  author = {藤本 章良},
  title = {自動テスト生成を利用した自動プログラム修正出力パッチの分類 —パッチ確認コスト削減を目的として—},
  school = {大阪大学},
  year = {2022},
  month = {feb}
}