摘要：# 北航OO第四单元总结-UML与课程总结 ## 前言 岁月不居，时节如流。不知不觉中OO课程已经来到最后一次总结了，从刚接触多项式求导的无从下手到第四单元UML的解析，经过OO课程的苦练，自己的能力得到了很好的锻炼。闲话不多说，开始进行总结。 ## 第四单元UML架构设计 本单元最终的总体结构如下 阅读全文

摘要：综述 “人生而自由，却无往不在枷锁之中。” Java建模语言（JML）是一种行为接口规范语言，可用于指定Java模块的行为。 基于规格来实现程序，能够形式化验证程序的正确性，在检查各个模块时，也可以通过本模块的约束进行检查和验证。 设计策略 首先是关于JML一些语法的理解。行注释的表示方式为 //@ 阅读全文

摘要：综述 总体采用生产者-消费者模式，三次作业总体架构没有大的变化，只在每次新增任务时修改相关的细节。每一个请求处理流程：输入线程->调度器->电梯 电梯，实现基本移动和电梯内状态查询，有配套的电梯队列 策略，控制电梯移动 调度器，从总请求池中分配请求至电梯队列 同步块设置和锁的选择 第一次作业相对比较 阅读全文

摘要：艰难地完成了前三次作业，应当借此机会好好反思。 前三方面基于每次作业分析 程序结构 程序bug 发现程序bug的策略 最后两个部分进行单元总体分析 重构经历总结 心得体会 第一次作业 1.1 基于度量分析程序结构 复杂度分析 方法复杂度 类复杂度 Term类实现过于复杂。除了Poly的输出部分，其他 阅读全文