摘要： 一、测试与正确性论证的效果差异 （一）测试 基于前置条件和后置条件对输入划分并产生抽样测试数据，检查方法执行输出是否满足后置条件。 优点：实现相对容易，只需要不断构造测试样例进行测试即可。 缺点：1.覆盖性较差，某些bug可能很难通过测试查出来。 2.利用测试对于多线程程序来说，一些bug无法复现， 阅读全文

摘要： OO课程第三次总结 一、规格化设计调研 （一）规格化设计的发展历史 规格化设计的发展历史和计算机程序通用性增强有关。早期的程序功能单一，编制后基本不进行维护和修改，因此设计的规范未成为程序编写的阻碍。但随着计算机系统的飞速发展，软件的功能大大提升，由此带来的就是对程序可扩展性，可维护性的需求不断增加 阅读全文

摘要： 一、三次作业的设计策略及其变化 第五次作业是直接按照消费者生产者模型写的，我将这个模型用在了输入处理线程和调度器线程以及调度器线程和电梯线程之间。因为在ppt上，老师已经将大体思路告诉我们，所以我的主要精力是放在设计的实现上。第六次作业设计成对每一个合法的监视请求都单开线程，但锁文件成了麻烦。第七次 阅读全文

摘要： 第一次作业 一、程序结构分析 （一）Metrics分析结果 （二）类图 第一次作业虽然在Metrics分析结果中没有被标红的项目，但还是能看到其圈复杂度以及块嵌套深度较高。原因主要是在Polynomial类内的构造方法、addPoly方法和subPoly方法中，大量的if/else、for与whil 阅读全文