第4章（一）-白盒测试方法1-逻辑覆盖法.pptVIP

软件测试 第4章 白盒测试方法 ——逻辑覆盖法 目 录 知识回顾 软件测试技术分类： 按面向测试对象粒度（按开发阶段）分： 按测试方法分： 按运行状态分： 什么是测试用例？由哪些部分组成？？ 这个程序可以用来求什么？？ k = i; for(j = i+1; j = n; j++) { if(A[j] A[k]) k = j;} 回顾：测试用例 引例：为什么要进行白盒测试？ 如果所有软件错误的根源都可以追溯到某个唯一原因，那么问题就简单了。然而，事实上一个bug 常常是由多个因素共同导致的，如下图所示。 黑盒查不到的问题 白盒测试定义 白盒测试将被测程序看作一个打开的盒子，测试者能够看到被测源程序，可以分析被测程序的内部结构，此时测试的焦点集中在根据其内部结构设计测试用例。 又称为 结构测试 或 逻辑驱动测试 白盒测试遵循的原则 采用白盒测试方法必须遵循以下几条原则，才能达到测试的目的： 保证一个模块中的所有独立路径至少被测试一次。 所有逻辑值均需测试真 (true) 和假 (false) 两种情况。 检查程序的内部数据结构，保证其结构的有效性。 在上下边界及可操作范围内运行所有循环。 白盒测试 程序的结构形式是白盒测试的主要依据。 程序结构主要用 流程图 N-S图来表示（p.65） 程序的执行路径数目庞大，让程序的所有路径都执行一次,全面的白盒测试将产生百分之百正确的程序，实际上是不可能的 对一个具有多重选择和循环嵌套的程序，不同的路径数目可能是天文数字。给出一个小程序的流程图，它包括了一个执行20次的循环。 包含的不同执行路径数达520条，对每一条路径进行测试需要1毫秒，假定一年工作365 × 24小时，要想把所有路径测试完，需3170年。 白盒测试方法 白盒测试主要是检查程序的内部结构、逻辑、循环和路径。常用测试用例设计方法有： 逻辑覆盖法（逻辑驱动测试） 基本路径法 此外还有： 循环测试法 程序插桩法 我们主要介绍这几种 A. 逻辑覆盖法 B. 基本路径测试法 C. 循环测试 D. 程序插桩技术 A 逻辑覆盖法 主要是测试覆盖率，以程序内在逻辑结构为基础的测试。包括以下6种类型： 例 子 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】 语句覆盖 语句覆盖率 已执行的可执行语句占程序中可执行语句总