2020年5月20日
面向对象第三单元总结
摘要： 一、JML理论基础及应用工具链 1.JML理论基础 JML是用于对java程序进行规格化设计的一种表示语言，是一种行为接口规范语言。通过JML及其支持工具，可以基于规格自动构造测试用例，并整合SMT solver等工具以静态方式来检查代码实现对于规格的满足情况。 1. JML表达式 （1）原子表达式 阅读全文
posted @ 2020-05-20 21:57 Jaripon 阅读(178) 评论(0) 推荐(0) 编辑