软件名称：[B]XJML 1.0[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：15.9 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

确认和验证你的Java类

XJML是一个简单的，易于访问和有用的工具，实际上可以读出一个Java类和其合同（XML编写的），然后执行一个验证技术。

执行下面的验证技术：
·运行时断言检查（RAC）。使用JML4c和JML4rt的神器出山:www.shenqi73.com工具。
·扩展的静态检查（ESC）。使用ESC/Java2。
·全静态程序验证（FSPV），。使用的为什么平台（测试为什么是2.30和Why3 0.71）

要求：

·的Java

[url=http://www.sot9.com/soft/100328.html][B]XJML 1.0[/B][/url]

点这里下载->XJML 1.0 [ 下载地址 ]