流れ図で示したモジュールを表の二つのテストケースを用いてテストしたとき、テストカバレッジ指標である C0(命令網羅)と C1(分岐網羅)とによる網羅率の適切な組みはどれか。ここで、変数 V〜変数 Z の値は、途中の命令で変更されない。
C0:100 %、C1:100 %
C0:100 %、C1:80 %
C0:80 %、C1:100 %
C0:80 %、C1:80 %