摘要： 一：本单元两次作业的架构设计 第一次作业： 第一次作业要求实现一个MyUmlInteraction类，在数据的存储方面，我的思路是用三种结构来分别存储这些umlelement，这三种结构分别是：(1)直接按elementType分类用hashmap存这些elements。(2)用树状结构存储，存储依 阅读全文

摘要： 一：梳理JML语言的理论基础、应用工具链情况 1.理论 1.1 简介： JML是用于对Java程序进行规格化设计的一种表示语言，是一种行为接口规格语言。 1.2 用法： (1)开展规格化设计。这样交给代码实现人员的将不是可能带有内在模糊性的自然语言描述，而是逻辑严格的规 格。 (2)针对已有的代码实 阅读全文

摘要： 一：设计策略 第一次作业：第一次是单电梯傻瓜调度策略，因此我把调度器当作共享资源对象，有一个put和一个get方法，因为只有一个电梯，并且单次取出和投放一个请求，因此只需要同步控制一下这两个方法是互斥就行了。 第二次作业：第二次作业是单电梯ALS调度策略，为了我的代码能复用到第三次作业，这次我的调度 阅读全文

摘要： 一：基于度量分析自己的程序结构 第一次作业类图以及度量图： 类图分析： 从类图分析，第一次作业虽然方法多，并且方法间只传递信息，但是只有一个类，可以看出第一次作业仅仅是面向过程含有了一些面向对象的思想。 复杂度分析： 由于第一次作业是一个类干完了所有活，所以部分方法的Iv(G)高，意味着这些方法的耦 阅读全文