摘要: 一、测试与正确性论证的区别 从哲学的角度来说,正确性论证与测试的关系就像理论与实践的关系一样。 使用测试的方法检验程序正确性确实是一个非常方便可行且广泛运用的方法。可以通过几个简单或复杂的测试样例,迅速地校验程序主要逻辑是否正确,运行结果是否符合预期。但是对于较为复杂的问题来说,测试样例很可能并不能 阅读全文
posted @ 2018-06-25 13:37 SephyLi 阅读(162) 评论(0) 推荐(0) 编辑