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