摘要：本单元的架构设计 MyImplementation构造函数 在构造函数中，依照UMLElement的类型的顺序进行添加（而不是直接拿着elements数组进行forEach遍历）。 这样的好处是，在添加Element时，其parentId对应的UMLElement一定存在，从而可以更好的对数据进行管 阅读全文

摘要：利用JML规格来准备测试数据 我对jml规格的理解，更像是：功能的外化。 比如，对于addGroup()指令： 其功能简单来说就是：将group添加到Network管理的groups中 jml的描述简单来说就是：groups[i]的变化和限制要满足哪些条件 在本单元中，我在自测的时候，主要还是以： 阅读全文