第06章 试.ppt

第 6 章 测 试 概述 1、编码过程测试 2、系统化测试 3、测试自动化 4、测试台 5、应力测试 6、测试秘诀 7、测试者 8、测试马尔可夫程序 概述 定义 在认为程序能够工作的情况下，为设法打败它而设计的一套确定的系统化的试验。 测试不是排错，有问题=排错 一个观点---Edsger Dijstra 测试能够说明程序中的错误，但不能证明程序没有错误 概述(续一) 任何获得正确程序 思考可能的潜在问题 系统化的测试 简单=详细 开始=结束 自动化测试---高效、全面 充分进行?测试 利用各种实践中的技巧 编码过程测试 原则 越早发现越好 软件构造过程中验证简单性质 测试代码的边界条件 定义：检查系统能否在程序和数据的自然边界处正常工作 观点：大部分错误发生在边界上 eg1、模拟fgets的实现 读入字符，当遇到换行或缓冲区满 编码过程测试(续一) 原型 int i; char s[MAX]; for (i = 0; (s[i] = getchar()) != \n) i MAX - 1; ++i) ; s[--i] = \0; 边界条件是什么？ 编码过程测试(续二) 改造1 int i; char s[MAX]; for (i = 0; i MAX - 1; ++i) if (s[i] = getchar()) == \n) break; s[i