程序正确是指 程序能够准确无误地完成编写者所期望赋予它的功能。具体来说，对于任何一组允许的输入信息，程序执行后应能得到一组与这组输入信息相对应的正确输出信息。这一定义可以通俗地表述为“做了它该做的事，没有做它不该做的事”。
程序正确性的严格定义可以分为三种类型：
部分正确性：
若对于每个使得特定前提条件为真，并且程序计算终止的输入信息，程序的输出结果也为真，则称程序关于这些前提条件和输出结果是部分正确的。
终止性：
若对于每个使得特定前提条件为真的输入信息，程序的计算都能终止，则称程序关于这些前提条件是终止的。
完全正确性：
若程序满足其前置断言和后置断言，即在程序开始执行之前前置断言为真，程序执行后后置断言也为真，则称程序是完全正确的。
保证程序的正确性通常需要通过数学技术进行正确性证明，以确定软件是否符合其规格说明。此外，程序测试虽然是一种有效的查错手段，但它只能帮助发现程序中的错误，而不能证明程序中没有错误。
综上所述，程序正确性是程序在满足其设计要求并产生预期结果方面的能力，它涉及程序的功能实现、输入输出的正确性、以及程序的终止性等多个方面。