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