什么是正确性?

从软件工程的角度来看，正确性可以定义为对规范的遵守，这些规范确定用户如何与软件交互以及正确使用软件时应如何表现。

如果软件的行为不正确，则可能需要花费大量时间才能完成任务，有时甚至无法完成任务。

重要规则：

以下是有效编程的一些重要规则，这些规则是程序正确性理论的结果。

• 完全定义问题。

• 制定算法，然后制定程序逻辑。

• 尽可能重用已证明的模型。

• 在设计阶段证明算法的正确性。

• 开发人员应注意程序的清晰度和简单性。

• 程序的每个部分在开发后立即进行验证。