苗萌

摘要： 一、测试与正确性论证的比较 程序测试是指测试者特意挑出一批输入数据，通过运行程序，检查每个输入数据所对应的运行结果是否符合预期要求。 正确性证明是论证程序达到预期目的的一般性陈述，而该论证与程序输入数据的特定值无关，能够代表穷举性测试。 （以上内容来自网络） 根据我的理解，测试与正确性比较的最大区别 阅读全文