摘要：
一、第四单元作业架构设计 第一次作业（类图解析） 第一次作业对类图进行解析，一共需要完成10个查询指令，包括对类的个数，类中属性、方法的个数，类实现接口的个数等内容的查询，特别需要注意的是各种继承的情况。为了能够方便地实现所有功能，需要一个良好的架构保存相关信息的同时体现出继承和关联关系。 我建立了 阅读全文
摘要：
本单元学习了规格化设计，学习撰写规格和根据JML规格语言实现相应的方法。 通过实践，了解到规格化设计对代码实现和代码维护都有指导意义，有必要掌握并灵活运用。 JML语言的理论基础、应用工具链 理论基础 JML( Java Modeling Language)是用于对Java程序进行规格化设计的一种表 阅读全文
摘要：
传说中的多线程（魔鬼）电梯完成啦！ 一、程序设计分析与基于度量的程序结构分析 三次电梯都统一地采用了生产者-消费者模型，每次在前一次的基础上进行添加，没有大规模的重构，可以说设计含有一定的可拓展性。 第一次电梯（单部多线程傻瓜调度（FAFS）电梯） 这是第一次接触多线程，十分迷惑。起初实在不知道什么 阅读全文
摘要：
一、基于度量的程序结构分析 首先给出Complexity metrics中参数的含义： ev(G)：基本复杂度是用来衡量程序非结构化程度的，非结构成分降低了程序的质量，增加了代码的维护难度，使程序难于理解。因此，基本复杂度高意味着非结构化程度高，难以模块化和维护。 Iv(G)：模块设计复杂度是用来衡 阅读全文