摘要： OO第四单元总结 一、第四单元作业的架构设计 ​ 由于每次作业均为上一次作业的增量开发，故此处只分析第三次作业。 1、架构设计 模块： MyImplementation类：顶层类，所有的查询指令均通过此类来进行 ClassManagement类、SeqManagement类、StateManagem 阅读全文

摘要： OO第三单元总结 一、利用JML规格准备测试数据 ​ JML规格能够助力于规格化设计，规格化设计的核心是方法的前置条件、方法后置条件和对象的不变式。 ​ 方法的前置条件包含了normal_behavior和exceptional_behavior两种情况，因此我们在构造测试数据时需要覆盖到这两种情况 阅读全文

摘要： OO第二单元总结 一、三次作业中同步块的设置和锁的选择 由于每次作业均为上一次作业的增量开发，故此处只分析第三次作业。 代码中： Count类（用于记录电梯系统里现有人数） Distributor类（用于分配人员至相应楼座或楼层） Mask类（记录各层横向电梯的掩码） Output类（安全输出） Q 阅读全文

摘要： OO第一单元总结 一、第一次作业 1、类图 优点：结构清晰简单，每个类的规模适中 缺点：Expr、Term、Var类在进行计算时都需要获取HashMap，可以将这个方法抽象到接口Factor中（让Term也实现Factor接口） 2、设计思路 读取、预处理 首先在MainClass中读取表达式字符串 阅读全文