摘要： 一、总结本单元两次作业的架构设计 1. 第一次作业 第一次作业要求解析UML类图，实现查询功能。由于输入的UML元素是无序的，比较散乱，可以通过id和parentId等联系将输入的无序元素组合成一个树状结构。树的顶层结构是UmlClass和UmlInterface，其下层是UmlAttribute/ 阅读全文

摘要： 一、JML知识梳理 JML是用于对java程序进行规格化设计的一种表示语言，通过JML及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMT Solver等工具以静态方式来检查代码实现对规格的满足情况。 JML理论基础 JML理论基础 1. 注释结构 JML以注释的方式表示规格，每行都以@起 阅读全文

摘要： 一、第一次作业——FAFS调度 1.设计策略 第一次作业要求模拟单部电梯的FAFS傻瓜调度，我采用共享对象实现多线程的同步控制。程序由输入线程和电梯线程两个线程组成，其中，输入线程作为主线程。采用了生产者-消费者模式，将调度器作为共享对象（类似于生产者-消费者模式中的托盘），并装有请求队列，输入线程 阅读全文

摘要： 一．基于度量的程序结构分析 在进行分析之前，先解释一下以下几个缩写： LOC：代码行数 CC：圈复杂度，反映了程序中if/while等判定条件的数量，越高意味着代码越可能质量低且难以测试、维护。 PC：方法参数个数 NOF：类的属性个数 NOPF：类的public属性个数 NOM：类的方法个数 NO 阅读全文