摘要：第四单元结构设计 本单元的主题为UML解析器，要求对UML类图，顺序图和状态图进行基本的查询和合法性检验。由于本单元的作业为迭代开发，故直接展示第三次作业的架构。 首先是总体的架构以及各个板块的类图： 整体的架构分为四个部分，分别为类图包，顺序图包，状态图包，以及MyImplementation类。 阅读全文

摘要：BUAA OO 第三单元总结 JML规格和测试 ​ 本单元的主题是根据JML规格编写代码，架构设计方面只需要严格地按照JML规格即可。相应地，在测试方面也可以根据JML规格进行相对应的测试。课程组的建议是使用JUnit，但是在简单尝试后觉得时间成本比较高，加上舍友完成了对拍机，遂选择和舍友对拍进行主 阅读全文