专题：正确性证明

程序正确性证明与程序测试

1.试比较程序正确性证明与程序测试
正确性证明是论证程序达到预期目的的一般性陈述，而该论证与程序输入数据的特定值无关，能够代表穷举性测试。
程序测试是指测试者特意挑出一