oo第四次博客

测试与正确性论证   测试   所谓测试，简单地说，就是构造测试样例来检测自己的程序是否存在bug。 优点 自主性、针对性强； 结果明朗，有说服力。 缺点 无法全面保证程序没有任何问题。 正确性论证   从代码出发，一句一句地从正面一步步论证自己程序的正确性。 优点 能覆盖到每一条代码，覆盖面广 且正确的情况下能保证程序已实现功能的正确性。 缺点 论证者论证时逻辑可能不严密，且当方法过长时对论证逻

>>阅读原文<<