摘要：OO第四单元总结 一、本单元架构设计 1.数据结构 本单元对UML元素采用HashMap<String, Uml*>的存储形式，键值为元素的ID。由于元素ID唯一，因此采用此种存储方式十分便于写入和查询。 由于本单元查询指令和有效性检查对于三个图是独立的，因此为了降低耦合度，对类图、顺序图、状态图中 阅读全文

摘要：OO第三单元总结 一、利用JML规格准备测试数据 1.正确性测试 利用JML规格中的also连接词来快速识别normal_behavior中的不同前置条件以及exceptional_behavior中的不同异常触发条件，使得数据可以尽量覆盖上述的所有情况。而对于每种情况，可以人工构造一些边界条件（如 阅读全文