摘要: 1.测试与正确性论证的比较 测试和论证都是验证程序正确性的方法。 测试是在一组测试用例上执行一个程序,并将实际结果与期望结果进行比较以揭示错误的存在,但不会精确地揭示错误所在之处。如果可能输入的集合很小,进行彻底的测试时可能的,但如果输入集合非常大,则彻底的测试时不可能的。测试的优点是易于实施,工程 阅读全文