摘要： 测试与正确性论证 测试根据各种在合理范围内的情况构造对应的测试样例来对程序进行覆盖性测试。 正确性论证则是通过严谨的逻辑语言来对程序达到预期目标的一般性描述。 测试的优点是可以直接对程序进行检查，缺点是没有办法保证测试覆盖全面。 正确性论证优点是可以通过更一般的论证来覆盖程序，能够代表测试穷举性测试 阅读全文

摘要： 调研规格化 历史 在20世纪50年代，软件伴随着第一台电子计算机的问世诞生了。以写软件为职业的人也开始出现，他们多是经 过训练的数学家和电子工程师。 1960年代美国大学里开始出现授予计算机专业的学位，教人们写软件。 在计算机系统发展的初期，由于目的的单一性，软件的通用性是很有限的。大多数软件是由使 阅读全文

摘要： 第五次作业——多线程电梯 作业概述：第五次作业是在第三次作业的基本上增加多线程的概念，说起来好像挺容易的，但其实真正做起来花费了很多时间，最先开始，我对于多线程的印象只有老师在课堂上讲的概念和简单的例子，所以要上网查找很多关于多线程的知识，然后从简单的实例锻炼开始学习。因为我第三次的电梯事实上是脑补 阅读全文

摘要： OO博客作业 一． 第一次作业 1、程序主体 第一次作业实现一个可以计算多个多项式的加减的模拟计算器。在读入数据时，我学习了JAVA中正则表达式的使用来匹配输入的字符串格式，以及分割匹配不同部分以供后面的计算使用。由于当时对JAVA的编程并不了解，所以并没有使用面向对象的思想方法来写，而是在处理数据 阅读全文