2018年6月24日
oo第四次博客作业
摘要： 一、测试与正确性论证的比较 测试只能说明程序是在这组样例下，程序是正确的，并不能说明程序本身的正确性 而正确性论证就可以说明程序本身是正确的。 测试的优点在于方便、快捷、有针对性，他可以在短时间内找到程序的错误点。 但是测试无法说明程序是完全正确的。 正确性论证虽然测试的成本高，更难以完成， 但是正 阅读全文
posted @ 2018-06-24 23:17 K_ice 阅读(120) 评论(0) 推荐(0) 编辑