2019年5月21日
OO面向对象编程:第三单元总结
摘要： OO面向对象编程:第三单元总结 1.梳理JML语言的理论基础、应用工具链情况 （1）理论基础 （2）工具链情况 2.部署JMLUnitNG/JMLUnit，针对Graph接口的实现自动生成测试用例， 并结合规格对生成的测试用例和数据进行简要分析 （1）安装OpenJML （2）安装JMLUnitTN 阅读全文
posted @ 2019-05-21 22:24 nickyoung22 阅读(326) 评论(0) 推荐(0) 编辑