luyuan521

摘要： 一.测试与正确性论证 测试是用通过构造数据， 让程序在某种特定情况下运行， 观察程序的运行结果和预期结果比较， 来判断在这种情况下程序的正确性。 我们每次作业OO的互测， 以及第13次作业中的JUnit测试， 都是测试的例子。 测试像是把程序， 看成一个黑盒， 不关注其内部具体的实现。 测试往往需要 阅读全文

摘要： 一. 在1960年代末至1970年代初期，出现了一次软件危机：一方面需要大量的软件系统，如操作系统、数据库管理系统；另一方面，软件研制周期长，可靠性差，维护困难。人们希望编写出的程序结构清晰、易阅读、易修改、易验证，即得到良好结构的程序。1968年，北大西洋公约组织（NATO）在西德召开了第一次软件 阅读全文

摘要： oo作业写到现在，只有一句话，很难受。按我的学习方法，首先需要打好基础，这就需要一段时间学习，然后时间就比较紧张了，这样再写的话，前两次的作业就只有来不及写完这个结果了，有时候在想，自己的想法已经有了成熟的模型，然而就是因为对时间与自己手速的错误估计，导致了这种结果的发生。虽然这样，但是我丝毫不后悔 阅读全文

摘要： 自从学了北航的计算机以来，慢慢的懂了一个道理：计算机这门课程中的某些专业课，听别人说有多难你是感觉不来的，只有当你自己亲身体验过那种煎熬之后，才知道什么叫感同身受，什么叫恐怖如斯。 以前对oo这门课就略有耳闻，但是很多学长都以为它的难度不如计组，毕竟有“计组寡，编译鳏”的说法。但是我想说的是，这样的 阅读全文