摘要：
第四次博客 测试与正确性论证测试是通过构造样例运行程序比较结果对代码功能的正确性进行验证，而正确性论证是在规格的基础上进行逻辑上的论证，以确保类和方法的实现符合规格中要求的逻辑。测试直接比较程序的输出和期望结果，比较直观，但需要全面考虑代码要实现的功能，考虑各种可能的情况，进行的测试不一定能够完全覆盖所有可能出现的情况，测试结果不能保证正确。正确性论证根据规格检查程序逻辑，能够较好地保证代码逻... 阅读全文
摘要：
OO第三次博客作业 规格化设计发展历史二十世纪60年代以前，程序设计使用的主要是机器语言、汇编语言等，由于它们是针对特定型号计算机的语言，在不同计算机之间的可移植性差，而且不同计算机一般具有不同的指令系统，使得这类语言可读性极差。二十世纪60年代中后期，软件的数量增多，规模增大，由于缺乏科学规范的系统规划与测试、评估标准，导致大批成本高昂的软件系统由于含有错误无法使用，甚至带来巨大损失。此时人... 阅读全文
摘要：
第五次第七次作业未完成。 第六次作业：文件行为监控 类图： 分析： 这次作业写了四个类，SafeFile和test分别是作业要求的文件安全类和测试类。其他的两个类：Scan用于获取输入并开始监控线程，Target为监控线程。 这次作业的bug还是比较多的，最主要的一个是没有实现对目录的监控，因为将作业中的要求理解成了监控文件夹，而不是目录下的所有文件。所有有关监控目录的分支全部无法实现功能。 ... 阅读全文