2019年5月21日
BUAA面向对象第三单元作业总结
摘要： • (1)JML语言理论基础、应用工具链 • (2)SMT Solver • (3)JMLUnitNG/JMLUnit 　　针对Graph接口的实现自动生成测试用例， 并结合规格对生成的测试用例和数据进行简要分析 • (4)架构设计梳理以及重构 • (5)作业bug和修复 • (6)规格撰写体会 阅读全文
posted @ 2019-05-21 13:28 Orz2333 阅读(373) 评论(0) 推荐(0)