jptUnitはJUnitの枠組みで、形式的なプログラムの証明を実行するツールです。 JUnitでは定数に基づいたテストを書きますが、jptUnitでは変数を用いたassertionが書けるので、より強力な表現のテスト=仕様がかけます。
