摘要：
作业架构 第十三次作业 第十三次作业，由于课程组提供的UMLClass,UMLInterface等类缺少实现服务所必须的一些属性和方法，因此采用代理模式，为每个UML元素创建对应的代理类。 其次，由于类和接口需要有添加属性，添加方法，添加关联等方法，因此设置了AssociatedItem和Opera 阅读全文
摘要：
[TOC] 1.JML语言介绍 1.1 JML概念与理论基础 也就是说，JML是一种以Java注释的形式，进行契约式设计的规格语言。具体就是通过在JML中写明前置条件，后置条件，不变式等等，使得代码实现者在实现代码时只需要满足JML规格；代码调用者只需理解JMl而不需要看代码的具体实现就能知道类和方 阅读全文
摘要：
[toc] 1. 设计策略 多线程间的协同 三次作业我采用的整体架构基本没有发生变化，都是 以Worker模式为基础的，如下图所示，也正是老师推荐的架构。其中全局调度器只负责将全局请求队列中的每一个请求分配到一个合适（也就是预期得到性能最好)的电梯局部请求队列。而电梯内部的局部调度器根据当前的电梯状 阅读全文
摘要：
[toc] 1.基于度量分析自己的程序结构 （1）第一次作业 UML 第一次作业结构非常简单，除了MainCLass外，只用PolyComputer类负责解析表达式生成Poly类的实例。 代码分析 对于类，有OCavg和WMC两个项目，分别代表类的方法的平均循环复杂度和总循环复杂度。 可以见得：第一 阅读全文