修了試験 2021-06-13実施分 基本情報技術者試験 問48

解説

正解は2です。 ホワイトボックステストの網羅基準の強さを比べる問題です。 命令網羅は、すべての命令を少なくとも1回実行するテストです。 判定条件網羅（分岐網羅）は、すべての判定で真と偽の両方の分岐を少なくとも1回通るテストです。 単一の入り口をもつプログラムでは、すべての命令はいずれかの分岐の先にあります。 【選択肢別解説】 1：× すべての分岐を通れば、その先の命令もすべて実行されます。 判定条件網羅を満たして命令網羅を満たさないことはありません。 2：○ 判定条件網羅を満たせば、すべての分岐の先にある命令も実行されるので、命令網羅も満たします。 3：× 命令網羅を満たさないなら、通っていない命令があり、その命令に至る分岐も通っていません。 この場合、判定条件網羅も満たしません。 4：× 命令網羅を満たしても、判定条件網羅を満たすとは限りません。 たとえば偽の側に命令がないif文では、真の側だけを通せば命令網羅になりますが、偽の分岐は通りません。 【ポイント】 網羅の強さは、命令網羅より判定条件網羅、判定条件網羅より複数条件網羅のほうが強いという順になります。 強い基準を満たせば、弱い基準も自動的に満たします。