2019年5月21日
面向对象第三单元学习体会与总结
摘要： 1、JML的理论基础，应用工具链情况。 2、使用OpenJML部署SMT Solver进行验证。 3、部署JMLUnitNG/JMLUnit自动生成测试用例。 4、分析架构设计与重构迭代情况。 5、分析bug与修复情况。 6、对规格撰写的心得体会。 1、JML的理论基础，应用工具链情况 JML(Ja 阅读全文
posted @ 2019-05-21 22:05 BraveShine 阅读(205) 评论(0) 推荐(0)