摘要: 测试与正确性论证的效果差差异 测试 和 正确性论证 都是对程序进行可靠性的验证。 测试: IEEE提出了对软件测试的定义:使用人工或者自动的手段来运行或测定某个系统的过程,其目的在于检验它是否满足规定的需求或者弄清预期结果和实际结果之间的差别。它是从对程序的实际操作来对运行结果和期望的结果进行比对, 阅读全文
posted @ 2018-06-25 14:27 ZACKERrr 阅读(364) 评论(0) 推荐(0) 编辑