基本概念一程序正确性的定义 段程序是正确的,是指这段程序能正确无误地完成程 序设计时所期望的功能。或者说:对任何一组允许的输入信 息,程序执行后能得到一组和这组输入信息相对应的正确的 输出信息。程序的正确性是衡量一个程序是否优秀的最基本 条件。 段程序是错误的,是指(1)程序完成的事情并不是程序 员想要完成的事情;(2)程序员想要程序完成的事情,程 序并没有完成。 一般来说,程序中含有错误是很难避免的。错误可能有(1 设计时的错误;(2)程序编写时的错误;(2)运行时的错 误等。 发现错误或尽量减少错误,是程序设计人员的努力方向,更 是其职责。基本概念－程序正确性的定义 ◼ 一段程序是正确的，是指这段程序能正确无误地完成程 序设计时所期望的功能。或者说：对任何一组允许的输入信 息，程序执行后能得到一组和这组输入信息相对应的正确的 输出信息。程序的正确性是衡量一个程序是否优秀的最基本 条件。 ◼ 一段程序是错误的，是指（1）程序完成的事情并不是程序 员想要完成的事情；（2）程序员想要程序完成的事情，程 序并没有完成。 ◼ 一般来说，程序中含有错误是很难避免的。错误可能有（1） 设计时的错误；（2）程序编写时的错误；（2）运行时的错 误等。 ◼ 发现错误或尽量减少错误，是程序设计人员的努力方向，更 是其职责