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