第6章软件测试概论.pptVIP

* 第6章 软件测试 第 * 页 北京理工大学计算机系 软件测试基础 白盒测试 黑盒测试 白盒测试和黑盒测试的比较 软件测试基础 为什么要进行软件测试？ 软件测试是在软件开发过程中保证软件质量、提高软件可靠性的最主要的手段之一。 它是软件系统在正式交付用户使用前，对系统分析、设计、代码等开发工作的最后检查和复审。 软件测试基础 对于软件测试的定义，有如下不同的描述： IEEE（1983）：使用人工或自动运行测试系统的过程，其目的在于检验系统是否满足用户需求，或找出预期结果与实际运行结果间的差别，发现程序错误。 Glen Myers：软件测试为了发现错误而执行程序的过程。 从软件质量和可靠性角度理解，软件测试是为保证软件质量、提高软件可靠性的活动，它应用测试理论和技术，发现程序中的错误和缺陷而实施的过程。 E.W.Dijkstra 指出——程序测试能证明错误的存在,但不能证明错误不存在。 测试的目的是发现程序中的错误,是为了证明程序有错,而不是证明程序无错。 测试的目的与地位 把证明程序无错当作测试目的不仅是不正确的, 完全做不到的，而且对做好测试没有任何益处，甚至是十分有害的。软件测试要设法使软件发生故障,暴露软件错误。 测试的“成功”与“失败”： 能够发现错误的测试是成功的测试，否则是失败的测试。 软件测试基础 例：程序Triangle，输入三个整数，表示一个三角形的三个边长，该程序产生一个结果，指出该三角形是等边三角形、等腰三角形还是不等边三角形。 为说明其能正确执行它的功能，可使用测试用例“(3,4,5),(5,5,6),(6,6,6)” ，程序都能给出正确结果，是否就可认为程序是正确的？ 假定上述程序在32位机上运行，穷举所有测试数据组(a,b,c)的数目为：232 × 232 × 232 = 296。如果1毫秒执行一次测试，大约需要261年。 软件测试基础 软件错误分类 功能错(需求分析错误) 软件结构错（设计阶段） 数据错（数据库设计） 编码错（代码实现） 软件集成错（代码实现和测试） 测试定义与测试执行错误 软件测试技术?? 软件错误分类 测试的方法与技术 黑盒测试 白盒测试 专门环境和应用测试 软件测试基础?? 桌前检查 代码会审 步行检查 软件测试的 策略和方法 静态测 试方法 动态测 试方法 白盒测试方法 黑盒测试方法 逻辑覆盖准则 (1)语句覆盖 (2)判定覆盖 (3)条件覆盖 (4)判定/条件覆盖 (5)条件组合覆盖 (6)点覆盖 (7)边覆盖 白盒测试 白盒测试——逻辑覆盖 黑盒测试 等价类的划分 边界值分析法 错误推测法 黑盒测试 黑盒测试又称功能测试或行为测试，它主要根据设计说明中的功能设计来测试程序能否按预期实现。 黑盒测试的目的是尽量发现系统功能中的错误。常见的系统功能错误有以下几类： 功能不正确或不完整； 界面或接口错误； 数据结构错误； 访问外部数据库错误； 性能不满足需求； 初始化或终止系统时的错误。 黑盒测试——划分等价类的规则 对于常见的数据分析，如特殊数值、区间值、布尔值等，结合各类经验，有以下原则辅助确定等价类： ⑴ 如果定义了输入数据的取值范围（如[a. b]），则可划分一个有效等价类（[a. b]间的数据集）和两个无效等价类（-∞, a）以及（b, +∞）。 黑盒测试 例 输入条件规定：项数可从1到999 1 999 有效 等价类 无效 等价类 999 无效 等价类 1 黑盒测试——划分等价类的规则 ⑵ 如果规定了输入数据的个数（如N个），则可以划分出一个有效等价类（1～N之间）和两个无效等价类（0个）或（N+M个数据）。 黑盒测试 例如，在C语言中，对变量标识符规定“以字母或者下划线开头的串”。那么所有以字母开头的串构成有效等价类，而不在此集合内（不以字母开头）的归于无效等价类。 黑盒测试——划分等价类的规则 ⑶ 如果规定输入数据是特殊值，则特殊值集合是有效等价类，其余取值构成一个无效等价类。 ⑷ 如果输入数据是布尔量，则可划分出一个有效等价类和一个无效等价类。 ⑸ 如果定义了输入数据的规则，则可划分出一个符合规则的有效等价类和一个违反规则的无效等价类。 ⑹ 如果输入的数据是整型，则可划分负数、零和正数三个有效等价类。 ⑺ 对于上述各自划分的有效等价类和无效等价类，可以根据不同角度、规则、程序处理方式等各方面入手，再细分为若干有效或无效的等价子类。 黑盒测试 第一步：根据输入数据，划分待测问题的等价类，并对每个等价类进行编号； 第二步：优化等价类（