基本情報技術者試験 基本情報技術者試験 令和元年度 秋期 午前 午前 問49: 単一の入り口をもち，入力項目を用いた複数の判断を含むプログラムのテストケースを設計する。命令網羅と判定条件網羅の関係のうち，適切なものはどれか。

問題本文

単一の入り口をもち，入力項目を用いた複数の判断を含むプログラムのテストケースを設計する。命令網羅と判定条件網羅の関係のうち，適切なものはどれか。

選択肢

• ア.判定条件網羅を満足しても，命令網羅を満足しない場合がある。
• イ.判定条件網羅を満足するならば，命令網羅も満足する。
• ウ.命令網羅を満足しなくても，判定条件網羅を満足する場合がある。
• エ.命令網羅を満足するならば，判定条件網羅も満足する。

正解

イ. 判定条件網羅を満足するならば，命令網羅も満足する。

解説

判定条件網羅は分岐の真偽両方を試すので結果としてすべての命令も実行され、命令網羅を包含する。

選択肢ごとの解説

• ア.判定条件網羅は命令網羅を包含するので不適切。
• イ.判定条件網羅⇒命令網羅(含意関係が成立)=正解。
• ウ.判定条件網羅すれば命令は必ず実行されるので不可。
• エ.命令網羅は分岐の片方しか実行しない場合があり判定条件網羅は満たさない。