摘要：
一、论述测试与正确性论证 单元测试的特点是：针对程序编写测试代码、从结果验证、保证基本模块的正确性； 正确性论证的特点是：通过分析代码进行逻辑论证、从原理验证、保证了基本模块和整体的正确性。 对比两者，测试能更准确、快速地发现bug，验证过程更模块化，便于不同的程序员对同一个程序进行交互；正确性论证 阅读全文
摘要：
一、调研，然后总结介绍规格化设计的大致发展历史和为什么得到人们的重视 （1）规格化设计的大致发展历史 规格化设计与结构化、模块化设计密不可分，伴随着OOP语言的发展，规格化设计思想逐渐形成体系，慢慢完善。从1940年的面向机器编程，到之后的面向过程编程，逐渐出现了我们现在使用的各个语言的原始版本。而 阅读全文
摘要：
一、第五次作业分析 （1）设计策略及其变化 第五次作业是多线程电梯，这也是第一次接触多线程，我采用的是ppt中的设计方法，将前两次的请求队列变成一个作为共享资源的托盘类，调度器不断扫描请求队列向满足电梯队列中增加请求，同时三个电梯线程根据分配到的指令运动并且不断更新自己的状态。托盘类也进行了线程安全 阅读全文