摘要：
一、本单元架构设计 第一次作业 第一次作业任务是完成UML简单类图的解析，创建MyClass类，用于管理类相关数据，包括类的属性、类的方法、类实现的结构等所需要的数据。创建MyOperation类，用于管理方法相关数据，包括方法所包含的参数。创建MyInterface类，用于管理接口相关数据，包括接 阅读全文
摘要：
一、梳理JML语言的理论基础、应用工具链情况 理论基础 定义： JML是用于对Java程序进行规格化设计的一种表示语言 JML基础 关键字解释举例 \result 方法执行后的返回值 \result = p1.getId() == p2.getId(); \old(expr) 相应方法执行前的取值 阅读全文
摘要：
一、从多线程的协同和同步控制方面，分析和总结自己三次作业的设计策略。 第一次作业 多线程的协同：本次作业共有三个线程和请求队列(托盘)，其中MianTread线程用于开始电梯线程EleThread（消费者）和输入线程EleInputThread（生产者）然后结束，输入线程输入请求至托盘，电梯线程从托 阅读全文
摘要：
第一次作业 基于度量的程序结构分析 UML类图 程序架构及设计 程序架构：由于第一次作业仅为项的加减组合形式，所以这次作业本人自己认为并没采取面向对象的编程思想，更多的还是面向过程的思想，这也是本次作业的不足之处，没要考虑到程序的鲁棒性，导致第二次作业必须需要重构。本次作业本人共设置了四个类，其中M 阅读全文