摘要：
一、本单元作业的架构设计 本单元主要需要理解uml规格是如何描述类图、状态图和顺序图以及如何相应对其进行解析。本单元作业架构已由课程组实现，我们只需要补充对应的函数即可。为了实现相应的功能，有一些元素我对其进行了重新创建，并使用某些容器储存，如下图所示： 对于需要用到id进行联系的元素使用hashm 阅读全文
摘要：
一、JML规格理论基础 JML 中常用的表达式： \old(expr) 表达式用来表示一个表达式 expr 在相应方法执行前的取值； \result 表达式表示方法的执行返回结果； \forall 表达式是全称量词修饰的表达式，表示对于给定范围内的元素，每个元素都满足相应的约束； \exists 表 阅读全文
摘要：
一、历次作业架构分析 （1）第一次作业 第一次作业仅有一部电梯，使用简单的生产者消费者模式就可以满足要求。在策略选择上，我使用了指导书中的ALS捎带策略，具体的逻辑是：电梯到达每层时判断是否有可以捎带的请求，以满足可捎带策略。详情可以看第一次作业的UML类图： 其中主线程MainClass生成了In 阅读全文
摘要：
OO第一单元总结 一、基于度量分析结构 第一次作业 类图： 第一次作业我将其分成Main、Expression、Term三类，Expression用于处理字符串并将各个项用Hashmap存储起来，Term类用于对各个项进行求导，逻辑较为简单 代码复杂度分析： 我们可以从复杂度分析中清楚地看到，在类别 阅读全文