モジュールの内部構造を考慮することなく，仕様書どおりに機能するかどうかをテストする手法はどれか。