2018年6月22日
OO最后一次博客
摘要： 一、测试与正确性论证比较 测试是使用测试样例对程序进行检测而正确性论证则是根据代码的逻辑进行验证。 测试想要完全覆盖的难度较大，需要大量的样例才能达到近似的完全覆盖，而正确性论证则不需要花费那么大的精力，只需要根据代码的逻辑和规格进行一系列验证即可。 二者相互补充，相辅相成。正确性论证可能由于一开始 阅读全文
posted @ 2018-06-22 10:16 Code_Blocks 阅读(166) 评论(0) 推荐(1) 编辑