摘要：
1.论述测试与正确性论证的效果差异，比较其优缺点 测试是过去我们常用来测试代码正确性的方法。而第十三次作业编写的junit代码，是对于每个函数，事先写好规格，再基于前置条件和后置条件对输入划分，利用多组测试数据，检查方法输出是否满足后置条件。 优点： 易于找出不符合前置条件后置条件的BUG。 测试有 阅读全文
摘要：
规格化设计的大致发展历史 1960年代末—1970年代初，出现软件危机：对软件系统的大量需求与软件的研制周期长，可靠性差，维护困难的现实情况形成矛盾。于是人们希望编写出的程序结构清晰、易阅读、易修改、易验证，即得到好结构的程序。1968年，北大西洋公约组织召开第一次软件工程会议，分析了危机的局面，研 阅读全文
摘要：
五一假期喜迎OO第二次博客作业。第五次第六次第七次作业都是多线程，从第五次的懵懂，到第六次的仗着synchronized为所欲为，再到第七次的翻车，感觉自己不明白的地方还是太多了，听理论课总是很想睡觉。。就陷入不懂而自知然而还是不懂的循环中。 第五次作业 第五次作业是多线程电梯。因为之前的上帝视角电 阅读全文