内部の実装を見ずに、入力と出力だけで検証するテスト方式は?