2020年5月21日
OO第三单元总结
摘要： OO第三单元总结—JML契约式编程 JML语言 综述 JML（Java Modeling Language）是用于对JAVA程序进行规格化设计的一种语言，很好地规定了行为规范。JML不仅可以基于规格自动构造测试用例，并整合了SMT Solver等工具以静态方式来检查代码实现对规格的满足情况。非常地利 阅读全文
posted @ 2020-05-21 00:53 Skypowerr 阅读(189) 评论(0) 推荐(0) 编辑