斗羽

摘要： 一、 论述测试与正确性论证的效果差异，比较其优缺点 测试是面对程序，构造样例进行验证，让程序运行，观察程序的运行结果和预期结果比较，来判断在这种情况下程序的正确性。有点像形式验证。 优点：相对容易，比较直观 缺点：不能保证绝对正确 正确性是根据规格推断程序的逻辑，检测是否完成任务。类似于逻辑验证。是 阅读全文