システムアーキテクト 2021年 午前2 問07

判定条件網羅【午前2解説】

正解の理由

• (A=1, B=1) は $A>6$ が偽、$B=0$ も偽で判定全体が偽になる（ルートは「No」側）。
• (A=7, B=1) は $A>6$ が真で判定全体が真になる（ルートは「Yes」側）。

解法ステップ

1. 判定式を確認する： $A>6\text{or}B=0$（論理和）。
2. 各テストケースについて、左側の条件 $A>6$ および右側の条件 $B=0$ を評価する。
3. その組合せで判定全体が真（少なくとも一方が真）か偽（両方偽）かを判定する。
4. 2つのテストケースで「少なくとも一度は真、少なくとも一度は偽」になる組合せを選ぶ。

選択肢別の誤答解説

• ア: (A=1, B=1)、(A=7, B=1)
  • (1,1)：$A>6$ 偽、$B=0$ 偽 → 判定は偽
  • (7,1)：$A>6$ 真 → 判定は真
  • よって真と偽を両方含み、判定（分岐）網羅を満たす（正解）。
• イ: (A=4, B=0)、(A=8, B=1)
  • (4,0)：$B=0$ 真 → 判定は真
  • (8,1)：$A>6$ 真 → 判定は真
  • 両方とも判定は真で、偽をカバーしていない（不正解）。
• ウ: (A=4, B=1)、(A=6, B=1)
  • (4,1)：$A>6$ 偽、$B=0$ 偽 → 判定は偽
  • (6,1)：$A>6$（$6>6$ は偽）、$B=0$ 偽 → 判定は偽
  • 両方とも偽で、真をカバーしていない（不正解）。
• エ: (A=7, B=1)、(A=1, B=0)
  • (7,1)：真、(1,0)：$B=0$ 真 → いずれも真
  • 偽を含まないため不正解。

よくある誤解

1. 「判定網羅は各原子条件（$A>6$ や $B=0$）それぞれを真偽で両方試せば良い」
   • これは条件網羅（Condition Coverage）や複合条件網羅と混同した誤解です。判定（分岐）網羅は「判定式全体」が真と偽になることを要求します。原子条件ごとの真偽の両方を必須とするわけではありません。
2. 「1つのテストで同時に真と偽にできることがある」
   • 単一の実行で同一の判定が同時に真と偽になることは不可能です。したがって、判定網羅で判定の両方（真・偽）を得るには原則として少なくとも2件のテストケースが必要です。
3. 「不等号の境界（$>$ と $\ge$）を誤解する」
   • $A>6$ と $A\ge 6$ は異なる条件です。$A=6$ を与えたときの評価が変わるため注意してください。

補足コラム

• 判定（分岐）網羅はテストの基本的かつ重要な基準で、制御フローの各分岐が両方向（実行と非実行）を経験することを確認します。
• 条件網羅（各原子条件が真・偽をそれぞれとる）や修正条件/判定網羅（MC/DC）のような厳密な基準は、より多くのテストケースを必要とします。例えば複合論理式では、原子条件すべての組合せを試すと組合せ数が指数的に増え、現実的には重点的に設計することが一般的です。
• ループや状態変化が絡む場合は、単純に判定の真偽を満たすだけでなく、実行経路（パス）や前後の状態遷移も考慮する必要があります（パス網羅は通常コストが高い）。

FAQ