zzpp2333

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