形式仕様記述言語の話もそうなのだが、テストを作るプログラムが java なのが、ちょっと...と思う。
運賃計算ロジックが C++ で、それをテストする場合は、できるだけ形式が離れた言語が良くて、普通の手続き型の言語、Perl とか Ruby を使ったほうがよかったりする。
ロジックをテストするロジックはスピードはいらない（スピードを必要とするテスト自体が、崩壊している話もあるけど）ので、スクリプト言語のほうが修正しやすくてよい。
そうそう、大学の頃は、Fortran のロジックを、Perl を使ってチェックしていたのを思い出した。
