MKibera

摘要： 1、测试与正确性论证的比较 测试： 效果直观，便于调试，可操作性强，但是覆盖率不如正确性论证。 正确性论证： 覆盖率高，可靠性高，但是可能会忽略代码实现的错误细节，不够直观，篇幅过长，不易于阅读。 比较： 测试和正确性论证都是测试工程的好方法，但是面向对象本身就是一种极为具体化的简单设计思路，正确性 阅读全文

摘要： 规格设计的发展历史 在20世纪60年代，软件设计出现危机，例如 Dijkstra 提出了 goto 语句的种种危害，引发了软件开发领域的长期的论战。在这时间产生了结构化程序设计方法，例如Pascal语言在70年代占有统治地位。 之后，随着计算机软件规模日渐庞大，结构化程序设计方法无法满足用户的需求， 阅读全文

摘要： 作业总结 第五次作业：多线程电梯是较为复杂的电梯，索性调度方法和之前的没有太大区别，所以随便写一写就可以了。样例非常难调，但幸好指导书给的样例很强。在解决了各种精度误差的BUG之后就没有BUG了。 第六次作业：IFTTT是所有作业中指导书嘴不清晰的作业，因此带来了许多困扰。不过由于我比较佛系，就随便 阅读全文

摘要： 类图 第一次作业 第二次作业 第三次作业 BUG 第一次作业忘记考虑了一点特殊情况，第二次作业没判断Null的情况，第三次作业没有 对别人的评测 测几组比较有标志性的数据，然后读一读代码。经常可以发现BUG。 总结 OO还是很简单的，主要考察工程化写代码的能力，对智商没什么考验，比计组要简单很多。 阅读全文