摘要： 一、测试与正确性论证的区别 测试：在之前的编程学习中，我们验证程序是否正确的方法一般就是测试，自己先埋头写一通，写的差不多了输入一个测试样例，如果能够成功输出就算自己的程序正确，如果没有正确输出就debug，改对为止。这种测试的方法在一开始的学习过程中并没有什么问题，因为一开始接触编程的时候都是一些 阅读全文