Headlights

摘要： 一、论述测试与正确性论证的效果差异 1.测试 测试：基于前置条件和后置条件对输入划分并抽样产生测试数据，检查方法执行输出是否满足后置条件 优点：易于实施，工程广为采用 缺点：无法确保正确性 2.正确性论证 优点：折衷，形式验证与自然语言层次逻辑推理相结合 缺点：无法确保自然语言层次逻辑推理的严谨性 阅读全文