情報処理安全確保支援士 2022年 秋期 午前2 問22

論理判定の分岐網羅【午前2解説】

正解の理由

解法ステップ

1. 条件式を確認する: A > 6 OR B = 0（論理和）。判定は式全体の真偽で決まる。
2. 判定網羅（分岐網羅）の定義を確認する: 各判定（decision）のすべての出口（真/偽）を少なくとも1回通過する。
3. 各選択肢のテストケースで式の真偽を評価する:
   • True（判定が成立）となるのは A > 6 が真、または B = 0 が真 の場合。
   • False（判定が不成立）となるのは A ≤ 6 かつ B ≠ 0 の場合。
4. 各組合せについて、1つは True、もう1つは False になる組合せを選べば良い。
5. 選択肢を評価し、条件を満たすものを選ぶ（結果として ア が適合）。

選択肢別の誤答解説

• ア: (A=1,B=1) → A>6:false, B=0:false → 判定は False。 (A=7,B=1) → A>6:true → 判定は True。→ 真・偽両方を含み、判定網羅を満たす。
• イ: (A=4,B=0) → B=0:true → 判定は True。 (A=8,B=1) → A>6:true → 判定は True。→ 両方とも True で False を含まないため判定網羅を満たさない。
• ウ: (A=4,B=1) → False。 (A=6,B=1) → A>6 は false（6>6 は偽）、B≠0 で False。→ 両方とも False のため True を含まない。判定網羅を満たさない。
• エ: (A=7,B=1) → True。 (A=1,B=0) → B=0:true → True。→ 両方とも True のため判定網羅を満たさない。

よくある誤解

• 「条件網羅」と「判定（分岐）網羅」を同じものと考える誤り。条件網羅は複合条件を構成する各原子条件（例えば A>6 や B=0）がそれぞれ真と偽を取ることを要求する基準であり、判定網羅は式全体（判定）の真偽の両方を実行することだけを要求します。双方は別物であり、条件網羅の方が必ずしも判定網羅より簡単とは限りません。
• OR（または）を含む式で「どちらか一方を真にすれば十分」と考え、偽の場合の確認を怠るミス。分岐網羅では必ず偽のケースも用意する必要があります。
• ループ構造があるために追加のテストが必要だと誤解すること。今回の問いは判定の真偽を網羅することが目的で、ループの反復回数まで検証する要求は含まれていません（ループの入出力を検討する別の基準が必要）。

補足コラム

• A>6 = T または B=0 = T → 判定 = T
• A>6 = F かつ B=0 = F → 判定 = F

FAQ