- 命令網羅（C0）: プログラム内のすべての命令文（実行行）が、少なくとも1回は実行されるようにテストケースを設計します。最も基本的なカバレッジですが、分岐の条件の片方しか通らないため、網羅性は低いです。
- 分岐網羅（C1）: すべての条件分岐において、その結果（真/Yes と 偽/No）が少なくとも1回は実行されるようにテストケースを設計します。命令網羅よりも網羅性が高くなります。
- 条件網羅（C2）: 分岐の判定基準となる個々の部分条件が、真と偽の両方の値を少なくとも1回は取るようにテストケースを設計します。
さらに、これらを組み合わせた「複数条件網羅（MCC）」や、すべての実行パスを網羅する「パス網羅」などがあり、高い信頼性が求められる安全規格などでは、より厳しい網羅率が要求されます。
試験でのポイント
試験では、ホワイトボックステストの網羅基準（命令網羅、分岐網羅、条件網羅など）の定義と、与えられたプログラム構造に対して必要な「最小テストケース数」を算出する問題が頻出します。