>>790
自動的にテストベクターを生成するプログラムを作れば良いだけの話