摘要：
一.本单元两次作业架构设计 1.第十三次作业 类图 本次作业是对UML类图的解析，在MyUMLInteraction类中存储了所有的基本信息，并构建了Class类和Interface类分别存储类和接口及其中的属性、方法、父类等信息，又构建Operation类存储类中的方法的参数、返回值等信息。数据基 阅读全文
摘要：
一.梳理JML语言的理论基础、应用工具链情况 形式化方法是保证软件正确性和质量的另一种重要方法。目前,许多基于JML[1~3]的验证、调试和测试工具已经非常成熟。 JML是一种为Java量身定做的形式化的行为接口规范语言(BISL),用来规范Java程序模块(如类和接口)的行为及详细设计决策。它沿袭 阅读全文
摘要：
程序分析 第五次作业 第五次作业比较简单，采用了最基础的生产者消费者的模式，由输入提供请求，电梯获取请求并执行，对多线程有了初步的了解。 第六次作业 第六次作业在第五次作业的基础上实现捎带功能，由于我没有完全读懂指导书上对捎带的实现，我对捎带的方法略微做了修改，但总体思路不变，寻找电梯运行方向上的乘 阅读全文
摘要：
一.基于度量来分析自己的程序结构 1.第一次作业 2.第二次作业 3.第三次作业 4.很显然，前两次作业都只有一个类，不过一两百行代码，还停留在大一写c语言的阶段 第三次作业在绝望（指摸鱼）的情况下我选择了逆波兰表达式（梦回数据结构？），复杂度“三高”的方法是用来生成逆波兰表达式的，，， 下次一定不 阅读全文