2020年5月21日
OOUnit3Summary
摘要： 一、JML基础梳理及工具链 jml语言基础 JML的全称是Java Modeling language，是一种行为接口规格语言，通过JML及其支持工具，不仅可以基于规格自动构造测试用例，还可用SMT Solver等工具以静态方式来检查代码实现对规格的满足情况。 1、注释结构 行注释：//@annot 阅读全文
posted @ 2020-05-21 11:43 mrqy 阅读(147) 评论(0) 推荐(0) 编辑