摘要：
一. 论述测试与正确性论证的效果差异，比较其优缺点。 测试：测试在于从效果上证明程序的正确性，是最直观的判断程序正确性的方法，通过测试程序观察结果即可验证正确性。这样优点在于易于实施，直观，出现问题就代表一定有bug。缺点是很难全面测试完成，不确定是否一定没bug。 正确性论证是针对格式化的规格和代 阅读全文
摘要：
任务一：调研，总结介绍规格化设计的大致发展历史和为什么得到了人们的重视 随着计算机行业的不断发展，工程变得越来越庞大和复杂，不同人在阅读代码时总需要花费很长时间，甚至代码原作者都可能在一段时间后完全忘记代码的意义。这时工程化规格化也慢慢的受到了重视。标准化工作的最终目的就是使企业代码的作用和具体使用 阅读全文
摘要：
学期过半，我们OO课也迎来了第二次总结。在这次作业之前，我们经历了三次难度比之前大得多的作业的洗礼。三次作业都是多线程相关，现在此做出总结报告如下。 三次作业来的设计策略及其变化 这三次作业基本重心都在与多线程的设计和程序本身的考量，并且后两次作业甚至已经不再对输出的格式作出任何要求，所以重心基本全 阅读全文