06 2022 档案

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