正确性

什么是正确性？

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

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

重要规则：

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

• 彻底定义问题。

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

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

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

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

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