先占个坑，把需要写的内容列下。
• (1)梳理JML语言的理论基础、应用工具链情况
• (2)部署SMT Solver，至少选择3个主要方法来尝试进行验证，报告结果
• 有可能要补充JML规格
• (3)部署JMLUnitNG/JMLUnit，针对Graph接口的实现自动生成测试用例， 并结合规格对生成的测试用例和数据进行简要分析
• (4)按照作业梳理自己的架构设计，并特别分析迭代中对架构的重构
• (5)按照作业分析代码实现的bug和修复情况
• (6)阐述对规格撰写和理解上的心得体会
面向对象课程第三单元总结
猜你喜欢
转载自www.cnblogs.com/xsndzxc/p/10893086.html
今日推荐
周排行