情報処理安全確保支援士試験 情報処理安全確保支援士試験 令和4年度春期 午前Ⅰ 問16: 次の流れ図において，判定条件網羅（分岐網羅）を満たす最少のテストケースの組みはどれか。

正解

イ. (1) A=1, B=0 (2) A=1, B=1

問題の解説

判定条件網羅（分岐網羅）は、各判定が真と偽の両方をとる経路を最少のテストで通すことを求める。この流れ図では2つの判定が共に真・偽を取れればよく、(A=1,B=0)で第1判定が真、(A=1,B=1)で第1判定が偽となり、第2判定も両分岐を満たす。2件で全分岐を網羅でき、イが最少で正解。網羅基準ごとに必要テスト数が変わる点を理解することが重要。

選択肢ごとの解説

• アこの組では第1判定（A0かつB=0）が真となるケースが無く、片方の分岐が未実行で網羅不足のため誤り。
• イ(1)で第1判定が真、(2)で偽となり両判定の真偽を2件で網羅できる。分岐網羅を満たす最少で正しい。
• ウ分岐網羅は2件で達成できるため3件は最少ではない。網羅自体は満たすが最少という条件に反し誤り。
• エ第1判定が真になるケースを含まず分岐網羅を満たせない。3件あっても網羅不足のため誤り。