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