一位采访者问我如何确保一段代码按预期工作。我说要通过所有可能的测试用例来测试代码。还有其他方法可以确定一段代码是否有效？我也在考虑为代码编写数学证明，但我不确定这是否适用于所有类型的代码。
首先，“代码按预期工作”有两个方面：它按指定的方式工作（验证，构建产品权利）并以有用的方式工作（验证，构建正确的产品）。
您已经提到了属于验证的证明。此外，在验证领域也有某些类型的测试，例如单元测试。然后有一些不太正式的验证方法，如静态代码分析。您还可以计入评论（如果它们违反规范）。还有很多。
同样，对于验证，有许多方法，例如构建验收测试的原型。最后，这总是朝着“向客户展示一些东西，看它朝着正确的方向发展”的方向发展。您甚至可以将敏捷开发世界的增量开发放在此类别中。
我非常喜欢这篇文章：http://www.easterbrook.ca/steve/2010/11/the-difference-between-verification-and-validation/