問題
単一の入口をもち、入力値を用いた複数の判断を含むプログラムのテストケースを設計する。命令網羅と判定条件網羅の関係のうち、適切なものはどれか。
選択肢
- 1判定条件網羅を満足しても、命令網羅を満足しない場合がある。
- 2判定条件網羅を満足するならば、命令網羅も満足する。
- 3命令網羅を満足しなくても、判定条件網羅を満足する場合がある。
- 4命令網羅を満足するならば、判定条件網羅も満足する。
正解
2. 判定条件網羅を満足するならば、命令網羅も満足する。
詳しい解説を見る解説を閉じる
解説
命令網羅（C0）はすべての命令文を少なくとも1回実行することを要求する弱い基準、判定条件網羅（分岐網羅、C1）はすべての分岐の真・偽両方を少なくとも1回通すことを要求するより強い基準である。判定条件網羅を満たせば各分岐の両方向を通るので、結果的にすべての命令も必ず実行され命令網羅も満足する。よって「イ」が正しい。アは逆で、判定条件網羅を満たせば命令網羅は必ず満たすため「満足しない場合がある」は誤り。ウ・エは命令網羅を満たしても分岐の片方しか通らないことがあり判定条件網羅を満たすとは限らないので誤り。包含関係は判定条件網羅 ⊃ 命令網羅である。（出典: 令和元年度 秋期 基本情報技術者試験 午前 問49）
一問一答
科目A 180問+科目B 60問