近年，SDNおよびそれを実現するOpenFlowにより，ネットワークをプログラマブルに制御可能な環境が整いつつある． このようなネットワークの動作が，開発者の設計どおりであることを保証するためには，ネットワークを制御するOpenFlow Controllerのテストが重要であり，OpenFlow Controllerに注目したテストの手法が一般的なプログラム開発で行われるテストと同様に確立されつつある． しかし，OpenFlow Controllerの挙動は，配備するOpenFlow Networkの構成にも依存するため，OpenFlow Controllerに着目したテストだけでは不十分である． そのため，実際に配備しようとするOpenFlow NetworkとOpenFlow Controllerを結合させた時の挙動をテスト可能とする必要があるが，現状ではそれを実現する手法は十分に確立されているとは言えない． 本発表では，ネットワークが要求どおりに動作するか検証するテストツールに必要となる機能要件について説明する． また，その機能要件をもとに作成したプロトタイプであるNetspecの設計および実装と検証結果に関して報告する．