摘要：BUAAOO第四单元总结 本单元架构设计 本单元架构实现课程组已经完成，补充对应函数即可。 由于进行类图，顺序图，状态图的解析，因此提供三个类分别解析对应的图。对于第三次作业的规范检查，R001~R008规则，考虑到类之间传递信息的困难性，因此将对应规则检验的类也封装进入了解析类。 在General 阅读全文

摘要：第三单元博客 (1)设计策略 参照指导书和JML规格进行实现。 (2)结合课程内容，整理基于JML规格来设计测试的方法和策略 Junit单元测试，通过使用Junit达到对每个函数的测试，从而保证每个函数都符合JML规格。 (3)总结分析容器选择和使用的经验 HashMap和HashSet在查找时候能 阅读全文