判定条件網羅

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

判定文の結果が真になる場合と偽になる場合をそれぞれ少なくとも1回は実行するようにテストケースを作る網羅基準で、分岐網羅（C1）ともいう。すべての分岐を通るため命令網羅より強いが、複合条件の個々の条件の真偽までは網羅できない。

ホワイトボックステストの網羅基準の一つで、判定を構成する個々の条件の真と偽のすべての組合せを実行するようにテストケースを設計するもの。条件の数が増えると組合せが急に増えるが、条件網羅や判定条件網羅より漏れの少ないテストができる。

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

プログラムを実際に実行して、出力や振る舞いを期待した結果と比べて確かめるテスト。プログラムを実行せずにソースコードを調べるレビューや静的解析と対比され、実行して初めて分かる処理の誤りや性能の問題を見つけられる。

テストで、対象のプログラムの命令、分岐、条件、経路などのうちどれだけを実行したかの割合。カバレージ、網羅率とも呼ぶ。命令網羅、判定条件網羅、条件網羅、複数条件網羅などの基準ごとに測り、テストの十分さを判断する目安にする。網羅度が高くても、仕様の誤りや機能の漏れは見つけられない。

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

すべての命令を少なくとも1回は実行するようにテストケースを作る基準。ステートメントカバレッジともいう。最も緩い基準で、条件の真偽の組合せまでは確認できない。