令和4年度 春期 午前Ⅰ 問題【共通】 問16

判定条件網羅（分岐網羅）とは、プログラム中のすべての判定条件において、Yes（真）とNo（偽）の両方の分岐を少なくとも1回は実行するようにテストケースを設計する手法です。

本問題のフローチャートには、以下の2つの判定があります。

• 判定1: $A > 0$ かつ $B = 0$
• 判定2: $A > 0$ かつ $C = 1$

初期状態として、最初の処理で $1 \rightarrow C$（$C$ に $1$ を代入）が実行されます。

正解である選択肢イのテストケースを順に確認します。

1. テストケース (1) $A = 1, B = 0$ の場合

   • 判定1: $A > 0$ ($1 > 0$) かつ $B = 0$ ($0 = 0$) を満たすため、Yes の分岐に進みます。
   • 処理 $A \times C \rightarrow C$ により、$1 \times 1$ が計算され、$C = 1$ となります。
   • 判定2: $A > 0$ ($1 > 0$) かつ $C = 1$ ($1 = 1$) を満たすため、Yes の分岐に進みます。
   • これにより、判定1のYes、判定2のYesが網羅されます。

2. テストケース (2) $A = 1, B = 1$ の場合

   • 判定1: $A > 0$ ($1 > 0$) は満たしますが、$B = 0$ ($1 = 0$) を満たさないため、No の分岐に進みます。
   • 処理 $2 \rightarrow C$ により、$C = 2$ となります。
   • 判定2: $C = 1$ ($2 = 1$) を満たさないため、No の分岐に進みます。
   • これにより、判定1のNo、判定2のNoが網羅されます。

以上2つのテストケースによってすべての分岐（判定1のYes/No、判定2のYes/No）が実行されるため、判定条件網羅を満たします。2つのケースで全分岐を網羅しており、これが最少の組みです。

各選択肢の解説

• ア: (1) $A = 0, B = 0$ では判定1・判定2ともにNoに進みます。(2) $A = 1, B = 1$ でも判定1・判定2ともにNoに進みます。Yesの分岐が一度も実行されないため、判定条件網羅を満たしません。
• イ: 正解です。上記の通り、2つのテストケースですべての分岐を網羅しています。
• ウ: (1)と(2)でNoの分岐を、(3) $A = 1, B = 0$ でYesの分岐を実行するため、判定条件網羅を満たしますが、テストケースが3つあり「最少のテストケースの組み」ではありません。
• エ: (1)と(2)でNoの分岐を、(3) $A = 1, B = 0$ でYesの分岐を実行するため、判定条件網羅を満たしますが、こちらもテストケースが3つあるため最少の組みではありません。