抄録

B-031
ミューテーション解析における等価ミュータント検出機能の実装

ミューテーション解析とは，テストセットの品質，すなわちバグ検出能力を評価する手法である．あるプログラムにバグを1つだけ埋め込むことで得られるプログラム（ミュータント）を数多く作り，それらのバグをテストセットがいくつ発見できたかによってテストセットの品質を評価する．しかしミュータントを作る過程で，元のプログラムと等価なプログラム（等価ミュータント）が作られることがある．これらはどんなテストケースでも検出できないため，品質評価の妨げとなる．そこで本研究では，これらを検出するツールを作成した．バグを埋め込まれた箇所が実行されうるかによって，等価か否かを判定する．実験の結果，およそ25％が検出された．