摘要：
一、测试与正确性论证差异对比 测试，顾名思义，就是用一些有意义或无意义的输入去检测程序的正确性或鲁棒性，因其直观明了所以在写简单的程序时我们能迅速找出bug并加以解决。并且，这种方式是绝对客观的，只要和正确结果不匹配那么程序就一定存在一些问题。测试最大的缺点便是无法完全覆盖所有情况，即使很大的测试数 阅读全文
摘要：
一、规格化设计发展历史 在上世纪60年代，由于程序猿们难以忍受超级难懂的机器语言和稍微好懂一点点的汇编语言，便发明了结构化的程序语言，使得程序猿们能愉快地编写复杂程度适中的程序。但是需求是在不断增长的，渐渐地程序复杂度上涨得超过了人们的想象，使用结构化的程序语言也会无法控制。这时，面向对象的程序设计 阅读全文
摘要：
一、从多线程的协同和同步控制方面，分析和总结自己三次作业来的设计策略及其变化 第五次：这次作业我的策略便是读入指令一个线程、调度器一个线程、电梯三个线程，通过调度器线程将读入指令线程读入的指令分配给三个电梯，而三个电梯则一直在运行，检测是否有指令产生。本次作业完全使用synchronized关键字进 阅读全文