摘要：面向对象第四单元总结 本单元架构设计 在本单元第一次作业中，由于实现要求只有类图，因而我直接在MyImplement类中实现了类图的所有功能。然而在紧接着的第二次作业中，引入了时序图和状态图。这三种图显然是相互独立的版块，因而需要各自抽离出新的类。由此，我又将第一次作业中实现的所有内容移到一个新类中 阅读全文

摘要：面向对象第三章总结 准备测试数据 本单元引入了Junit单元测试，可以针对每个方法自己构造数据测试。但是由于其使用起来需要手动针对每个方法写判断前提和结果约束，相当麻烦，因而关于Junit我便浅尝辄止了。类似之前单元的测试，本单元我还是通过随机生成数据进行测试。 方法的JML规格约束了方法的前提与产 阅读全文