摘要： 一、测试与正确性论证 测试：从需求出发，构造测试集，给出期望输出，可以证明程序存在bug，但是无法证明程序是正确的 正确性论证：从程序最终实现出发，基于程序逻辑，通过假设、推理、论证，证明程序的正确性。 两相比较下，正确性论证具有更高的严谨性，但是也需要投入更大的时间精力。故两种方法难分高下，有不同 阅读全文

摘要： OO第三单元总结来了，主要针对规格化设计展开~ PART I　规格化设计发展史 大规模复杂系统开发，需要建立程序设计者和使用者的桥梁（契约关系？？？），同时保证程序的正确性及减少软件错误。 >>1950年代——主程序和子程序的分离 >>1975-1980——规格说明和体的分离 >>1995-2000 阅读全文

摘要： 三次作业多线程设计 第五次作业多线程电梯的设计为：输入、总调度器、三部电梯，共5个线程。输入和总调度器从共享对象——请求队列——中获取请求，由总调度器向三部电梯系统派发请求，一个电梯系统本身就是继承的第三次作业的具有捎带功能的（拥有一部电梯的）调度器，可以自行处理派发到电梯系统的一系列请求。 第六次 阅读全文

摘要： 第一次作业 作为一个对面向对象、对java完全一无所知的小白，第一堂OO课我听得十分认真，然而感觉就是听到的每个字都懂，合起来就完全理解不了。老师讲的话在脑海里飘了一圈，然后再飞出脑海，不留下一点痕迹。于是课下做第一次作业的时候我就……很懵逼啊！ 不知所措的我花了一天的时间看“菜鸟教程”速成java 阅读全文