摘要：
oo第四阶段总结 一、关于测试与正确性论证 测试是根据代码功能构造相应的数据，通过结果的正确性来判断代码中是否有bug。 正确性论证是根据代码的规格，以自然语言的形式对代码是否能够实现相应功能、是否能够对相应异常进行处理进行论证。 总的来看，正确性论证更为宏观，适合于大型系统的宏观正确性控制，即对大 阅读全文
摘要：
OO第三阶段总结 一、关于规格化设计 随着程序规模的增大，面向流程式的编程方法的弊端越来越明显，由此产生了面向对象的编程方法。在面向对象的编程过程中，一切皆对象，那么对对象的引用构成了程序的主体，由于大型程序往往是由多个人共同完成的，在互相引用对方所编程的对象的过程中，如果一行一行的去读对方所写的代 阅读全文
摘要：
第五次作业——多线程电梯 一、设计策略 本次作业是我们第一次接触多线程，给程序添加多线程功能后最大的挑战是实现共享数据的安全、避免冲突，由于这次作业是第一次尝试多线程方法，因此采用了将所有方法都加上synchronized修饰符的方法来避免数据冲突。 二、程序结构 由于本次作业完成的比较匆忙，因此并 阅读全文