摘要：
一、测试和正确性论证 两个方法各有优缺点，在我看来应当合理结合使用。 测试关注的是结果，论证关注的是过程。在测试的过程中，我们往往采用给定一些样例的形式来让程序自我运行，并判断输出的结果；准确性论证则是要求从程序员的角度出发，论证代码的合理性和正确性。二者其实也有一定的相同之处，即都需要程序员对代码 阅读全文
|
摘要：
一、测试和正确性论证 两个方法各有优缺点，在我看来应当合理结合使用。 测试关注的是结果，论证关注的是过程。在测试的过程中，我们往往采用给定一些样例的形式来让程序自我运行，并判断输出的结果；准确性论证则是要求从程序员的角度出发，论证代码的合理性和正确性。二者其实也有一定的相同之处，即都需要程序员对代码 阅读全文
|