程序正确性证明.ppt

该【程序正确性证明 】是由【tanfengdao】上传分享，文档一共【62】页，该文档可以免费在线阅读，需要了解更多关于【程序正确性证明 】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。程序正确性简介
程序测试
程序正确性证明
第5章 程序的正确性证明
主要内容
202X
01
程序正确性简介
点击此处添加正文，文字是您思想的提炼
02
程序测试
点击此处添加正文，文字是您思想的提炼
03
程序正确性证明
点击此处添加正文，文字是您思想的提炼
内容线索
程序的正确性
所谓一段程序是正确的，是指这段程序能准确无误地完成编写者所期望赋予它的功能。
或者说，对任何一组允许的输入信息，程序执行后能得到一组和这组输入信息相对应的正确的输出信息。
通俗地说，“做了它该做的事，没有做它不该做的事”
程序正确性的严格定义分为三种类型
部分正确性
终止性
完全正确性
如何保证程序的正确性
从编程时就应该尽量地避免和减少错误的发生
当程序编好后要尽量找出错误，纠正错误
要求
程序的结构要简单
采用标准的软件设计工具、标准的算法手册以及有效的程序设计方法
避免错误的方法
利用测试工具
利用程序的验证系统
发现错误的方法
1
2
3
内容线索
程序正确性简介
程序测试
程序正确性证明
测试是程序的执行过程，目的在于发现错误。
一个好的测试用例在于能发现至今未发现的错误；
一个成功的测试是发现了至今未发现的错误的测试。
测试的原则
1. 应当 “尽早地和不断地进行软件测试” 。
2. 测试用例应由测试输入数据和对应的预期输出结果组成。
3. 程序员应避免检查自己的程序。
4. 在设计测试用例时，应当包括合理的输入条件和不合理的输入条件。
5. 充分注意测试中的群集现象。即测试后程序中残存的错误数目与该程序中已发现的错误数目成正比。
6. 严格执行测试计划，排除测试的随意性。
7. 应当对每一个测试结果做全面检查。
8. 妥善保存测试计划，测试用例，出错统计和最终分析报告，为维护提供方便。
程序测试
程序测试的过程…
…程序测试的过程
两种常用的测试方法
黑盒测试
这种方法是把测试对象看做一个黑盒子，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书，检查程序的功能是否符合它的功能说明。
黑盒测试又叫做功能测试或数据驱动测试。
白盒测试
此方法把测试对象看做一个透明的盒子，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。
通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。因此白盒测试又称为结构测试或逻辑驱动测试。
程序测试的方法
单击此处可添加副标题
黑盒测试方法是在程序接口上进行测试，主要是为了发现以下错误:
是否有不正确或遗漏了的功能?
在接口上，输入能否正确地接受? 能否输出正确的结果?
是否有数据结构错误或外部信息(例如数据文件)访问错误?
性能上是否能够满足要求?
是否有初始化或终止性错误?　
用黑盒测试发现程序中的错误，必须在所有可能的输入条件和输出条件中确定测试数据，来检查程序是否都能产生正确的输出。
但这是不可能的。
黑盒测试…