摘要：
单元设计架构 这个单元主要是要实现一个UML结构，并且按照指导书的要求实现一些查找和检查指令。 在第一次作业中，只涉及到UmlClass和UmlInterface以及的UmlOperation的查询。在理清其继承关系、所属关系后，完成这样的建模是很快的。 这里大部分的指令的具体需求还是放在具体的类中 阅读全文
摘要：
第三单元总结 数据测试 副作用 在JML中，一个方法除了返回值即\result之外，还有存在许多限制条件，例如\not_assigned, \not_modified，这些条件通常限制了我们在一个方法内对被调用的对象的操作，这是测试数据的重点之一 异常处理 需要对\require 做出的对 norm 阅读全文
摘要：
OO第二单元 一、同步锁的设置和锁的选择 本单元中同步锁我主要选择了sychronized关键字 + wait() notifyAll的方式设置同步块 在程序中，RequestQueue是最主要的共享数据 public class RequestQueue { private ArrayList<P 阅读全文
摘要：
第一单元总体分析 第一单元的训练，在我看来，主要包括两个部分。 第一部分是训练我们对面向对象编程中根据用户需求（也就是题目要求）对类进行设计以及方法中继承、实现、多态等概念的运用。当然从hw2开始，因为类的高度抽象以及多层嵌套，还需要我们掌握引用、对象的区别和实现方式以及深浅克隆等概念。 第二部分则 阅读全文