正确性

什么是正确性？

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

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

重要规则：

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

• 完全定义问题。

• 开发算法，然后开发程序逻辑。

• 尽可能重用经过验证的模型。

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

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

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