06 2018 档案

摘要:1.论述测试与正确性论证的效果差异,比较其优缺点 测试:通过大量测试样例覆盖测试代码,来检测代码功能的实现是否正确是否完善。正确性论证:通过对代码规格和逻辑的严密分析,推论和证明,来验证代码实现的正确性。因此,测试能够通过测试结果,直观的判断出程序是否错误。但是又因为难以构造覆盖完整的测试集,所以不 阅读全文
posted @ 2018-06-25 15:31 wzqyekong 阅读(97) 评论(0) 推荐(0) 编辑