流れ図で示したモジュールを表の二つのテストケースを用いてテストしたとき，テストカバレージ指標である C0（命令網羅）と C1（分岐網羅）とによる網羅率の適切な組みはどれか。ここで，変数 V 〜 変数 Z の値は，途中の命令で変更されない。
図の内容（文字）
開始 → 判定「V = 0」：Yes → 命令1 → 合流；No → 合流。
合流後 → 判定「( W = 0 ) and ( X = 0 )」：Yes → 命令2 → 合流A；No → 判定「( W ≠ 0 ) and ( X ≠ 0 )」：Yes → 命令3 → 合流A；No → 合流A。
合流A → 判定「( Y = 0 ) and ( Z = 0 )」：Yes → 命令4 → 合流B；No → 判定「( Y ≠ 0 ) and ( Z ≠ 0 )」：Yes → 命令5 → 合流B；No → 合流B。
合流B → 終了。
| 変数 | テストケース1 | テストケース2 |
|---|---|---|
| V | 0 | 1 |
| W | 0 | 1 |
| X | 0 | 1 |
| Y | 0 | 1 |
| Z | 0 | 1 |