kingimtk

摘要： OO第四单元总结 本单元架构设计 任务概要 本单元作业要求补全一个UML解析器，实现对UML图相关信息的整合与查询，以及部分规则的规范性验证。具体为第十三次作业实现UML类图相关指令，第十四次作业实现UML顺序图和状态图的相关指令，第十五次实现部分规则的规范性验证。 值得注意的是，本单元的官方包已经 阅读全文

摘要： OO第三单元总结 数据构造 ​ 基于JML规格构造数据本质上就是检查方法能否满足功能与异常情况， 异常检验 ​ 异常一般看的是前置条件，分为抛出型异常以及隐性异常。 ​ 比较常见的是抛出型异常，对于该种异常的检验，我们应针对触发异常的条件专门去构造数据，从而检查程序能否正确抛出相应异常，做到不重不漏 阅读全文

摘要： OO第二单元总结 一、作业介绍 （一）作业背景及迭代 ​ 本单元的核心是模拟多线程实时电梯系统，总共有A~E五栋楼，各拥有10层。要求设计一个电梯调度系统，采用一定的调度策略，用以实时响应可以在任意时间发出的电梯搭乘请求，具体需要模拟实现电梯的上下行、开关门以及进出人。 三次作业介绍 第一次作业：五 阅读全文

摘要： OO第一单元作业总结 一、作业梗概 ​ OO第一单元作业的核心是表达式的处理及化简，三次作业不断迭代增添功能： 实现简单的(x的幂函数以及常数)的多项式括号展开 增添了对三角函数、sum求和函数以及自定义函数的需求，但有三角函数中只有常数因子或幂函数的限定 取消了第二次作业中的限定，要求可实现多项式 阅读全文