Unit testing (广泛的问题)您如何确定一段代码工作正常?

Unit testing (广泛的问题)您如何确定一段代码工作正常?,unit-testing,testing,proof,Unit Testing,Testing,Proof,一位面试官问我如何才能确保一段代码按照预期的方式工作。我说要通过所有可能的测试用例来测试代码。有没有其他方法可以确保一段代码能够正常工作?我也在考虑为代码编写一个数学证明,但我不确定这是否适用于每种类型的代码。首先,代码有两个方面的作用:它作为指定的验证工作,构建正确的产品,并以有用的验证方式工作,构建正确的产品 你提到了证据,它们属于验证。此外,在验证领域中还存在某些类型的测试,例如单元测试。还有一些不太正式的验证方法,比如静态代码分析。如果评审不符合规范,也可以计入评审。还有更多 验证也有很

一位面试官问我如何才能确保一段代码按照预期的方式工作。我说要通过所有可能的测试用例来测试代码。有没有其他方法可以确保一段代码能够正常工作?我也在考虑为代码编写一个数学证明,但我不确定这是否适用于每种类型的代码。

首先,代码有两个方面的作用:它作为指定的验证工作,构建正确的产品,并以有用的验证方式工作,构建正确的产品

你提到了证据,它们属于验证。此外,在验证领域中还存在某些类型的测试,例如单元测试。还有一些不太正式的验证方法,比如静态代码分析。如果评审不符合规范,也可以计入评审。还有更多

验证也有很多方法,比如构建验收测试的原型。最后,这总是朝着向客户展示某些东西的方向发展,让客户看到它朝着正确的方向发展。您甚至可以将敏捷开发世界中的增量开发放在这个类别中


我非常喜欢这篇关于这个主题的文章:

你基本上回答了你自己的问题。任何更详细的讨论都是离题的,伊姆霍。在适当的假设下,证据适用于任何事情。