判定条件網羅のテストケース
出典: 令和4年度 春期 応用情報技術者試験 午前 問47 (IPA)
次の流れ図において，判定条件網羅（分岐網羅）を満たす最少のテストケースの組みはどれか。
- ア (1) A＝0，B＝0 (2) A＝1，B＝1
- イ (1) A＝1，B＝0 (2) A＝1，B＝1
- ウ (1) A＝0，B＝0 (2) A＝1，B＝1 (3) A＝1，B＝0
- エ (1) A＝0，B＝0 (2) A＝0，B＝1 (3) A＝1，B＝0
正解と解説を見る
正解: イ
- ア: A=0 の場合は A>0 が成り立たないので、どの判定も No になります。Yes の分岐を通らないので網羅できません。
- イ: (A=1, B=0) で両方の判定が Yes、(A=1, B=1) で両方の判定が No になり、全分岐を通るので正しい答えです。
- ウ: 3 つのテストケースで網羅できますが、最少ではありません。2 つで足ります。
- エ: どのケースも、2 つ目の判定が Yes になる場合を含まないので、網羅できません。
ポイント
判定条件網羅 (分岐網羅) は、全ての判定で真 (Yes) と偽 (No) の両方の分岐を 1 回ずつ通る テストです。
- (1) A=1, B=0: 1 つ目の判定は Yes (A>0 かつ B=0)、C = A×C = 1。2 つ目の判定は A>0 かつ C=1 なので Yes。
- (2) A=1, B=1: 1 つ目の判定は No、C = 2。2 つ目の判定は C ≠ 1 で No。
この 2 つで、2 つの判定の Yes と No が全て通ります。ア (A=0,B=0) と (A=1,B=1) は、どちらも 2 つの判定が No になり、Yes を通りません。