lvba

摘要： 关于测试和正确性论证两种方法的比较，两者各有其优缺点。首先，测试能够较为直观地显示程序是否出错，只要给定相应的输入，确定相应的正确输出，只要程序的实际输出与预定的正确输出不符是即可判定程序错误，操作起来较为方便。但是，它也存在一些缺点，比如，对于中型或者大型的程序，是很难用输入数据穷尽程序所有的运行 阅读全文

摘要： 随着第四次出租车作业的结束，整个OO课程最艰难的工程部分就宣告结束了，头发总算是保住了。首先感谢各位测我的dalao没有对本菜鸡儿的代码大开杀戒（诸如报20个JSF错之类的），这还是让我挺高兴的，某些OO中经常出现的很糟心的事情没有发生在我的身上（同时也为遇到了这些事情的同学默哀）。这四次OO作业的 阅读全文

摘要： 自从OO的作业进入了多线程时期起，我感觉自己和周围小伙伴的睡眠开始变得明显不足了。打从我们一开始接触多线程设计起，我们就对这种不同于以往编程的玄学程序抱有极大的不满。类似于这次结果不对，把IDE重启再跑一遍结果就对了的例子数不胜数。不过，好在随着我们对多线程玄学的研究慢慢加深，我们对多线程程序设计方 阅读全文

摘要： 转眼间OO前三次作业就结束了，直到现在还感觉这几周像是在做梦一样。总之就是一句话——信息量太大。首先，OO是个教你写作文但是不教你怎么拿笔的神课；其次，前所未有互评机制给我们带来了许多惊喜与苦闷；再者，OO那非常工程化的作业给我们的充足睡眠造成了不小的挑战。但是，正因为OO这几周给我们带来的巨大信息 阅读全文