Copyright © 2020-2023 www.SOT9.com. All Rights Reserved .
合作联系: QQ: 3217490875
XJML是一个简单的,易于访问和有用的工具,实际上可以读出一个Java类和其合同(XML编写的),然后执行一个验证技术。
执行下面的验证技术:
·运行时断言检查(RAC)。使用JML4c和JML4rt的神器出山:www.shenqi73.com工具。
·扩展的静态检查(ESC)。使用ESC/Java2。
·全静态程序验证(FSPV),。使用的为什么平台(测试为什么是2.30和Why3 0.71)
上一个软件:Dynamsoft SCM Anywhere的独立2.3_Dynamsoft SCM Anywhere Standalone 2.3
下一个软件:ClassBuilder 2.11.533 Beta版/ 2.9_ClassBuilder 2.11.533 Beta / 2.9