摘要： 一、测试与正确性论证的比较 1、 测试的结果一定是正确的，因为测试是在寻找确切的与预期不符的程序运行结果。而正确性论证的效果取决于正确性论证的质量。 2、 相比测试正确性论证要更加全面，测试如果不遵从条理的测试逻辑的话可能会陷入片面，而正确性论证对于程序运行的各个分支各个走向都会加以考虑。 二、OC 阅读全文