故障・誤り状態・失敗

$p_0$ を仕様を満たすプログラム、$p$ を、$p_0$ と同じグラフをもち、1 つの頂点 $n$ の写像（$a_n$ または $d_n$）だけが異なるプログラムとする。$n$ を $p$ の故障（fault）という。入力 $x \in D$ について、$p$ の実行を $(n_i, \sigma_i)$、$p_0$ の実行を $(n^0_i, \sigma^0_i)$ とする。

• 到達: $n$ が実行経路 $\pi_p(x)$ に現れる。
• 感染: ある $i$ で、$(n_j, \sigma_j) = (n^0_j, \sigma^0_j)$（$j \le i$）、$n_i = n$、かつ $(n_{i+1}, \sigma_{i+1}) \ne (n^0_{i+1}, \sigma^0_{i+1})$ となる。このとき $(n_{i+1}, \sigma_{i+1})$ を誤り状態（error）という。
• 伝播: $p(x) \ne p_0(x)$（一方だけが定まらない場合を含む）。これを失敗（failure）という。