摘要： 一、本单元三次作业的架构设计 本单元的三次作业由于都给了接口，所以架构设计相对比较简单。 第一次作业架构非常简单，只是构建了MyUmlInteraction类，并实现对应的接口，然后编写方法即可。 第二次作业由于新增了较多方法，如果全部在一个类中实现势必要超过长度限制，所以我使用了MyUmlClas 阅读全文

摘要： 一、JML的理论基础和应用工具链 JML的理论基础 JML（Java Modeling Language）是一种形式化的、面向JAVA的行为接口规格语言。 本单元课程作业是由课程组提供JML，而且确保只要代码严格满足JML的要求，则正确性就可以保证。这就是一种契约式编程的过程，设计者提供规格设计，不 阅读全文

摘要： 第一次作业 1.设计策略 本次作业需要实现一部简单电梯的运行，很自然的，我选择将本次作业的三个部分，读入数据、调度数据、电梯运行作为三个线程来运行。其中读入数据的线程比较简单，根据提供的接口使用方法顺序读入即可。调度数据我实现了一个调度器类，用于管理两个队列，一个是读入数据的队列，一个是给电梯分配任 阅读全文

摘要： 第一次作业 代码结构分析 UML类图如下： 度量分析： 本次作业我的思路是先去除空格及其他空白字符，然后利用正则表达式读取每一项，再求导并存储在TreeSet中输出。 本次作业我只使用了两个类，主类和项类。可以看到我还停留在面向过程的思维当中，方法的耦合度和复杂度都很高，不利于测试和发现bug。 分 阅读全文