IPA公式正解：ウ プログラムがどのような機能を果たすのかを仕様書で調べて，テストケースを設計する。
※ 正解はIPA公表の解答です。解説は当サイトが生成AIを用いて作成しています。誤りにお気づきの場合はお問い合わせください。
【解説】正解は選択肢【ウ】です。ブラックボックステストは、内部構造（ソースコード）を参照せず、外部仕様書や要求仕様に基づいて入力と出力の関係に着目してテストケースを設計する手法です。同値分割法や境界値分析などが代表的な技法です。
【詳細解説】■ 本問の核心・解法のポイント
ブラックボックステストとホワイトボックステストの本質的な違い、および各種テストデータ選定技法の特性を理解しているかが問われています。
・各選択肢の徹底解説：
・ア：不適切です。無作為（ランダム）抽出はランダムテストと呼ばれ、体系的な仕様網羅を目的とするブラックボックステストの設計手法としては不適切です。
・イ：不適切です。使用頻度が高いものに偏らせると、境界値や例外処理などバグが潜みやすい箇所のテストが不十分になります（運用プロファイルに基づく信頼性評価等では用いられますが、一般的な機能検証としては不適切です）。
・ウ【選択肢ウ★】：適切です。ブラックボックステストでは、内部構造を意識せず、仕様書で定義された機能要件を満たしているかを検証するため、仕様書を基に入力と期待結果を設計します。
・エ：不適切です。プログラム内のすべての命令を網羅する（命令網羅：C0）のは、プログラムの内部構造を解析して設計する「ホワイトボックステスト」の手法です。
よって正解はウです。
