2018年6月25日

oo第四次博客总结
摘要： 1.论述测试与正确性论证的效果差异，比较其优缺点 测试：通过大量测试样例覆盖测试代码，来检测代码功能的实现是否正确是否完善。测试一个程序的正常输入比较容易，但难点就在于大量的非法输入，测试只能发现bug，却不能保证程序正确。正确性论证：通过对代码规格和逻辑的严密分析，推论和证明，来验证代码实现的正确 阅读全文
posted @ 2018-06-25 17:33 16061008 阅读(141) 评论(0) 推荐(0)

导航