摘要: 测试与正确性论证差异 测试与正确性论证差异 测试是直接构造许多的测试样例,通过程序运行这些样例,判断运行结果是否与预期结果相符,从而判断程序的正确性。在前几次的oo测试中,均采用了这种方法,这种方法不关心程序的实现逻辑,仅仅关心程序的输出是否正确,简单直观,与程序实际应用场景更为接近。而正确性论证试 阅读全文
posted @ 2018-06-25 17:11 liuhm98 阅读(123) 评论(0) 推荐(0) 编辑
摘要: 规格化设计发展 规格化设计发展 在计算机软件发展的最初阶段,人们对于软件的需求并不算很大。这时候的软件往往逻辑简单,用一些基础的汇编语言就可以轻松的实现所有需求。但是随着计算机行业的发展,计算机处理能力不断提升,软件的复杂度也大幅度提升。为了解决汇编语言编程中遇到的种种不便,人们发明了各式各样的高级 阅读全文
posted @ 2018-05-30 15:57 liuhm98 阅读(174) 评论(0) 推荐(0) 编辑
摘要: 作业五 作业五 先放上程序的度量图和程序的类图 这一次作业算是第一次接触多线程,整体还是比较蒙的状态,有很多地方的设计还不能很好的从单线程转换过来,导致这次作业被迫重构了好几次。虽然有一些重构,但是由于整体还是沿用之前的设计,所以各个类与方法之间的职能与界限都不是很清晰。在调度器类里,还是存在一个方 阅读全文
posted @ 2018-05-01 23:51 liuhm98 阅读(164) 评论(0) 推荐(0) 编辑
摘要: 作业一 作业一 先放上程序的度量图和程序的类图 这一次作业之前,我对JAVA可以说还是零了解,零经验。利用作业刚开始的前一两天恶补JAVA,总算是写出了自己第一个有价值的JAVA程序。回过头来看这次作业的质量,的确不算很高。写起代码来脑子里想得最多的还是C语言,很多思想还都停留在面向过程上。每一个类 阅读全文
posted @ 2018-04-03 18:26 liuhm98 阅读(167) 评论(0) 推荐(0) 编辑