TJNU-ZT-第四章 测试方法-1(概述和白盒).pptVIP

第四章 测试方法 4.1 软件测试方法概述 两种常用的测试方法 黑盒测试 白盒测试 黑盒测试 这种方法是把测试对象看做一个黑盒子，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书，检查程序的功能是否符合它的功能说明。 黑盒测试又叫做功能测试或数据驱动测试。 黑盒测试方法是在程序接口上进行测试，主要是为了发现以下错误: 是否有不正确或遗漏了的功能? 在接口上，输入能否正确地接受? 能否输出正确的结果? 是否有数据结构错误或外部信息(例如数据文件)访问错误? 性能上是否能够满足要求? 是否有初始化或终止性错误?　 用黑盒测试发现程序中的错误，必须在所有可能的输入条件和输出条件中确定测试数据，来检查程序是否都能产生正确的输出。 但这是不可能的。 假设一个程序P有输入量X和Y及输出量Z。在字长为32位的计算机上运行。若X、Y取整数，按黑盒方法进行穷举测试： 可能采用的 测试数据组： 232×232 ＝264 如果测试一 组数据需要1毫秒，一年工作365× 24小时，完成所有测试需5亿年。 4.2白盒测试 此方法把测试对象看做一个透明的盒子，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。 软件人员使用白盒测试方法，主要想对程序模块进行如下的检查： 对程序模块的所有独立的执行路径至少测试一次； 对所有的逻辑判定，取“真”与取“假”的两种情况都至少测试一次； 在循环的边界和运行界限内执行循环体； 测试内部数据结构的有效性，等。 对一个具有多重选择和循环嵌套的程序，不同的路径数目可能是天文数字。给出一个小程序的流程图，它包括了一个执行20次的循环。 包含的不同执行路径数达520条，对每一条路径进行测试需要1毫秒，假定一年工作365 × 24小时，要想把所有路径测试完，需3170年。 程序的静态测试 源程序静态分析 在静态结构分析中，测试者通过使用测试工具分析程序源代码的系统结构、数据结构、数据接口、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、内部文件调用关系图、子程序表、宏和函数参数表等各类图形图表，可以清晰地标识整个软件系统的组成结构，使其便于阅读与理解，然后可以通过分析这些图表，检查软件有没有存在缺陷或错误。 通常采用以下一些方法进行源程序的静态分析。 （1）生成各种引用表 ① 标号交叉引用表 ② 变量交叉引用表 ③ 子程序（宏、函数）引用表 ④ 等价表 ⑤ 常数表 （2）错误静态分析 错误静态分析主要用于确定在源程序中是否有某类错误或“危险”结构。 ① 类型和单位分析 ② 引用分析 ③ 表达式分析 ④ 接口分析 逻辑覆盖 语句覆盖 判定覆盖 条件覆盖 判定－条件覆盖 条件组合覆盖 路径覆盖。 语句覆盖　 语句覆盖就是设计若干个测试用例，运行被测程序，使得每一可执行语句至少执行一次。(注意：是可执语句，而不是所有可能路径！！) 在图例中，正好所有的可执行语句都在路径L1上，所以选择路径 L1设计测试用例，就可以覆盖所有的可执行语句。 测试用例的设计格式如下【输入的(A, B, X)，输出的(A, B, X)】 为图例设计满足语句覆盖的测试用例是:【(2, 0, 4)，(2, 0, 3)】　 覆盖 ace【L1】 判定覆盖 判定覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次。（只考虑每支都走过一次，而不考虑所有可能路径都走过一次） 判定覆盖又称为分支覆盖。 对于图例，如果选择路径L1和L2，就可得满足要求的测试用例: 【(2, 0, 4)，(2, 0, 3)】覆盖 ace【L1】【(1, 1, 1)，(1, 1, 1)】覆盖 abd【L2】 如果选择路径L3和L4，还可得另一组可用的测试用例:【(2, 1, 1)，(2, 1, 2)】覆盖 abe【L3】【(3, 0, 3)，(3, 1, 1)】覆盖 acd【L4】 条件覆盖 条件覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个判断的每个条件的可能取值至少执行一次。 在图例中，我们事先可对所有条件的取值加以标记。例如， 对于第一个判断： 条件 A＞1 取真为 ，取假为 条件 B＝0 取真为 ，取假为 对于第二个判断： 条件A＝2 取真为 ，取假为 条件X＞1 取真为 ，取假为 测试用例 覆盖分支 条件取值 【(2, 0, 4)，(2, 0, 3)】 L1