摘要: BUAA OO Unit4 & Course Summary 一、本单元架构设计 需求简述:UML解析器 支持对于类图、顺序图以及状态图相关信息的查询 对于该UML模型的合法性检验 以下是三次作业总的类图: 总体设计:从上面的图可以看出,在MyImplementation类中,有MyClassDia 阅读全文
posted @ 2022-06-29 12:31 ezmoneysniper 阅读(16) 评论(1) 推荐(0) 编辑
摘要: BUAA OO Unit3 Summary 零、写在前面 百度JML结果如下(doge 一、基于JML规格的自测 本单元的中心就是JML规格的理解到实现,所以自然的,我们的测试也应该基于JML规格进行展开。 白盒测试 白盒测试对于我的意义更多在与对正确性的检测。JML给出规格的最大好处就是不会出现谜 阅读全文
posted @ 2022-06-06 10:04 ezmoneysniper 阅读(19) 评论(0) 推荐(1) 编辑
摘要: BUAA OO Unit2 Summary 零、写在前面 https://www.cnblogs.com/GrapeLemonade/p/14702876.html 初听不知曲中意,再听已是曲中人。 一、同步块与锁 锁的选择 在本单元作业中,我全部采用了JVM层面的synchronized关键字对同 阅读全文
posted @ 2022-05-04 15:51 ezmoneysniper 阅读(83) 评论(2) 推荐(2) 编辑