梳理JML语言的理论基础、应用工具链情况
JML语言理论基础
JML（Java Modeling Language）是一种行为规范接口语言，通过使用不会被编译的注释形式，和固定关键字的语法，指定Java模块代码的行为。这些行为包括需要满足的前置条件、后置条件，和可能产生的副作用等。它贯彻了契约方法设计理念，通过JML及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMT Solver等工具 以静态方式来检查代码实现对规格的满足情况。JML（Ja
阅读背景：
【面向对象】第三单元总结——JML_weixin_30663391的博客
来源：互联网
分享到：
