摘要： 一、前言 本单元围绕着规格化设计开展本单元围绕着“规格化设计”展开，从简单的JML入手，逐步扩展规格化设计的内容。第一次作业是实现一个简单的路径容器，第二次作业在基于路径容器的基础上实现了一个图，第三次作业则深入到应用层级，实现了一个地铁线路查询程序，进一步的与现实贴近 二、JML知识梳理 初次认识 阅读全文

摘要： 一、三次作业设计策略 （1）第一次作业 第一次作业采用傻瓜式调度，而由于没有性能上的要求，我奇妙的采用了轮询这一简单粗暴这极其错误的方法，虽然顺利的通过了第一次的中测和强测 但也给第二次第三次作业埋下错误的种子，在设计策略上则简单的让电梯线程不断轮询调度器是否有任务，而调度器仅仅是在中间充当一个托盘 阅读全文

摘要： 一、基于度量来分析自己的程序结构 1、第一次作业 思路：设计了三个类分别完成项的分离、项的求导、项的打印三个功能。 类图： metrics复杂度分析： statistic分析： 分析：代码一共200行左右，可以看出部分方法代码复杂度很高且圈复杂度和模块设计复杂度都非常高（分离算法），这说明程序分支多 阅读全文