摘要:
测试与正确性论证差异 测试与正确性论证差异 测试是直接构造许多的测试样例,通过程序运行这些样例,判断运行结果是否与预期结果相符,从而判断程序的正确性。在前几次的oo测试中,均采用了这种方法,这种方法不关心程序的实现逻辑,仅仅关心程序的输出是否正确,简单直观,与程序实际应用场景更为接近。而正确性论证试 阅读全文
摘要:
规格化设计发展 规格化设计发展 在计算机软件发展的最初阶段,人们对于软件的需求并不算很大。这时候的软件往往逻辑简单,用一些基础的汇编语言就可以轻松的实现所有需求。但是随着计算机行业的发展,计算机处理能力不断提升,软件的复杂度也大幅度提升。为了解决汇编语言编程中遇到的种种不便,人们发明了各式各样的高级 阅读全文
摘要:
作业五 作业五 先放上程序的度量图和程序的类图 这一次作业算是第一次接触多线程,整体还是比较蒙的状态,有很多地方的设计还不能很好的从单线程转换过来,导致这次作业被迫重构了好几次。虽然有一些重构,但是由于整体还是沿用之前的设计,所以各个类与方法之间的职能与界限都不是很清晰。在调度器类里,还是存在一个方 阅读全文