摘要： 一、测试与论证 1、测试是从实践检验真理的维度对程序的各方面进行有效性验证，常用的方法是通过对输入的划分进行覆盖性测试，模拟实际的使用情况，验证其功能性，鲁棒性和安全性等等。 一个好的覆盖测试对问题的揭露是直接而有力的，其纠错能力是毋庸置疑的，相较于正确性论证，测试具有更好的可操作性和可实现性。 但 阅读全文