システム開発技術
基本情報技術者試験 科目A免除 修了試験 20220123 実施分 問47
流れ図において，分岐網羅を満たし，かつ，条件網羅を満たすテストデータの組みはどれか。
流れ図: a←0, b←0 の処理 → 判定「x≧1 or y=1」(Yes: a←1 → 合流 / No: 合流) → 判定「y>1」(Yes: b←1 → 合流 / No: 合流) → 終了。
テストデータ表（x, y）: ア＝(2,2),(1,2) / イ＝(1,2),(0,0) / ウ＝(1,2),(1,1),(0,1) / エ＝(1,2),(0,1),(0,2)
- ア (x, y) = (2, 2), (1, 2)
- イ (x, y) = (1, 2), (0, 0)
- ウ (x, y) = (1, 2), (1, 1), (0, 1)
- エ (x, y) = (1, 2), (0, 1), (0, 2)
出典：基本情報技術者試験 科目A免除 修了試験 20220123 実施分 問47
答えと解説を見る
正解：エ
覚える知識
複数条件網羅のテストデータ設計
分岐網羅と条件網羅を同時に満たすには、各判定の真偽に加えて、判定内の個々の条件の真偽も一度ずつ取らせる。
この問題で必要なこと
分岐網羅は各判定の真偽をすべて通ること、条件網羅は各条件の真偽をすべて取ること。3組(1,2),(0,1),(0,2)でx≧1,y=1,y>1の各条件の真偽が揃い、各判定のT/Fも通る。
ひっかけ
分岐網羅のみ満たすデータや、条件のT/Fが揃わないデータを選ばせる。
この知識の出題：本試験系 1 回・免除試験 6 回（公開問題での観測値）