oo第四次总结

摘要： 一.总结本单元两次作业的架构设计 1>第一次作业 这次的作业是进行类图的解析，作业中已经将输入输出封装好了，我们所要做的就是设计数据结构，对element进行保存，并且支持相关查询。其实感觉这一单元的作业和第三单元的作业很类似。当然不同之在于说，第三单元训练的是对规格的理解，而这一单元借助上一单元的 阅读全文
posted @ 2019-06-23 16:20 wudilailai 阅读(110) 评论(0) 推荐(0) 编辑

oo第三次总结

摘要： 一、梳理JML语言的理论基础、应用工具链情况 1.JML语言的理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言（Behavior Interface Specification Language，BISL） 阅读全文
posted @ 2019-05-22 16:49 wudilailai 阅读(154) 评论(0) 推荐(0) 编辑

oo第二次总结

摘要： 一二.多线程单部电梯 第一次调度由于可以不限制调度方法，所以直接采用的可携带策略。因此，这一二两次作业改动不大，放在一起分析 1.设计策略 因为只有单电梯，所以这两次作业的都是采用两个线程的方式。一个是输入线程，这里设计得比较简单，直接将主线程作为输入线程。还有一个是电梯控制线程。这两个线程由一个需 阅读全文
posted @ 2019-04-22 22:25 wudilailai 阅读(130) 评论(0) 推荐(0) 编辑

oo第一次总结

摘要： 基于度量来分析程序结构 借鉴其它博客，利用IntelliJ自带Diagrams和MetricsReloaded插件来分析程序结构 主要的量度有以下三种， ev(G)：即Essentail Complexity，用来表示一个方法的结构化程度，范围在$[1,v(G)]$之间，值越大则程序的结构越“病态” 阅读全文
posted @ 2019-03-24 21:14 wudilailai 阅读(190) 评论(0) 推荐(0) 编辑