摘要：第四单元总结 本单元实现了一个UML解析器，支持对UML类图、状态图、顺序图的解析，以及简单的规范性验证。 1. 架构设计 本单元中仍然进行了层次化设计。由于输入的UMLElement是无层次结构的元素集合，因此架构重点是根据类图、状态图、顺序图的各种元素的逻辑关系，为他们进行建模，重新组织起层次化 阅读全文

摘要：本单元主要进行基于规格的层次化设计，在给定JML规格的基础上实现一个社交网络模拟系统。 1. 测试 在本单元的测试中，我选择了传统的随机生成数据的测试方法，事实证明我的这种选择是一把双刃剑。 1.1 两种测试方法对比 传统的随机数据方法的优点有： 测试过程不依赖于对JML规格的理解，只要对拍的人员内 阅读全文