專案描述

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

您的評分
撰寫專案評

使用統計

最近的活動

2009-04-14
18:42
jptUnit
[CVS] New commit
2004-10-24
16:44
jptUnit
[CVS] New commit
16:26
jptUnit
[CVS] New commit
16:25
jptUnit
[CVS] New commit
15:27
jptUnit
[CVS] New commit
Show history