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