網羅基準

$p$ を制御フローグラフによるプログラム、$T$ をテスト集合とする。$T$ の実行で判定 $n$ を訪れたときの条件の値の組 $(c_{n,1}(\sigma), \ldots, c_{n,k}(\sigma))$ の全体を $U_n(T) \subseteq \{0, 1\}^k$ と書く。

• 文網羅: 実行可能な頂点はすべて、ある $x \in T$ の実行経路に現れる。
• 分岐網羅: 実行可能な辺はすべて、ある $x \in T$ の実行経路に現れる。
• 条件網羅: 各判定 $n$ の各条件 $c_{n,i}$ について、$D$ の入力の実行でその条件が値 $b \in \{0, 1\}$ をとることがあるなら、$U_n(T)$ にも第 $i$ 成分が $b$ の元がある。
• MC/DC（改良条件判定網羅）: 分岐網羅を満たし、さらに各判定 $n$ の各条件 $c_{n,i}$ について、$u$ と $u'$ が第 $i$ 成分だけで異なり $\varphi_n(u) \ne \varphi_n(u')$ となる $u, u' \in U_n(D)$ が存在するなら、そのような $u, u'$ が $U_n(T)$ の中にも存在する。この組 $(u, u')$ を条件 $c_{n,i}$ の独立対という。
• 経路網羅: 実行可能な $s$ から $t$ への歩道はすべて、ある $x \in T$ の実行経路に等しい。

基準 $\mathsf{A}$ が基準 $\mathsf{B}$ を包含するとは、どんなプログラム $p$ と入力の範囲 $D$ についても、$\mathsf{A}$ を満たすテスト集合がすべて $\mathsf{B}$ を満たすことをいう。