程序正确性证明主要内容程序正确性简介程序测试程序正确性证明内容线索程序正确性简介程序测试程序正确性证明程序的正确性所谓一段程序是正确的,是指这段程序能准确无误地完成编写者所期望赋予它的功能。或者说,对任何一组允许的输入信息,程序执行后能得到一组和这组输入信息相对应的正确的输出信息。通俗地说,“做了它该做的事,没有做它不该做的事”程序正确性的严格定义分为三种类型部分正确性终止性完全正确性如何保证程序的正确性要求1、从编程时就应该尽量地避免和减少错误的发生2、当程序编好后要尽量找出错误,纠正错误避免错误的方法1、程序的结构要简单2、采用标准的软件设计工具、标准的算法手册以及有效的程序设计方法发现错误的方法1、利用测试工具2、利用程序的验证系统程序测试测试是程序的执行过程,目的在于发现错误。一个好的测试用例在于能发现至今未发现的错误;一个成功的测试是发现了至今未发现的错误的测试。“尽早地和不断地进行软件测试”。。。,应当包括合理的输入条件和不合理的输入条件。。即测试后程序中残存的错误数目与该程序中已发现的错误数目成正比。,排除测试的随意性。。,测试用例,出错统计和最终分析报告,为维护提供方便。内容线索程序正确性简介程序测试程序正确性证明简介Floyd不变式断言法Hoare规则公理方法Dijkstra最弱前置条件方法正确性证明测试只能发现程序错误,但不能证明程序无错。即所谓“挂一漏万”。原因:测试并没有也不可能包含所有数据,只是选择了一些具有代表性的数据,所以它具有局限性。正确性证明是通过数学技术来确定软件是否正确,也就是说,是否符合其规格说明。正确性证明的发展
程序正确性证明 来自淘豆网m.daumloan.com转载请标明出处.
