摘要：一、第四单元作业总结 本单元的主要任务是对 Uml 图元素进行管理和查询，测试一开始会输入一个静态图，之后会对图中相关内容进行查询。 第13，14次作业 第14次作业新增内容很少，故与第13次作业放在一起讨论 13次作业架构图 14次作业架构图 13次作业为类图的查询，14次作业新增了状态图和顺序图 阅读全文

摘要：一、JML语言理论基础 JML 是用于对 Java 程序进行规格化设计的一种表示语言，为严格的程序设计提供了一套行之有效的方法。 我个人对于 JML 的几点看法： 1. JML 的规格化设计相较于自然语言的描述，具有严密的逻辑，便于程序员理解需求，更好地实现功能； 2. JML 能够帮助测试人员很好 阅读全文

摘要：前言 ​ 第二单元 OO 作业的主题是多线程，课程组通过了电梯调度这个经典问题考察了多线程的调度。 ​ 从第五次作业到第七次作业的迭代为， 单部多线程可捎带电梯 ， 多部多线程可捎带调度电梯（电梯属性相同） 和 多部多线程可捎带调度电梯（电梯属性不同，包含需换乘请求） 一、作业分析 作业分析将通过代 阅读全文

摘要：OO第一单元总结 前言 第一单元 OO 作业的主题是求导，从最简单的幂函数求导，到添加三角函数求导，再到最后添加嵌套规则。（~~对熬夜有了新体验，OO 作业比较适合晚上写，OO 博客也是一样 doge~~） 一、代码分析 分析将主要通过UML图，OCavg 和 WMC 三个方面来分析。 OCavg 阅读全文