摘要: 4 1.测试与正确性论证的比较 这两者在我看来不可比较。前者是对代码正确性的验证,是对代码实际运行结果与预期运行结果的比较。后者是检查代码逻辑与规格逻辑的一致性。 在我看来,前者的优点在于,当“预期”具有正确性时,它可以确确实实地保证代码的正确性。缺点在于,“预期”本身有时候难以得到,当程序过于庞大 阅读全文
posted @ 2018-06-25 11:18 青所 阅读(156) 评论(0) 推荐(0) 编辑