2018年6月25日
第四次博客
摘要： 第四次博客 测试与正确性论证测试是通过构造样例运行程序比较结果对代码功能的正确性进行验证，而正确性论证是在规格的基础上进行逻辑上的论证，以确保类和方法的实现符合规格中要求的逻辑。测试直接比较程序的输出和期望结果，比较直观，但需要全面考虑代码要实现的功能，考虑各种可能的情况，进行的测试不一定能够完全覆盖所有可能出现的情况，测试结果不能保证正确。正确性论证根据规格检查程序逻辑，能够较好地保证代码逻... 阅读全文
posted @ 2018-06-25 17:18 lemeow 阅读(144) 评论(0) 推荐(0) 编辑