06 2018 档案

摘要：一、 测试与正确性论证的效果差异及优缺点 测试：基于前置条件和后置条件对输入划分并抽样产生测试数据，检查方法执行输出 是否满足后置条件 • 优点：易于实施，工程广为采用 • 缺点：无法确保正确性 论证：针对格式化的规格和代码实现，人工方式对代码逻辑进行分析，确认是否所有 满足前置条件的输入都能产生满 阅读全文