平成27年度 春期 基本情報技術者試験 午前 問50
テクノロジ／開発技術図の構造をもつプログラムに対して，ホワイトボックステストのテストケースを設計するとき，少なくとも実施しなければならないテストケース数が最大になるテスト技法はどれか。 〔プログラムの構造〕 条件「A＞0かつB＝1」を判定し，真であればX←X＋1を実行してから再び条件判定に戻る（ループ）。偽であれば処理を終了する。
出典：平成27年度 春期 基本情報技術者試験 午前 問50
- ア条件網羅
- イ判定条件網羅
- ウ複数条件網羅
- エ命令網羅
正解：ウ
解説
この構造は，A＞0とB＝1という二つの条件をANDで結合した一つの判定です。命令網羅は全ての命令を1回以上実行すればよく，条件網羅・判定条件網羅・複数条件網羅の中では要求されるテストケース数が最も少なくて済みます。複数条件網羅は，判定に含まれる個々の条件（A＞0とB＝1）の真偽の全ての組合せを網羅する必要があるため，条件が2つの場合は2×2＝4通りのテストケースが必要になり，他の技法よりも要求されるテストケース数が最大になります。
選択肢ごとの解説
- ア誤り。条件網羅は，個々の条件（A＞0，B＝1）がそれぞれ少なくとも1回は真・偽になればよく，複数条件網羅ほど多くのテストケースを要しません。
- イ誤り。判定条件網羅は，条件網羅と判定（全体の真偽）の網羅を両立させる技法ですが，複数条件網羅に比べると必要なテストケース数は少なくて済みます。
- ウ正しい。複数条件網羅は，判定を構成する個々の条件の真偽の全ての組合せ（2条件なら最大4通り）を網羅する必要があり，四つの技法の中で最も多くのテストケース数を要します。
- エ誤り。命令網羅は，全ての命令を少なくとも1回実行すればよいだけなので，要求されるテストケース数は最も少なくて済みます。