程序正确性证明概述.pptxVIP

第5章 程序正确性证明; 5.1 程序正确性概述;计算机程序是算法的一种精确描述，算法的任务是把给定的输入信息变换为所需要的输出信息。 所谓一段程序是正确的，是指这段程序能准确无误地完成编写者所期望赋予它的功能。或者说，对任何一组允许的输入信息，程序执行后能得到一组和这组输入信息相对应的正确的输出信息。 通俗地说，“做了它该做的事，没有做它不该做的事”。;一段程序是错误的，是指： (1)程序完成的事情并不是程序员想要完成的事情； (2)程序员想要程序完成的事情，程序并没有??成。 一般来说，程序中含有错误是很难避免的错误 可能有： （1）设计时的错误； （2）程序编写时的错误； （3）运行时的错误等; ……;如何发现错误或尽量减少错误？ (1)设计程序时尽可能使用结构化程序设计方法，使 程序设计过程规范化和标准化； (2)程序调试或运行时采用测试的方法去跟踪程序的 运行，从而发现与改正错误； (3)利用程序正确性证明的方法检验程序是否正确。 ;1983年IEEE提出的软件工程术语中给软件测试下的定义是：“使用人工或者自动手段来运行或测定某个系统的过程，其目的在于检验它是否满足规定的需求或是弄清预期结果与实际结果之间的差别。” 测试是程序的执行过程，目的在于发现错误。 一个好的测试用例在于能发现至今未发现的错误； 一个成功的测试是发现了至今未发现的错误的测试。;测试的原则;5. 充