第2章 白盒测试用例设计课件.ppt

19-Dec-03 Phd Thesis - Haris Baltzakis 第2章：白盒测试用例设计方法 回顾：测试用例 回顾：黑盒测试 白盒测试方法 为什么要进行白盒测试？ 如果所有软件错误的根源都可以追溯到某个唯一原因，那么问题就简单了。然而，事实上一个bug 常常是由多个因素共同导致的，如下图所示。 白盒测试方法 白盒测试方法 白盒测试将被测程序看作一个打开的盒子，测试者能够看到被测源程序，可以分析被测程序的内部结构，此时测试的焦点集中在根据其内部结构设计测试用例。 白盒测试方法又称为 结构测试 或 逻辑驱动测试 白盒测试 程序的结构形式是白盒测试的主要依据。 程序结构主要用 流程图 N-S图来表示 程序的执行路径数目庞大，让程序的所有路径都执行一次,全面的白盒测试将产生百分之百正确的程序，但实际上是不可能的 对一个具有多重选择和循环嵌套的程序，不同的路径数目可能是天文数字。给出一个小程序的流程图，它包括了一个执行20次的循环。 包含的不同执行路径数达520条，对每一条路径进行测试需要1毫秒，假定一年工作365 × 24小时，要想把所有路径测试完，需3170年。 白盒测试方法 白盒测试主要是检查程序的内部结构、逻辑、循环和路径。常用测试用例设计方法有： 逻辑覆盖法（逻辑驱动测试） 基本路径测试方法 此外还有： 循环测试 程序插桩 Z路径覆盖 白盒测试方法 A. 逻辑覆盖法 B. 基本路径测试法 C. 循环测试 D. 程序插桩技术 A。逻辑覆盖法 主要是测试覆盖率，以程序内在逻辑结构为基础的测试。包括以下6种类型： 假设某函数如下： func ( ) { //… if(A1 B==0) X=X/A; if(A==2 || X1) X=X+1; // … } 例 子 L1： ( a ? c ? e ) = {(A1) and (B=0)} and {(A=2) or (X/A1)} = (A1) and (B=0) and (A=2) or (A1) and (B=0) and (X/A1) = (A=2) and (B=0) or (A1) and (B=0) and (X/A1) 例 子 L2： ( a? b ? d ) = not{(A1) and (B=0)} and not{(A=2) or (X1)} = { not (A1) or not (B=0) } and { not (A=2) and not (X1) } = not (A1) and not (A=2) and not (X1) or not (B=0) and not (A=2) and not (X1) 例 子 L3 ：( a? b? e) = not {(A1) and (B=0)} and {(A=2) or (X1)} = { not (A1) or not (B=0)} and {(A=2) or (X1)} = not (A1) and (A=2) or not (A1) and (X1) or not (B=0) and (A=2) or not (B=0) and (X1) 例 子 L4： ( a? c ? d ) = {(A1) and (B=0)} and not {(A=2) or (X/A1)} = (A1) and (B=0) and not (A=2) and not (X/A1) 语句覆盖 原理：如果语句中有错误，仅靠观察不执行可能发现不了. 语句覆盖就是设计若干个测试用例，运行被测程序，使得每一条可执行语句至少执行一次。 在例图中，正好所有的可执行语句都在路径L1上，所以选择路径 L1设计测试用例，就可以覆盖所有的可执行语句。 语句覆盖 规定测试用例的设计格式如下： 【输入的(A, B, X)，输出的(A, B, X)】 为图例设计满足语句覆盖的测试用例是:【(2, 0, 4)，(2, 0, 3)】　 覆盖 a-c-e【L1】 语句覆盖 语句覆盖率 已执行的可执行语句占程序中可执行语句总数的百分比 复杂的程序不可能达到语句的完全覆盖 语句覆盖率越高越好 语句覆盖的优点 检查所有语句 结构简单的代码的测试效果较好 容易实现自动测试 代码覆盖率高 如果是程序块覆盖，则不涉及程序块中的源代码 语句覆盖不能检查出的错误 逻辑运算（、||）错误 判定的第一个运算符“”错写成“||”