2019年5月22日
OO第三次博客作业--第三单元总结
摘要： 一、JML 语言的理论基础及应用工具链 JML 是一种行为接口规格语言，提供了对方法和类型的规格定义手段。通过 JML 和其支持工具，不仅可以基于规格自动构造测试用例，并整合了 SMT Solver 等工具以静态方式来检查代码实现对规格的满足情况。 1.1 方法规格 JML 中的前置条件指的是在调用 阅读全文
posted @ 2019-05-22 20:32 真空快速吸 阅读(123) 评论(0) 推荐(0) 编辑