摘要: OO第四单元总结 一、第四单元作业的架构设计 ​ 由于每次作业均为上一次作业的增量开发,故此处只分析第三次作业。 1、架构设计 模块: MyImplementation类:顶层类,所有的查询指令均通过此类来进行 ClassManagement类、SeqManagement类、StateManagem 阅读全文
posted @ 2022-06-28 22:58 lr20 阅读(29) 评论(0) 推荐(0) 编辑
摘要: OO第三单元总结 一、利用JML规格准备测试数据 ​ JML规格能够助力于规格化设计,规格化设计的核心是方法的前置条件、方法后置条件和对象的不变式。 ​ 方法的前置条件包含了normal_behavior和exceptional_behavior两种情况,因此我们在构造测试数据时需要覆盖到这两种情况 阅读全文
posted @ 2022-06-01 16:26 lr20 阅读(15) 评论(0) 推荐(0) 编辑
摘要: OO第二单元总结 一、三次作业中同步块的设置和锁的选择 由于每次作业均为上一次作业的增量开发,故此处只分析第三次作业。 代码中: Count类(用于记录电梯系统里现有人数) Distributor类(用于分配人员至相应楼座或楼层) Mask类(记录各层横向电梯的掩码) Output类(安全输出) Q 阅读全文
posted @ 2022-04-29 14:46 lr20 阅读(34) 评论(1) 推荐(1) 编辑
摘要: OO第一单元总结 一、第一次作业 1、类图 优点:结构清晰简单,每个类的规模适中 缺点:Expr、Term、Var类在进行计算时都需要获取HashMap,可以将这个方法抽象到接口Factor中(让Term也实现Factor接口) 2、设计思路 读取、预处理 首先在MainClass中读取表达式字符串 阅读全文
posted @ 2022-03-25 23:24 lr20 阅读(52) 评论(1) 推荐(0) 编辑