2018年6月25日
第四次博客
摘要： 测试与正确性论证： 测试的目的是将程序的代码做到全覆盖，从而确保每个分支都运行一遍，进而分析代码中是否有错误，错误出在哪里。这个方法是实用的，但不是完备的。而正确性论证则通过大量的穷举，基于repOK和jsf来论证正确性，是逻辑层次的，可以说绝对正确，但相对复杂。私以为，二者的区别在于，测试可以说明 阅读全文
posted @ 2018-06-25 19:06 贰仟 阅读(130) 评论(0) 推荐(0) 编辑