摘要：
一、第四单元架构设计 在第一次仅针对类图的作业中，我虽然正确实现了功能，但是整个架构的设计并不好，没有按照各个元素的层次关系建立各种类，而是把所有的元素信息以HashMap的形式都存到了一个类中，导致整体代码风格不佳，阅读体验不能令人满意。 第二次作业在上一次的基础上增加了状态图和顺序图以及三种规则 阅读全文
摘要：
一、关于JML 要求：梳理JML语言的理论基础、应用工具链情况 JML JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。通过JML及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMT Solver等工具以静态方式来检查代码实现对规格的 阅读全文
摘要：
一、设计策略分析与总结 第一次作业：设计策略很简单，共有四个类：Main、InputRequest、Scheduler、Elevator。其中InputRequest不断把输入进来的请求传给Scheduler，保存在一个请求队列中；对于Elevator，每执行完一条请求就向Scheduler拿一条新 阅读全文
摘要：
基于度量的程序结构分析 这里用IDEA自带的UML功能和MetricsReloader插件进行分析。 方法的复杂度分析主要基于循环复杂度的计算。循环复杂度是一种表示程序复杂度的软件度量，由程序流程图中的“基础路径”数量得来。 ev(G)：即Essentail Complexity，用来表示一个方法的 阅读全文