摘要： 一、测试与正确性论证的比较 1、 测试的结果一定是正确的，因为测试是在寻找确切的与预期不符的程序运行结果。而正确性论证的效果取决于正确性论证的质量。 2、 相比测试正确性论证要更加全面，测试如果不遵从条理的测试逻辑的话可能会陷入片面，而正确性论证对于程序运行的各个分支各个走向都会加以考虑。 二、OC 阅读全文

摘要： 一、规格发展历史 从20世纪60年代开始，就存在着许多不同的形式规格说明语言和软件开发方法。在形式规格说明领域一些最主要的发展过程列举如下： 1969－1972 C.A.R Hoare撰写了"计算机编程的公理基础（An Axiomatic Basis for Computer Programming 阅读全文

摘要： 面向对象程序第二阶段总结 在第一阶段的任务过后，这一阶段的编程内容引入了更加复杂更加未知的元素——多线程。这三次作业的难度相比前三次难度有明显的提升，而且三次作业都不是一个主题，前后没有联系，因此这三周的工作量相比第一周大了很多，在多线程程序设计中我也遇到了很多的障碍，在很多地方感到自己的计算与考虑 阅读全文

摘要： 面向对象程序第一阶段总结 第一阶段的面向对象设计与构造的练习现在告一段落，这段时间三次编程作业给了我不小的压力，而我也逐步地从一开始的对面向对象、java语言一无所知的状况走到了如今，掌握了一定的面向对象编程技巧。尽管如此，我仍然认为自己对面向对象的思维没有完全理解到位，导致程序的设计在一些点上还是 阅读全文