摘要：
BUAAOO第四单元总结 本单元架构设计 本单元架构实现课程组已经完成，补充对应函数即可。 由于进行类图，顺序图，状态图的解析，因此提供三个类分别解析对应的图。对于第三次作业的规范检查，R001~R008规则，考虑到类之间传递信息的困难性，因此将对应规则检验的类也封装进入了解析类。 在General 阅读全文
摘要：
第三单元博客 (1)设计策略 参照指导书和JML规格进行实现。 (2)结合课程内容，整理基于JML规格来设计测试的方法和策略 Junit单元测试，通过使用Junit达到对每个函数的测试，从而保证每个函数都符合JML规格。 (3)总结分析容器选择和使用的经验 HashMap和HashSet在查找时候能 阅读全文
摘要：
第二单元总结 （1）总结分析三次作业中同步块的设置和锁的选择，并分析锁与同步块中处理语句之间的关系 三次作业中的锁设置基本一致——对请求队列（requestQueue）加锁。电梯线程调度时需要拿到锁，有乘客到来的时候读入线程也需要拿到锁。 第一次作业中，由于刚刚接触到电梯，同步块设置过多，导致电梯运 阅读全文
摘要：
BUAAoo第一单元总结博客 由于作者绘画功底限制，实在无法手绘类图 ##第一次作业 第一次作业的结构很简单，根据分析，一个多项式是由多个单项式组成的，而单项式我们只关心他的系数coef和指数expo。而多项式由多个单项式相连，很自然地想到了使用链表ArrayList将各个单项式组合起来。 求导采取 阅读全文