令和4年度 秋期 午前 問48

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

流れ図とテストケースの表は次のとおり。

〔流れ図〕
        ┌────────┐
        │  開始  │
        └───┬────┘
            │
       ◇ V ＝ 0 ◇── No ──┐
            │ Yes          │
       ┌────┴────┐        │
       │  命令1  │        │
       └────┬────┘        │
            ├──────────────┘
            │
   ◇（W ＝ 0）and（X ＝ 0）◇── No ──┐
            │ Yes                     │
       ┌────┴────┐        ◇（W ≠ 0）and（X ≠ 0）◇── No ──┐
       │  命令2  │                 │ Yes                    │
       └────┬────┘            ┌────┴────┐                  │
            │                  │  命令3  │                  │
            │                  └────┬────┘                  │
            ├───────────────────────┴────────────────────────┘
            │
   ◇（Y ＝ 0）and（Z ＝ 0）◇── No ──┐
            │ Yes                     │
       ┌────┴────┐        ◇（Y ≠ 0）and（Z ≠ 0）◇── No ──┐
       │  命令4  │                 │ Yes                    │
       └────┬────┘            ┌────┴────┐                  │
            │                  │  命令5  │                  │
            │                  └────┬────┘                  │
            ├───────────────────────┴────────────────────────┘
            │
        ┌───┴────┐
        │  終了  │
        └────────┘

〔テストケース〕
   ┌──────┬────────────┬────────────┐
   │ 変数 │ テストケース1 │ テストケース2 │
   ├──────┼────────────┼────────────┤
   │  V   │      0     │      1     │
   │  W   │      0     │      1     │
   │  X   │      0     │      1     │
   │  Y   │      0     │      1     │
   │  Z   │      0     │      1     │
   └──────┴────────────┴────────────┘

〔肢の表〕
   ┌────┬──────────────────┬──────────────────┐
   │    │ C0 による網羅率  │ C1 による網羅率  │
   ├────┼──────────────────┼──────────────────┤
   │ ア │      100%        │      100%        │
   │ イ │      100%        │       80%        │
   │ ウ │       80%        │      100%        │
   │ エ │       80%        │       80%        │
   └────┴──────────────────┴──────────────────┘