摘要： 1.测试与正确性论证的比较 测试和论证都是验证程序正确性的方法。 测试是在一组测试用例上执行一个程序，并将实际结果与期望结果进行比较以揭示错误的存在，但不会精确地揭示错误所在之处。如果可能输入的集合很小，进行彻底的测试时可能的，但如果输入集合非常大，则彻底的测试时不可能的。测试的优点是易于实施，工程 阅读全文

摘要： 一、规格化设计的大致发展历史及受到重视的原因 在计算机系统发展的初期，由于目的的单一性，软件的通用性是很有限的。大多数软件是由使用该软件的个人或机构研制的，软件往往带有强烈的个人色彩。早期的软件开发也没有什么系统的方法可以遵循。而且，除了源代码往往没有软件说明书等文档。 从60年代中期开始，软件开始 阅读全文

摘要： 通过这三次作业的训练，初步掌握了多线程的设计方法。这三次作业让我对这门课有了更深刻的认识，这门课的确是一门重课，不仅是大难度、高强度，还有它的持久性，吴际老师称其为“昆仑课程”毫不为过。这是身体与心理的双重砺炼。虽然开始有些落后与大部分同学，但经过努力追赶，却也紧紧跟上进度了。 第七次作业--出租车 阅读全文

摘要： （1）感悟 经过三周的学习体验，java的学习从无到有，写出自己的第一个电梯。但是由于毫无基础，所以三次的成绩不太理想，刚开始学起来有点吃力，第一次作业虽然功能实现但是使用的是面向过程，到第二次作业才逐渐理解面向对象的原理，而第三次作业由于时间太紧提交的作业是crash。这种限时提交互相测试的机制很 阅读全文