2018年6月25日

oo第四次作业

摘要： 一、测试与正确性论证效果差异 虽然测试能够非常直观地找到bug，但是测试的问题在于无法保证程序没有bug，只能保证程序没有被发现的bug。要想证明一段程序没有错误，必然需要测试之外的其它方法来进行证明：即正确性论证。 程序正确性论证是从代码出发进行理论推理来证明代码没有bug。它的优点是全面且能够证 阅读全文

posted @ 2018-06-25 16:55 TechpriestW 阅读(109) 评论(0) 推荐(0) 编辑