L__L

摘要： 测试与正确性论证的比较 测试： 测试的难点是构造测试用例分支树，通过执行测试用例查看代码的覆盖情况，能够排查无效的分支和执行错误的分支，从而完善程序。但是构造一个全覆盖的测试用例集往往是比较困难的，而且单个方法或类的执行正确也无法保证程序整体正确性。 正确性论证 ：正确性论证方法根据代码规格等，通过 阅读全文

摘要： OO第三次总结 规格化设计的发展历史和受到重视的原因 ​ 20世纪60年代，软件出现严重的危机，Dijkstra于1968年发表著名的《GOTO有害论》，由此引发了软件界长达数年的论战，并产生了结构化的程序设计方法。随着计算机技术的发展，结构设计化语言和结构化分析已经无法满足用户的需求，OOP由此应 阅读全文

摘要： 设计策略总结 1. 多线程电梯 这次作业我主要设计了Scheduler，三个elevator，input共五个线程。input线程和Scheduler之间用一个请求队列作为共享对象连接。Scheduler和elevator一个单独的共享对象，而是将三个elevator作为Scheduler内部的对象 阅读全文