摘要： 一、论述测试与正确性论证的效果差异，比较其优缺点 测试：即设计测试用例（测试数据+预期结果）对程序评测。一般而言，如果想要全方面的对一个程序进行评测，则需要较为完善的测试集做支撑，以便能够覆盖所有的可能情况。显然，这对测试集的设计要求很高，需要在了解程序设计思路以及实现的具体功能的基础上，考虑得很全 阅读全文