第四次总结

测试与正确性论证正确性论证:基于理论的,通过逻辑上证明程序的正确性. 好处: 测试不能包括无限的全集,但是通过正确性论证可以取到所有的数据情况,来从理论上证明程序的正确性缺点: 不能严格保证程序的正确性,完全可能出现理论正确但实际上却有实现错误的情况出现,正确性论证不能保证程序的实际正确性.理论