応用情報技術者 2017年 春期 午前2 問48

分岐網羅と条件網羅【午前2解説】

正解の理由

• 第一判定D1: x ≥ 1 or y = 1
  • Trueを与えるケース： (1,2)（x ≥ 1）および (0,1)（y = 1）
  • Falseを与えるケース： (0,2)（x < 1かつy ≠ 1）
  • よってD1の両分岐が実行される
• D1の原子条件
  • x ≥ 1は (1,2) でTrue、(0,1)/(0,2) でFalse → 条件網羅を満たす
  • y = 1は (0,1) でTrue、(1,2)/(0,2) でFalse → 条件網羅を満たす
• 第二判定D2: y > 1（D1の結果に関わらず後続処理として評価される構造）
  • Trueを与えるケース： (1,2) と (0,2)
  • Falseを与えるケース： (0,1)
  • よってD2の両分岐およびその条件のTrue/Falseが確認できる

解法ステップ

1. フローチャートの判定ノードを抽出する（ここではD1: x ≥ 1 or y = 1、D2: y > 1）。
2. 各判定について「TrueとFalseの両方」を実行する必要がある（分岐網羅）。
3. 複合判定（論理和など）は原子条件ごとにTrue/False両方を取らせる（条件網羅）。
4. 各テストデータがどの判定をどの結果にするかを列挙し、上記要件を満たすか確認する。
5. 要件を満たす最小集合または与えられた選択肢のうち要件を満たすものを選ぶ。

選択肢別の誤答解説

• ア（(2,2), (1,2)）
  • D1は両ケースともTrue（x ≥ 1が真）であり、D1のFalseが未カバー。さらにy = 1が一度もTrueにならないため条件網羅を満たさない。D2は両方ともy>1でTrueのみでFalseが足りない。
• イ（(1,2), (0,0)）
  • D1のTrue（1,2）とFalse（0,0）は確かにカバーされ、D2のTrue/Falseもカバーされるが、原子条件y = 1が一度もTrueになっていないため条件網羅を満たさない。
• ウ（(1,2), (1,1), (0,1)）
  • 一見y>1のケース（1,2）を含むためD2のTrueは存在し、D2のFalseも (1,1)/(0,1) で得られる。しかし本集合はD1のFalse（x < 1かつy ≠ 1）をまったく含んでおらず、D1のFalse分岐が未カバーであるため分岐網羅を満たしません。
    ※以前の説明で「ウにはy>1の真のケースがない」とする記述がありましたが誤りです。（ウ には (1,2) が含まれておりy>1が真となるデータは存在します。）実際の不備は第一判定D1のNo（例: x=0, y=2のようなケース）が欠けている点であり、これにより分岐網羅が達成されていません。
• エ（(1,2), (0,1), (0,2)）
  • 上記「正解の理由」で示した通り、D1・D2の両分岐およびD1の原子条件（x ≥ 1, y = 1）それぞれのTrue/Falseがすべてカバーされるため、条件網羅かつ分岐網羅を満たす。

よくある誤解

1. 「あるテストデータにy>1が含まれていればその判定は評価される」と考える誤り
   • 流れが分岐している場合、あるデータが含まれていてもそのデータにより判定が短絡的に処理される（またはその分岐で別経路に入る）と、後続の判定が期待どおり評価されないことがある。設問の図ではD1のYes/Noの後に再合流してD2が評価されるかどうかを読み取ることが重要。フローチャートの制御フロー（矢印）を正しく追ってください。
2. 条件網羅と分岐網羅を混同する
   • 分岐網羅（判定ごとのTrue/Falseを実行）と条件網羅（複合判定内の各原子条件がTrue/Falseをとる）は別の目的。両方必要な場合は、両方の基準を満たすテスト集合を意識する必要がある。

補足コラム

• 定義の確認
  • 分岐網羅（ブランチカバレッジ）: 各判定のTrue/Falseの両方が実行されること。
  • 条件網羅（コンディションカバレッジ）: 複合判定を構成する各原子条件（例: x ≥ 1、y = 1）がそれぞれTrueとFalseを少なくとも一度取ること。
• 本問題の最小代表集合例
  • 与えられた正解エ の集合は最小の典型例です。同等に機能する別の集合例として {(1,2), (0,1), (0,0)} なども、条件・分岐を満たす場合があります（目的に応じて最小化や冗長除去を行ってください）。

FAQ