一个面试官问我如何确定一段代码可以按预期工作。我说过要通过所有可能的测试用例来测试代码。还有其他方法可以确保一段代码可以正常工作吗？我也在考虑为代码编写数学证明，但是我不确定这是否适用于每种类型的代码。
答案 0 :(得分：1)
首先，“按预期的方式工作”有两个方面：它按指定方式工作（验证，建立产品权），并以有用的方式工作（验证，建立合适的产品）。
您提到了证明，属于验证。另外，在验证领域中，还有某些类型的测试，例如单元测试。然后，很少有诸如静态代码分析之类的正式验证方法。您也可以考虑评论（如果它们违反规范）。还有更多
用于验证的方法也很多，例如构建验收测试的原型。最后，这总是朝着“向客户展示东西以使其朝着正确的方向”方向发展。您甚至可以将敏捷开发领域的增量开发归为此类。
我非常喜欢这篇关于以下主题的文章：http://www.easterbrook.ca/steve/2010/11/the-difference-between-verification-and-validation/