Projektbeschreibung

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

Bewertung
Ihr Bewertung
Rezensionen verfassen

Statistiken

Kürzliche Aktivitäten

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
Historie anzeigen