判定条件網羅

判定文の結果が真になる場合と偽になる場合の両方を試す基準。分岐網羅ともいう。すべての分岐が実行されるため命令網羅より強いが、条件が複数ある場合は組合せまでは確認しない。

ホワイトボックステストの網羅基準の一つで、プログラム中のすべての判定（分岐）について、真と偽の結果をそれぞれ少なくとも1回は実行するようにテストケースを設計するもの。分岐網羅とも呼ぶ。命令網羅より強い基準だが、判定を構成する個々の条件の組合せまでは確かめない。

判定文に含まれる複数の条件について、真と偽のすべての組合せを少なくとも1回ずつ実行するようにテストケースを作る網羅基準。命令網羅、判定条件網羅、条件網羅より強いが、条件の数がnなら2のn乗通りのケースが必要になる。

プログラムの内部構造（制御の流れや条件分岐）に着目してテストケースを設計するテスト技法。命令網羅や判定条件網羅などの網羅基準を用い、主に単体テストで使う。仕様にあるのに実装されていない機能の漏れは見つけにくい。

ホワイトボックステストの網羅基準の一つで、プログラムの入口から出口までのすべての経路（パス）を少なくとも1回は実行するようにテストケースを設計するもの。パス網羅とも呼ぶ。最も強い基準だが、繰返しを含むと経路の数が膨大になるので、実際には対象とする経路を絞る。

プログラムに演算子の置換えなどの小さな変更（ミュータント）を意図的に加え、既存のテストケースでその変更を検出できるかを調べることで、テストケースの欠陥を見つける能力を評価する手法。検出できない変更があれば、テストケースが不十分だと分かる。