2020年5月22日
OO_Unit3总结
摘要： OO_Unit3总结 一、JML梳理 将JML体系以思维导图的形式进行整理，如下所示。 二、SMT Solver 配置过程中出现了蜜汁bug，修复未果，这个坑之后再填吧…… 三、JMLUnitNG JMLUnitNG主要用来根据JML语言自动生成数据并进行测试。针对Group接口进行测试，结果如下所 阅读全文
posted @ 2020-05-22 13:33 AcYo 阅读(176) 评论(0) 推荐(0) 编辑