摘要: OO第四单元总结 本单元架构设计 任务概要 本单元作业要求补全一个UML解析器,实现对UML图相关信息的整合与查询,以及部分规则的规范性验证。具体为第十三次作业实现UML类图相关指令,第十四次作业实现UML顺序图和状态图的相关指令,第十五次实现部分规则的规范性验证。 值得注意的是,本单元的官方包已经 阅读全文
posted @ 2022-06-29 18:28 kingimtk 阅读(6) 评论(0) 推荐(0) 编辑
摘要: OO第三单元总结 数据构造 ​ 基于JML规格构造数据本质上就是检查方法能否满足功能与异常情况, 异常检验 ​ 异常一般看的是前置条件,分为抛出型异常以及隐性异常。 ​ 比较常见的是抛出型异常,对于该种异常的检验,我们应针对触发异常的条件专门去构造数据,从而检查程序能否正确抛出相应异常,做到不重不漏 阅读全文
posted @ 2022-06-06 15:50 kingimtk 阅读(11) 评论(0) 推荐(1) 编辑
摘要: OO第二单元总结 一、作业介绍 (一)作业背景及迭代 ​ 本单元的核心是模拟多线程实时电梯系统,总共有A~E五栋楼,各拥有10层。要求设计一个电梯调度系统,采用一定的调度策略,用以实时响应可以在任意时间发出的电梯搭乘请求,具体需要模拟实现电梯的上下行、开关门以及进出人。 三次作业介绍 第一次作业:五 阅读全文
posted @ 2022-05-03 14:37 kingimtk 阅读(26) 评论(2) 推荐(0) 编辑
摘要: OO第一单元作业总结 一、作业梗概 ​ OO第一单元作业的核心是表达式的处理及化简,三次作业不断迭代增添功能: 实现简单的(x的幂函数以及常数)的多项式括号展开 增添了对三角函数、sum求和函数以及自定义函数的需求,但有三角函数中只有常数因子或幂函数的限定 取消了第二次作业中的限定,要求可实现多项式 阅读全文
posted @ 2022-03-26 15:41 kingimtk 阅读(14) 评论(0) 推荐(0) 编辑