liuhm98

摘要： 测试与正确性论证差异 测试与正确性论证差异 测试是直接构造许多的测试样例，通过程序运行这些样例，判断运行结果是否与预期结果相符，从而判断程序的正确性。在前几次的oo测试中，均采用了这种方法，这种方法不关心程序的实现逻辑，仅仅关心程序的输出是否正确，简单直观，与程序实际应用场景更为接近。而正确性论证试 阅读全文

摘要： 规格化设计发展 规格化设计发展 在计算机软件发展的最初阶段，人们对于软件的需求并不算很大。这时候的软件往往逻辑简单，用一些基础的汇编语言就可以轻松的实现所有需求。但是随着计算机行业的发展，计算机处理能力不断提升，软件的复杂度也大幅度提升。为了解决汇编语言编程中遇到的种种不便，人们发明了各式各样的高级 阅读全文

摘要： 作业五 作业五 先放上程序的度量图和程序的类图 这一次作业算是第一次接触多线程，整体还是比较蒙的状态，有很多地方的设计还不能很好的从单线程转换过来，导致这次作业被迫重构了好几次。虽然有一些重构，但是由于整体还是沿用之前的设计，所以各个类与方法之间的职能与界限都不是很清晰。在调度器类里，还是存在一个方 阅读全文

摘要： 作业一 作业一 先放上程序的度量图和程序的类图 这一次作业之前，我对JAVA可以说还是零了解，零经验。利用作业刚开始的前一两天恶补JAVA，总算是写出了自己第一个有价值的JAVA程序。回过头来看这次作业的质量，的确不算很高。写起代码来脑子里想得最多的还是C语言，很多思想还都停留在面向过程上。每一个类 阅读全文