摘要：BUAA OO UNIT4 第四单元架构分析 第四单元主要是对UML的解析，总体而言需要注意的是对题目中描述的方法的理解，以及合适的数据类型的选择。由于是迭代开发，这里呈现的是第三次作业中的各类中的各种元素。 属性的编写 对于各个UMLElement中的各种属性，我采用的是HashMap存储属性id 阅读全文

摘要：OO Unit3 Blog 测试数据准备 首先是对相关jml的理解和解读，这一部分首先自己通读jml规格然后根据自己的理解写出代码。对于一些较为复杂的jml规格，与同学交流具体对应实现内容。 对于jml中的规格测试主要是对函数特殊边界情况的测试以及对大量数据的时间复杂度测试。 第三单元设计分析 第一 阅读全文