瞿安康

摘要： 一、测试与正确性论证的比较 同：都是对代码正确性的论证 异： （1）测试： 测试是随机产生满足前置条件的输入，通过比较输出和后置条件，从而论证其正确性。 优：简单易行，对于测试者而言相对容易，可以更快地获得正误反馈，效率高。 劣：测试是随机的，不能全面的覆盖到各个方面，很可能错在未考虑到的bug。 阅读全文

摘要： 一、测试与正确性论证的比较 同：都是对代码正确性的论证 异： （1）测试： 测试是随机产生满足前置条件的输入，通过比较输出和后置条件，从而论证其正确性。 优：简单易行，对于测试者而言相对容易，可以更快地获得正误反馈，效率高。 劣：测试是随机的，不能全面的覆盖到各个方面，很可能错在未考虑到的bug。 阅读全文

摘要： (一）规格化设计的发展 人们在脱离了面向机器的语言，创建了当时看来更高级的面向过程的语言后，大大地提升了编程效率，但一些面向过程的语言中的goto语句极大地限制了程序的规模。规格化程序设计采用子程序（比如函数）、代码区块、for循环以及while循环等结构来替换传统的goto，以此来改善计算机程序的 阅读全文

摘要： 恢复内容开始 四月份的三次作业都是对多线程的学习，从最开始什么也不懂，到后来慢慢理解，慢慢掌握，过程中出了很多问题，但终于是有所收获。 第五次作业： 1、作业介绍 第五次作业与之前的作业一脉相承，增加了多部电梯协同工作的要求，并按照一定的要求把任务分配给电梯线程。 2、设计构思 作业已经明确要求使用 阅读全文

摘要： oo课程的恐怖之处早有耳闻，听前辈们说课程使用的是JAVA语言，可是自己认知里的JAVA仅仅停留在那杯冒着热气的咖啡上，连基本的语法都不会，怎么去面对oo呢？所以第一周就上网找了mooc视频，学习一些基础的东西。可是有些东西，光光掌握语法肯定是不够的，所谓面向对象课程，想教给我们自然是面向对象的编程 阅读全文