摘要：
一、测试与正确性论证比较 测试是使用测试样例对程序进行检测而正确性论证则是根据代码的逻辑进行验证。 测试想要完全覆盖的难度较大，需要大量的样例才能达到近似的完全覆盖，而正确性论证则不需要花费那么大的精力，只需要根据代码的逻辑和规格进行一系列验证即可。 二者相互补充，相辅相成。正确性论证可能由于一开始 阅读全文
摘要：
规格化设计发展史 程序的规格化设计与程序的结构化、模块化设计密不可分，更是与计算机的发展历史息息相关。自1940年的面向机器编程到之后的面向过程、面向对象编程，代码量不断增加、程序的功能不断变得复杂。因此在二十世纪六十年代人们提出了程序的结构化与模块化设计思想，大大降低了程序开发的困难，之后在二十世 阅读全文
摘要：
OO第五次作业-多线程电梯 1、作业分析 这次作业和前两次不同之处在于多线程的使用，也由此引入了线程的安全性问题，给这次作业造成了一定的麻烦。由于采用多线程，就不能用前两次的方式，先将请求全部输入再进行相关计算，需要一边运行一边计算，因此舍弃了前两次的架构，基本上重新开始规划这次的作业。采用了模拟时 阅读全文
摘要：
首先要吐槽一下，由于某些众所周知的原因，Idea的插件一直装不上，直到今天找到了一个能用的梯子才安装完插件。安装插件比写总结花的时间多太多了。 OO第一次作业可以说是让我一脸懵逼，毕竟在这之前从没有接触过java语言。语法什么的到还是小事，毕竟对于编程语言来说，学会了一种的语法，学习另一种也是不难的 阅读全文