摘要: OO第四单元总结 第四单元架构设计 类图模型 主要采用HashMap容器表示类包含的属性方法,以及继承、关联等关系 private final HashMap<String, Integer> subClass = new HashMap<>(); //classId -> subclass_num 阅读全文
posted @ 2022-06-29 10:12 rmfl 阅读(30) 评论(0) 推荐(0) 编辑
摘要: OO第三单元总结 利用JML规格准备测试数据 前置条件 构造不满足前置条件的数据测试异常处理 构造满足前置条件的数据测试正确性 后置条件和约束条件 用于判断输出结果的正确性 利用JML规格的前置条件构造数据便于对所有可能的情况进行分类讨论,保障了测试数据的覆盖率。但仅用后置条件和约束条件对结果进行判 阅读全文
posted @ 2022-06-04 09:50 rmfl 阅读(20) 评论(0) 推荐(0) 编辑
摘要: OO第二单元总结 同步块与锁 在第一次作业的第一个版本中,由于最开始思路不清晰,我给一个电梯开了3个线程,分别是计算线程、电梯运行线程和乘客上下线程,三个线程之间需要相互通信,共享数据杂糅导致我第一个版本的电梯对4,5个共享对象分别加了锁,形成了很多层锁的嵌套。而为了解决死锁的问题,我希望每个syn 阅读全文
posted @ 2022-04-29 20:39 rmfl 阅读(19) 评论(0) 推荐(0) 编辑
摘要: OO第一单元总结 第一次作业 架构设计思路 ​ 第一次作业我一开始打算用接识别正则表达式的方法,但在写的过程中发现这种方法需要对各种情况分类讨论,很容易讨论不全。之后我参考了训练中的代码,决定采用递归下降的思路。按照文档中对表达式,项和因子的定义,我构造了Expr, Term, Factor三个类, 阅读全文
posted @ 2022-03-26 15:33 rmfl 阅读(28) 评论(0) 推荐(1) 编辑