摘要: 测试和正确性论证的效果差异 测试一般分为:功能测试、单元测试、鲁棒性测试、性能测试、回归测试等。测试的优点是操作简单粗暴;缺点是如果测试集不够大可能不能覆盖所有可能出现的场景,也就是说测试不够全面的问题。 正确性论证偏理论,是从逻辑层面分析代码正确性。其优点是能覆盖到代码的所有分支,从而保证代码的正 阅读全文
posted @ 2018-06-25 01:17 _WENSHASHA 阅读(179) 评论(0) 推荐(0) 编辑