摘要：
一.测试与正确性论证 测试是用通过构造数据， 让程序在某种特定情况下运行， 观察程序的运行结果和预期结果比较， 来判断在这种情况下程序的正确性。 我们每次作业OO的互测， 以及第13次作业中的JUnit测试， 都是测试的例子。 测试像是把程序， 看成一个黑盒， 不关注其内部具体的实现。 测试往往需要 阅读全文
摘要：
一. 在1960年代末至1970年代初期，出现了一次软件危机：一方面需要大量的软件系统，如操作系统、数据库管理系统；另一方面，软件研制周期长，可靠性差，维护困难。人们希望编写出的程序结构清晰、易阅读、易修改、易验证，即得到良好结构的程序。1968年，北大西洋公约组织（NATO）在西德召开了第一次软件 阅读全文
摘要：
oo作业写到现在，只有一句话，很难受。按我的学习方法，首先需要打好基础，这就需要一段时间学习，然后时间就比较紧张了，这样再写的话，前两次的作业就只有来不及写完这个结果了，有时候在想，自己的想法已经有了成熟的模型，然而就是因为对时间与自己手速的错误估计，导致了这种结果的发生。虽然这样，但是我丝毫不后悔 阅读全文