摘要:
北航2022面向对象第四单元:UML模型 内容概括 本单元的架构设计 架构设计和面向对象方法总结 测试方法总结 课程总结 课程建议 1. 本单元架构设计 本单元主要是解析UML元素之间的关系。从字符串到UML对象的部分已经写好了,我们的任务主要是从UML对象开始,建立一个组织结构。 1.1 第一、二 阅读全文
摘要:
北航2022面向对象第三单元:JML规格 内容概括 测试方法 架构设计 性能优化 Network拓展 总结和体会 1. 测试方法 因为本单元的JML语法是清楚且严格的,对于一些特别简单的方法就没必要做测试了。但是对于核心和复杂的方法,可以翻译成自然语言进行测试,同时对also区分开的分支全面覆盖。特 阅读全文