摘要：
一．我在补给站当中需要补的作业是第一单元和第四单元。在第一单元的作业当中，我遇到的问题是前两次作业的构建拓展性差，导致在重构的过程中推翻的不彻底，最后实现作业的时间不够导致。 而第四单元的作业则是从第一次作业开始没有建立好相应的对象，构建模型，而是直接编写方法，导致实现每一个方法都需要冗长的遍历，最 阅读全文
摘要：
（1）总结本单元三次作业的架构设计 本单元的三次作业当中，我的架构设计基本以在同一个架构上进行扩展，没有进行重构。按照注释所展示的方法来对接口进行实现，其中主要的架构基础建立在对于元素集合的遍历上。对于elments类的各个属性，首先进行主类名称的查询和检测，记录类的id并且对剩余的所需属性的par 阅读全文
摘要：
OO第三单元博客 梳理JML语言的理论基础、应用工具链情况 理论基础：通过一系列描述行为描述的代码进行代码的编写，继承父类的全部接口对代码进行方法的重写，同时不改变父类的返回值和功能。JML语言有很多既定的规定，比如方法规格当中有前置条件+后置条件+副作用的要求，前置条件是执行的初始条件，后置条件是 阅读全文
摘要：
OO第二单元博客 一．三次作业的设计策略 第一次作业：从第一次作业的电梯来看，对电梯的需求是多线程的单步电梯，因此我的设计是使用生产者消费者模式，除了主线程外设计两个线程，分别为生产者：乘客提出的请求；以及消费者：电梯的线程。由于只有一部电梯，单纯的生产者——消费者模式会导致的是电梯只能处理单一的请 阅读全文
摘要：
OO第一单元博客 一．我的程序结构 在本次的面向作业当中，一共经历了三个小作业，并且难度使层层递进的。在这里可以用工具来分析一下每次作业所使用的类的数目以及基本结构。 第一次作业： Type Name NOF NOPF NOM NOPM LOC WMC NC DIT LCOM Poly 5 0 7 阅读全文