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