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