ミューテーション解析
等価ミュータントは、ミューテーション解析における未解決な問題の一つである。例えば、以下の様なコード片を考える。
==演算子を>=演算子に置き換えるミューテーション操作によって、以下の様なミュータントが生成される。
しかし、このミュータントをkillするようなテストケースの生成は不可能である。生成されたミュータントは元のプログラムと常に同じように振る舞うためである。このようなミュータントを等価ミュータントと呼ぶ。
等価ミュータントの検出はミューテーション解析を実用に移すことを阻む大きな障害の一つである。等価ミュータントの判別を手動で行わなくてはならない場合、たとえ小さなプログラムが対象であってもそのコストは甚大なものになる。