摘要：
一、测试与正确性论证 从第一次作业开始，我们就与测试结下了不解之缘，不管是在自己完成作业的过程中使用各种测试集去覆盖自己的代码，还是在互测的过程中使用一些***钻的测试数据进行针对性测试。测试最核心的部分就是构造好的测试集，通常大家都会根据指导书和讨论区的一些要求进行构造，但是总还是有自己没想到的部分， 阅读全文
摘要：
一、规格化设计 让我们从程序设计的演变分析来看下规格设计 1950年代，第一次分离，主程序和子程序的分离 程序结构模型是树状模型，子程序可先于主程序编写。通过使用库函数来简化编程，实现最初的代码重用。产生基本的软件开发过程：分析—设计—编码—测试，使大型软件系统的开发成为可能 1975—1980年代 阅读全文
摘要：
第五次作业--多线程电梯 1.设计策略 本次多线程电梯作业对之前从未接触过多线程的我们是一个不小的挑战，多线程之间数据的共享，成为了学习过程中最大的障碍。 在我本次作业的架构中，调度器和输入部分共享一个请求队列，三部电梯各自和调度器共享一个小请求队列，对于队列的操作都要通过synchronized获 阅读全文