2018年6月25日

摘要: 1.论述测试与正确性论证的效果差异,比较其优缺点 测试是指依据方法规格分情况构造测试数据来验证输出与输入是否有正确的对应关系 优点在于能够在很短的时间内暴露程序的错误 缺点在于只能暴露程序的错误,不能彻底地证明程序的正确性 正确性论证是人工对代码实现逻辑的正确性进行论证 优点在于覆盖了所有可能的情况 阅读全文

posted @ 2018-06-25 17:48 Groexhy 阅读(185) 评论(0) 推荐(0) 编辑