- 博客(5)
- 收藏
- 关注
RSS订阅转载 面向对象课程 第四次博客总结
一、测试与正确性论证的比较同：都是对代码正确性的论证异：（1）测试： 测试是随机产生满足前置条件的输入，通过比较输出和后置条件，从而论证其正确性。 优：简单易行，对于测试者而言相对容易，可以更快地获得正误反馈，效率高。 劣：测试是随机的，不能全面的覆盖到各个方面，很可能错在未考虑到的bug。（2）正确性论证 论证是哟啊根据规格和代码，进行逻辑分...
2018-06-25 17:22:00
80
转载 面向对象课程 第五次博客总结
一、测试与正确性论证的比较同：都是对代码正确性的论证异：（1）测试： 测试是随机产生满足前置条件的输入，通过比较输出和后置条件，从而论证其正确性。 优：简单易行，对于测试者而言相对容易，可以更快地获得正误反馈，效率高。 劣：测试是随机的，不能全面的覆盖到各个方面，很可能错在未考虑到的bug。（2）正确性论证 论证是哟啊根据规格和代码，进行逻辑分...
2018-06-25 17:16:00
98
转载 面向对象课程 第三次博客总结
(一）规格化设计的发展 人们在脱离了面向机器的语言，创建了当时看来更高级的面向过程的语言后，大大地提升了编程效率，但一些面向过程的语言中的goto语句极大地限制了程序的规模。规格化程序设计采用子程序（比如函数）、代码区块、for循环以及while循环等结构来替换传统的goto，以此来改善计算机程序的明晰性、质量以及开发时间。 随着计算机硬件的飞速发展，应用复杂度越来越高，...
2018-05-30 09:41:00
122
转载 面向对象课程 第二次总结
---恢复内容开始--- 四月份的三次作业都是对多线程的学习，从最开始什么也不懂，到后来慢慢理解，慢慢掌握，过程中出了很多问题，但终于是有所收获。第五次作业： 1、作业介绍 第五次作业与之前的作业一脉相承，增加了多部电梯协同工作的要求，并按照一定的要求把任务分配给电梯线程。 2、设计构思 作业已经明确要求使用多线程，经过初步的学习，在构建电梯类后，构造三...
2018-05-02 16:04:00
94
转载 oo第一次总结
oo课程的恐怖之处早有耳闻，听前辈们说课程使用的是JAVA语言，可是自己认知里的JAVA仅仅停留在那杯冒着热气的咖啡上，连基本的语法都不会，怎么去面对oo呢？所以第一周就上网找了mooc视频，学习一些基础的东西。可是有些东西，光光掌握语法肯定是不够的，所谓面向对象课程，想教给我们自然是面向对象的编程方法。三次作业中，虽然用的是JAVA，但代码的字里行间，赫然是披着JAVA外衣的C。因...
2018-04-04 15:41:00
130
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人