正确性

从软件工程角度来看，正确性可以定义为遵守规范，这些规范决定了用户如何与软件交互以及软件在正确使用时的行为方式。

如果软件行为不正确，则可能需要相当长的时间才能完成任务，或者有时无法实现该任务。

1. 重要规则

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

• 完全定义问题。
• 开发算法，然后开发程序逻辑。
• 尽可能重复使用经过验证的模型。
• 在设计阶段证明算法的正确性。
• 开发人员应该注意程序的清晰度和简单性。
• 一旦开发出程序，就立即验证程序的每个部分。