为什么我们需要测试代码

测试对于确保代码执行其预期功能至关重要。

质量评估生产软件根据经验是正确的。这意味着对于开发人员和测试人员列举的用例，应用程序的行为符合预期。

这与已被证明正确的软件形成鲜明对比，后者是一项非常耗时的工作，并且通常是学术研究项目的一部分。我们仍然处于构建正确的软件（经过验证的）的阶段，以展示在这种正确性约束下可以构建哪些类型的系统。