摘要： 目录 UML系列作业设计架构 Project13 Project14 单元架构设计 第一单元--表达式求导 第二单元--电梯系列 第三单元--jml系列 第四单元--uml系列 测试理解与实践的演进 第一单元--表达式求导 第二单元--电梯系列 第三单元--jml系列 第四单元--uml系列 课程收 阅读全文

摘要： JML语言的理论基础 前言 jml语言是对于Java程序进行规格化设计的一种表示语言，主要有两种用法： 1）开展规格化设计，使得程序员在实现过程中对目的没有二义性。 2）针对已有的实现代码来书写规格可以提高代码可维护性。 常用&核心要素 JML注释方式有两种：行注释和块注释。每行均以@开头，其中行注 阅读全文

摘要： 三次作业设计&结构分析 Project5 1)设计策略 在第一次电梯作业中，我采取的是生产者--消费者的模式，将请求队列作为共享对象存储在调度器中，调度器为单例模式，被输入线程和电梯线程共享；输入线程和电梯线程在同一时间点只能有一个访问请求队列。 2)类图如下 ElevatorController作 阅读全文

摘要： 三次作业设计分析 第一次作业 类图： 第一次作业思路：在第一次作业中有三个类，入口函数是CalPoly，读取参数、进行求导、输出。在第一次作业中模仿课堂上机矩阵运算的形式，在Poly类中进行各种运算，检查格式正确性、分离项、指数系数分离、化简等等。Poly是由Polyitem构成，求导过程在因子层面 阅读全文