摘要: OO第四单元总结 一、本单元架构设计 1.数据结构 本单元对UML元素采用HashMap<String, Uml*>的存储形式,键值为元素的ID。由于元素ID唯一,因此采用此种存储方式十分便于写入和查询。 由于本单元查询指令和有效性检查对于三个图是独立的,因此为了降低耦合度,对类图、顺序图、状态图中 阅读全文
posted @ 2022-06-27 14:03 Rupertail 阅读(95) 评论(0) 推荐(0) 编辑
摘要: OO第三单元总结 一、利用JML规格准备测试数据 1.正确性测试 利用JML规格中的also连接词来快速识别normal_behavior中的不同前置条件以及exceptional_behavior中的不同异常触发条件,使得数据可以尽量覆盖上述的所有情况。而对于每种情况,可以人工构造一些边界条件(如 阅读全文
posted @ 2022-06-05 22:27 Rupertail 阅读(38) 评论(0) 推荐(0) 编辑
摘要: 第二单元总结 一、同步设计 ​ 三次作业中均只使用了synchronized修饰词来进行线程的同步,并且主要针对读写冲突进行保护。在三次作业中均使用OutputQueue类对输出信息进行封装,保证其线程安全。对于使用最多的共享类RequestQueue,其读写方法getOneRequest、addR 阅读全文
posted @ 2022-05-03 00:12 Rupertail 阅读(32) 评论(1) 推荐(0) 编辑
摘要: 第一单元总结 一、架构分析 1.第一次作业 (1)类图 (2)架构思路 本次作业架构较为简单,用一个数组构成的Num即可存储所有可能出现的数据(即用数组的偏移量映射x的指数,数组元素为对应系数),FactorClass、TermClass、ExprClass采用递归下降的方法(ExprClass分解 阅读全文
posted @ 2022-03-26 13:54 Rupertail 阅读(32) 评论(1) 推荐(0) 编辑