Loading

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