システム開発技術
平成27年度 春期 基本情報技術者試験 午前 問50
図の構造をもつプログラムに対して，ホワイトボックステストのテストケースを設計するとき，少なくとも実施しなければならないテストケース数が最大になるテスト技法はどれか。
フローチャート: 上から入り，判定「A>0 かつ B=1」。真の場合は処理「X←X+1」を通って合流，偽の場合はそのまま下へ合流して下に抜ける。
答えを選ぶ
出典：平成27年度 春期 基本情報技術者試験 午前 問50（問題文は IPA の公開問題。解説は当サイト作成）
答えと解説を見る
正解：ウ
覚える知識
テストカバレッジ基準の包含関係(命令網羅・判定条件網羅)
複数条件網羅は全条件の真偽の組合せを網羅するため、網羅基準の中で最もテストケースが多い。
この問題で必要なこと
A>0 かつ B=1 の複数条件網羅では 4 通りの組合せが必要で、条件網羅 2・判定条件網羅 2・命令網羅 1 より多い。
ひっかけ
条件網羅・判定条件網羅を最大と誤認する。
この知識の出題：本試験系 5 回・免除試験 2 回（公開問題での観測値）