摘要: 一、测试与正确性论证的比较 同:都是对代码正确性的论证 异: (1)测试: 测试是随机产生满足前置条件的输入,通过比较输出和后置条件,从而论证其正确性。 优:简单易行,对于测试者而言相对容易,可以更快地获得正误反馈,效率高。 劣:测试是随机的,不能全面的覆盖到各个方面,很可能错在未考虑到的bug。 阅读全文
posted @ 2018-06-25 17:22 何两乡 阅读(104) 评论(0) 推荐(0) 编辑
摘要: 一、测试与正确性论证的比较 同:都是对代码正确性的论证 异: (1)测试: 测试是随机产生满足前置条件的输入,通过比较输出和后置条件,从而论证其正确性。 优:简单易行,对于测试者而言相对容易,可以更快地获得正误反馈,效率高。 劣:测试是随机的,不能全面的覆盖到各个方面,很可能错在未考虑到的bug。 阅读全文
posted @ 2018-06-25 17:16 何两乡 阅读(82) 评论(0) 推荐(0) 编辑
摘要: (一)规格化设计的发展 人们在脱离了面向机器的语言,创建了当时看来更高级的面向过程的语言后,大大地提升了编程效率,但一些面向过程的语言中的goto语句极大地限制了程序的规模。规格化程序设计采用子程序(比如函数)、代码区块、for循环以及while循环等结构来替换传统的goto,以此来改善计算机程序的 阅读全文
posted @ 2018-05-30 09:41 何两乡 阅读(178) 评论(0) 推荐(0) 编辑
摘要: 恢复内容开始 四月份的三次作业都是对多线程的学习,从最开始什么也不懂,到后来慢慢理解,慢慢掌握,过程中出了很多问题,但终于是有所收获。 第五次作业: 1、作业介绍 第五次作业与之前的作业一脉相承,增加了多部电梯协同工作的要求,并按照一定的要求把任务分配给电梯线程。 2、设计构思 作业已经明确要求使用 阅读全文
posted @ 2018-05-02 16:04 何两乡 阅读(223) 评论(0) 推荐(0) 编辑
摘要: oo课程的恐怖之处早有耳闻,听前辈们说课程使用的是JAVA语言,可是自己认知里的JAVA仅仅停留在那杯冒着热气的咖啡上,连基本的语法都不会,怎么去面对oo呢?所以第一周就上网找了mooc视频,学习一些基础的东西。可是有些东西,光光掌握语法肯定是不够的,所谓面向对象课程,想教给我们自然是面向对象的编程 阅读全文
posted @ 2018-04-04 15:41 何两乡 阅读(165) 评论(0) 推荐(0) 编辑