摘要：
一、第四单元架构设计 1.第一次作业 UML类图 本次作业中我的设计思路是将不同的元素分别交给不同的类来管理；同时考虑到之后可能会增加新的UML图，于是又单独增加了ClassDiagram这个类来表示UML类图，最终的程序架构如上图所示。我将属于类图的元素都交给ClassDiagram类统一管理，同 阅读全文
摘要：
一、JML理论基础 1.概览 在概述JML之前我想我们应该首先了解契约式设计（Design by Contract, DbC）。DbC要求在软件程序设计时明确每一个模块单元在调用前后的状态变化，抽象出来就是要求明确前置条件、后置条件和不变式。和诸多设计模式一样，DbC可以说是一种方法学，一种软件开发 阅读全文
摘要：
一、基于度量的程序结构分析 1.第一次作业 1.1 度量分析表 分析： 从 WMC 值和 LOC 值来看，我此次作业的在类的职责设计上出现了偏差，把复杂度集中留给了 Elevator（电梯） 类，而 Scheduler（调度器）类的复杂度相对 Elevator 类要低多了。原因是我把电梯自身的动作以 阅读全文
摘要：
一、基于度量的程序结构分析 1.第一次作业 1.1 度量分析表 分析： 从WMC的值来看，代码复杂度方面控制得一般，Poly类(多项式类)、Term类(项类)和VarTerm类(变量类)的WMC值达到了10+，就第一次作业而言，我认为这个复杂度还是可以进一步降低的。 从LCOM来看，各类的内聚程度是 阅读全文