摘要:
第四单元总结 一、UML简介 这一单元的核心内容是UML建模语言的学习,通过理解UML语言编写类解析器。 UML,即统一建模语言,是通过一种开放的方式,用于说明、可视化、构建以及编写一个正在开发的、面向对象的、软件密集系统的制品的开放方法。经过事实证明,在对复杂系统进行建模方面,以及软件层次架构中, 阅读全文
摘要:
OO第三单元的作业已经结束,针对作业中出现的问题和个人设计的思路做一些总结 设计策略 本单元作业的内容是根据给定的JML规格实现一个可以实现个人操作,好友关系操作,群组操作,收发消息等等的社交网络。虽然看起来根据JML实现代码的内容并不复杂,只是单纯地根据所给定的规格设计d代码即可,但是本单元通过测 阅读全文
摘要:
第五次作业 第五次作业是单个电梯的调度。要求设计捎带算法,通过多线程的设计思路构建一个在指定楼层间实时运行的电梯。我除主类外设置了三个类:电梯类、控制器类、请求(读取)类,其中后两个类继承Thread,Scheduler类和Elevator类负责生成调度算法以监控电梯运行。其中Elevator类还搭 阅读全文
摘要:
经过三次OO作业之后,OO作业的第一单元功能部分告一段落。在这几次作业的完成过程中有了一定的收获。 一、第一次作业 1.架构分析 本次作业需要完成的任务是简单多项式函数导数的求解。表达式仅仅支持简单的幂函数项的加减法运算,同时输入保证规范性,即不会出现错误类型的数据。整体要求上比较初步,实现起来也较 阅读全文
摘要:
OO第四单元总结 一、UML简介 这一单元的核心内容是UML建模语言的学习,通过理解UML语言编写类解析器。 UML,即统一建模语言,是通过一种开放的方式,用于说明、可视化、构建以及编写一个正在开发的、面向对象的、软件密集系统的制品的开放方法。经过事实证明,在对复杂系统进行建模方面,以及软件层次架构 阅读全文
摘要:
一、JML语言 1.理论基础 JML(Java Modeling language)是用于程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言(Behavior Interface Specification Language,BISL),基于Larch方法构建。BISL提供了对方法和类型 阅读全文
摘要:
设计结构 第五次作业 第五次作业是单个电梯的调度。要求设计捎带算法,通过多线程的设计思路构建一个在指定楼层间实时运行的电梯。我除主类外设置了三个类:电梯类、控制器类、请求(读取)类,其中后两个类继承Thread,Scheduler类和Elevator类负责生成调度算法以监控电梯运行。其中Elevat 阅读全文
摘要:
经过三次OO作业之后,OO作业的第一单元功能部分告一段落。在这几次作业的完成过程中有了一定的收获。 一、第一次作业 1.架构分析 本次作业需要完成的任务是简单多项式函数导数的求解。表达式仅仅支持简单的幂函数项的加减法运算,同时输入保证规范性,即不会出现错误类型的数据。整体要求上比较初步,实现起来也较 阅读全文
摘要:
一、JML语言及工具 JML是java modeling language的缩写,用于对Java程序进行规格化设计的一种表示语言,可以用来描述一段代码的具体行为,比如前置条件、副作用、后置条件等。通过JML的相关支持工具,可以检查规格是否合乎规范、可以基于规格自动构造测试用例,同时可使用SMT So 阅读全文
摘要:
第一次作业: 第一次作业较为简单,并没有涉及捎带策略,因此在涉及的过程中并没有使用调度器对电梯运行进行调度。因此在涉及的过程中,除了main类以外我设计了四个类,queue负责输入以及对于输入内容的储存,Elevator类为电梯类,在接到来自queue的任务后处理任务,对人进行接送。trans类储存 阅读全文