基本情報技術者 2016年 春期 午前（科目A） 問49

命令網羅テストの最小ケース数【午前解説】

正解の理由

解法ステップ

1. フローチャートの処理ノード（命令）を数える：x=1, x=2, y=1, y=2 → 合計4件。
2. 1実行で実行される命令数を確認する：上段でxのどちらか1つ、下段でyのどちらか1つ→合計2命令／テスト。
3. 最小テスト数を算出：$\lceil 4/2\rceil =2$。
4. 具体テストを設計：例として (a=0,b=0) → x=1,y=1、(a≠0,b≠0) → x=2,y=2。これで全命令を実行できる。

選択肢別の誤答解説

• ア: 正解。上記の通り、2件で全命令を網羅可能です。
• イ（3）: 不要に多い。3件あれば確実ですが「最小」ではありません。2件で十分なので誤りです。
• ウ（4）: これは全パス（パス網羅）の場合の数で、各判定の組合せ4通りをすべて実行する必要があるときの数です。命令網羅の要件より厳しいため過剰です。
• エ（5）: 完全に過剰です。命令網羅の最小要件とは無関係に不必要なテスト数になります。

よくある誤解

• 「判定ごとの全組み合わせ（全パス）を網羅しなければならない」と考える誤り：パス網羅は4件必要ですが命令網羅は異なります。
• 「命令網羅＝判定網羅だ」と混同する誤り：判定網羅は各判定の両側（Yes/No）を少なくとも1回実行することですが、この図では2件で達成可能でも定義は別です。
• 「1件で全部カバーできる」との誤り：1件ではx系・y系のうち片方ずつしか実行されず、残りの命令が未実行になります。

補足コラム

• 命令網羅（ステートメントカバレッジ）はテスト基準として最も基本的で、実行効率が高い反面、分岐や条件の網羅性は保証しません。品質向上を図るなら判定網羅／条件網羅／パス網羅など、より厳しい基準へ拡張する必要があります。
• 本図のように独立した判定が直列に並ぶ場合、多くは命令網羅と判定網羅で必要な最小テスト数が同じになることがありますが、一般論として基準は区別して扱ってください。

FAQ