摘要：
测试与正确性论证 测试是检测特定的目标是否符合标准而进行的验证，得出特定的结果。换句话说，测试就是在为代码提供了特定的应用场景，以一定的概率查找出漏洞或错误。它实施起来较简单，但覆盖率和逻辑完整性不如系统的论证。 程序正确性论证是个偏公式化的体系，步骤严格精细，可靠性与稳定性更强，但操作起来具有一定 阅读全文
摘要：
一、规格化设计发展历史 软件规格化方法，最早可追溯到20世纪50年代后期对于程序设计语言编译技术的研究，当时出现了各种语法分析程序自动生成器以及语法制导的编译方法，使编译系统的开发从“手工艺制作方式”发展成具有牢固理论基础的系统方法。规格化设计的研究高潮始于20世纪60年代后期，针对当时所谓的“软件 阅读全文
摘要：
多线程协同与同步控制总结 第一次作业·多线程电梯 初次多线程设计，我根据老师的建议，分别建立了请求模拟器、调度器与电梯运行三种线程。请求模拟器处理输入后将有效请求放入托盘中；调度器的大循环首先扫描托盘，将新的请求加入请求队列，再扫描三部电梯的信息，得到快照，最后循环遍历队列中的所有请求，进行调度，改 阅读全文