- 博客(4)
- 收藏
- 关注
RSS订阅转载 OO最后一次博客
一、测试与正确性论证比较 测试是使用测试样例对程序进行检测而正确性论证则是根据代码的逻辑进行验证。 测试想要完全覆盖的难度较大，需要大量的样例才能达到近似的完全覆盖，而正确性论证则不需要花费那么大的精力，只需要根据代码的逻辑和规格进行一系列验证即可。 二者相互补充，相辅相成。正确性论证可能由于一开始设计的错误导致程序运行的错误，而测试则难以覆盖全面，二者相互补充之后便可...
2018-06-22 10:16:00
97
转载 OO第三次总结博客
规格化设计发展史程序的规格化设计与程序的结构化、模块化设计密不可分，更是与计算机的发展历史息息相关。自1940年的面向机器编程到之后的面向过程、面向对象编程，代码量不断增加、程序的功能不断变得复杂。因此在二十世纪六十年代人们提出了程序的结构化与模块化设计思想，大大降低了程序开发的困难，之后在二十世纪八十年代，为了提高程序的规范性，人们逐渐开始对程序进行规范化设计，对每个方法、每个类进...
2018-05-28 17:01:00
131
转载 OO第二次总结-多线程
OO第五次作业-多线程电梯 1、作业分析 这次作业和前两次不同之处在于多线程的使用，也由此引入了线程的安全性问题，给这次作业造成了一定的麻烦。由于采用多线程，就不能用前两次的方式，先将请求全部输入再进行相关计算，需要一边运行一边计算，因此舍弃了前两次的架构，基本上重新开始规划这次的作业。采用了模拟时间的方式和生产者消费者的模型，构造公有对象请求队列作为托盘，调度器和请求输...
2018-04-30 20:31:00
128
转载 OO第一次反思与总结
首先要吐槽一下，由于某些众所周知的原因，Idea的插件一直装不上，直到今天找到了一个能用的梯子才安装完插件。安装插件比写总结花的时间多太多了。 OO第一次作业可以说是让我一脸懵逼，毕竟在这之前从没有接触过java语言。语法什么的到还是小事，毕竟对于编程语言来说，学会了一种的语法，学习另一种也是不难的。主要的还是面向对象的思维，因为之前一直在写面向过程的代码，对面向对象未曾涉...
2018-04-03 00:39:00
113
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人