ブラックボックステストにおけるテストケースの設計に関する記述として，適切なものはどれか。
実データからテストデータを無作為に抽出して，テストケースを設計する。
実データのうち使用頻度が高いものを重点的に抽出して，テストケースを設計する。
プログラムがどのような機能を果たすのかを仕様書で調べて，テストケースを設計する。
プログラムの全命令が少なくとも1回は実行されるように，テストケースを設計する。