仕様をかっちり日本語で書ければ
テストプログラムを自動生成するのはそんなに難しいことではない
仕様通りに書き直すのはまた別のの問題だが