令和元年度 秋期 午前 問49

✓ これが正解イ判定条件網羅を満足するならば，命令網羅も満足する。

解説

判定条件網羅を満たせば、命令網羅は自動的に満たされます。

命令網羅は、すべての命令を一度は実行するという基準です。判定条件網羅は、分かれ道のそれぞれの向きを通す基準です。分かれ道の両側を選べば、その先にある処理はどちらも動きます。入り口が一つで、どの処理もいずれかの道の先にあるなら、すべての分岐を両方向へ通した時点で、処理はすべて実行済みです。ですから後者を満たせば、前者は自動的に満たされます。逆は成り立ちません。命令を全部動かしても、片側しか通っていない分岐が残りえます。条件が成立しないときに何もしない作りが、まさにその例です。包含の向きは、片方が他方を含むという形で押さえます。厳しい基準を満たせば緩い基準も満たされる、という関係です。網羅の基準は他にもあり、条件網羅や複合条件網羅が続きます。上に行くほど、必要な試験の数は増えていきます。

ほかの選択肢はなぜ違うのか

• ア判定条件網羅を満足しても，命令網羅を満足…：厳しいほうを満たしても緩いほうを満たさない場合がある、と述べています。分かれ道を両側とも通れば、その先の命令はすべて実行されます。包含の向きが逆になっています。どちらが厳しい基準なのかを取り違えています。
• ウ命令網羅を満足しなくても，判定条件網羅を…：緩いほうを満たさずに厳しいほうを満たせる、と述べています。判定条件網羅を満たした時点で命令網羅も満たされるので、成り立ちません。こちらも向きの取り違えです。緩いほうを飛ばして厳しいほうだけを満たすことはできません。
• エ命令網羅を満足するならば，判定条件網羅も…：緩いほうを満たせば厳しいほうも満たされる、と述べています。命令を全部通しても、片側しか通らない分かれ道が残ることがあります。向きを確かめるには、片側だけを通す例を一つ作ってみます。それが作れれば、そちらは満たされていません。