システム開発のテスト工程において、ソフトウェアが仕様書や要求定義書の通りに機能するかどうかを、内部構造（ロジック）には着目せず、入力と出力のみに着目して検証するテスト技法はどれか。