摘要：
1、测试与正确性论证的比较 测试： 效果直观，便于调试，可操作性强，但是覆盖率不如正确性论证。 正确性论证： 覆盖率高，可靠性高，但是可能会忽略代码实现的错误细节，不够直观，篇幅过长，不易于阅读。 比较： 测试和正确性论证都是测试工程的好方法，但是面向对象本身就是一种极为具体化的简单设计思路，正确性 阅读全文
摘要：
规格设计的发展历史 在20世纪60年代，软件设计出现危机，例如 Dijkstra 提出了 goto 语句的种种危害，引发了软件开发领域的长期的论战。在这时间产生了结构化程序设计方法，例如Pascal语言在70年代占有统治地位。 之后，随着计算机软件规模日渐庞大，结构化程序设计方法无法满足用户的需求， 阅读全文
摘要：
作业总结 第五次作业：多线程电梯是较为复杂的电梯，索性调度方法和之前的没有太大区别，所以随便写一写就可以了。样例非常难调，但幸好指导书给的样例很强。在解决了各种精度误差的BUG之后就没有BUG了。 第六次作业：IFTTT是所有作业中指导书嘴不清晰的作业，因此带来了许多困扰。不过由于我比较佛系，就随便 阅读全文