Télécharger la liste

Description du projet

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

Système requise

Système d'exploitation: OS Independent

Télécharger la liste des paquets

Aucun paquet