摘要：一、测试与正确性论证 1、效果差异 测试是从代码的功能性上进行测试，而正确性论证是从逻辑上进行论证。逻辑上正确，不一定代码的功能就能完全实现。相反，功能上实现的很好，但是不一定代码本身的逻辑和结构就能解释的很清楚 2、各自的优缺点 测试上更直观，但是需要构建大规模测试样例，容易出现疏漏。 正确性论证 阅读全文
OO第三次博客
2018-05-30 00:03 by ankifrog, 162 阅读, 0 推荐, 收藏, 编辑
摘要：一、规格化设计的发展历史以及为什么得到重视 规格的历史： 从20世纪60年代开始，就存在着许多不同的形式规格说明语言和软件开发方法。在形式规格说明领域一些最主要的发展过程列举如下： 1969－1972 C.A.R Hoare撰写了"计算机编程的公理基础（An Axiomatic Basis for 阅读全文
OO第二次博客
2018-05-01 17:58 by ankifrog, 186 阅读, 0 推荐, 收藏, 编辑
摘要：电梯多线程 设计策略： 由于此次的电梯要求完全模拟现实中的情况，所以主要对电梯的运动方式做了变动，以前是接到请求以后立即转变状态并判断捎带请求，而且由于只有一部电梯，电梯的等待列表是确定的。这次由于有三部电梯，电梯的等待列表也是即时输入的，所以电梯的等待列表需要即时更新，等待列表中哪条请求可以被捎带 阅读全文
OO第一次博客
2018-04-03 23:15 by ankifrog, 152 阅读, 0 推荐, 收藏, 编辑
摘要：首先生成三次作业的类图并对代码进行度量分析。 第一次作业 1.类图 完全没有OO的感觉……更像是一个功能很多的方法集合 优点：无 缺点：类过于单一（就一个），功能臃肿 2.度量分析 逻辑比较简单，出现问题不大。 3.自身BUG分析 由于对正则表达式不够熟悉，我采取使用split分割原字符串，之后存到 阅读全文