摘要：
一、本单元两次作业架构设计 终于来到本学期最后一个单元的oo作业，到这一单元很辛苦，但是很遗憾，最后一个单元自己还是没有很好地完成，在这里也只能说一说自己最后两次作业的基本架构了。 第一次UML作业主要是完成对UML类图的解析并实现查询等操作，第一次作业类图如下： 但是还是出现了一点玄学bug导致测 阅读全文
摘要：
一、JML理论基础 JML就是用于对JAVA程序设计逻辑的预先约定的一种语言，以便正确严格高效地完成程序以及展开测试，是一种行为接口规格语言。 1.原子表达式： \result表达式：表示一个非 void 类型的方法执行所获得的结果，即方法执行后的返回值。 \old( expr )表达式：用来表示一 阅读全文
摘要：
第二单元的oo作业主要是多线程电梯问题，相对于第一单元来说，对我友好很多，第一单元主要倒在正则表达式和输入输出的问题导致自己的程序漏洞百出，甚至无处下手。 第一次作业： 第一次电梯作业完全是傻瓜电梯，完全不需要考虑捎带的问题，完全是傻瓜调度问题。主要的模型还是生产者和消费者这一经典模型，把输入当作生 阅读全文