OSDN -- オープンソース・ソフトウェアの開発とダウンロード

プロジェクトの説明
レビューする Webページ 開発情報


画像一覧

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

レビュー
あなたの評価
レビューする

統計情報
平均評価
0.0
投票数 0
5つ星
0
4つ星
0
3つ星
0
2つ星
0
1つ星
0
データがありません
レビュー一覧

最新の動き

2009-04-14
18:42
jptUnit
tach
[CVS] リポジトリへのコミットを行いました
2004-10-24
16:44
jptUnit
cheapthought
[CVS] リポジトリへのコミットを行いました
16:26
jptUnit
cheapthought
[CVS] リポジトリへのコミットを行いました
16:25
jptUnit
cheapthought
[CVS] リポジトリへのコミットを行いました
15:27
jptUnit
cheapthought
[CVS] リポジトリへのコミットを行いました
活動履歴を見る