白盒测试技术ppt课件

第2章白盒测试技术 1 2 1白盒测试方法2 2白盒测试的基本概念2 3覆盖测试2 4路径测试2 5最少测试用例数计算 2 本章教学目标 理论环节学习理解白盒测试方法的基本概念学习理解白盒测试的覆盖理论学习掌握白盒测试的路径表达学习掌握白盒测试的基本路径测试法实践环节通过案例运用学习掌握覆盖问题的解决方法运用基本路径测试方法进行实际程序测试 3 2 1白盒测试方法 为什么要进行白盒测试 如果所有软件错误的根源都可以追溯到某个唯一原因 那么问题就简单了 然而 事实上一个bug常常是由多个因素共同导致的 如下图所示 Return 假设此时开发工作已结束 程序送交到测试组 没有人知道代码中有一个潜在的被0除的错误 若测试组采用的测试用例的执行路径没有同时经过x 0和y 5 x进行测试 显然测试工作似乎非常完善 测试用例覆盖了所有执行语句 也没有被0除的错误发生 4 白盒测试方法 续 白盒测试也称结构测试或逻辑驱动测试 是针对被测单元内部是如何进行工作的测试 它根据程序的控制结构设计测试用例 主要用于软件或程序验证 白盒测试法检查程序内部逻辑结构 对所有逻辑路径进行测试 是一种穷举路径的测试方法 但即使每条路径都测试过了 仍然可能存在错误 因为 穷举路径测试无法检查出程序本身是否违反了设计规范 即程序是否是一个错误的程序 穷举路径测试不可能查出程序因为遗漏路径而出错 穷举路径测试发现不了一些与数据相关的错误 5 白盒测试方法 续 采用白盒测试方法必须遵循以下几条原则 才能达到测试的目的 保证一个模块中的所有独立路径至少被测试一次 所有逻辑值均需测试真 true 和假 false 两种情况 检查程序的内部数据结构 保证其结构的有效性 在上下边界及可操作范围内运行所有循环 6 白盒测试主要是检查程序的内部结构 逻辑 循环和路径 常用测试用例设计方法有 逻辑覆盖法 逻辑驱动测试 基本路径测试方法 7 2 2白盒测试的基本概念 2 2 1控制流图2 2 2环形复杂度2 2 3图矩阵 Return 8 2 2 1控制流图 控制流图 可简称流图 是对程序流程图进行简化后得到的 它可以更加突出的表示程序控制流的结构 控制流图中包括两种图形符号 节点和控制流线 对于复合条件 则可将其分解为多个单个条件 并映射成控制流图 常见结构的控制流图 9 常见结构的控制流图 节点由带标号的圆圈表示 可代表一个或多个语句 一个处理框序列和一个条件判定框 假设不包含复合条件 控制流线由带箭头的弧或线表示 可称为边 它代表程序中的控制流 其中 包含条件的节点被称为判定节点 也叫谓词节点 10 2 3覆盖测试 2 3 1测试覆盖率2 3 2逻辑覆盖法2 3 3面向对象的覆盖2 3 4测试覆盖准则 Return 11 2 3 1测试覆盖率 测试覆盖率 用于确定测试所执行到的覆盖项的百分比 其中的覆盖项是指作为测试基础的一个入口或属性 比如语句 分支 条件等 测试覆盖率可以表示出测试的充分性 在测试分析报告中可以作为量化指标的依据 测试覆盖率越高效果越好 但覆盖率不是目标 只是一种手段 12 测试覆盖率包括功能点覆盖率和结构覆盖率 功能点覆盖率大致用于表示软件已经实现的功能与软件需要实现的功能之间的比例关系 结构覆盖率包括语句覆盖率 分支覆盖率 循环覆盖率 路径覆盖率等等 13 2 3 2逻辑覆盖法 根据覆盖目标的不同 逻辑覆盖又可分为语句覆盖 判定覆盖 条件覆盖 判定 条件覆盖 组合覆盖和路径覆盖 语句覆盖 选择足够多的测试用例 使得程序中的每个可执行语句至少执行一次 判定覆盖 通过执行足够的测试用例 使得程序中的每个判定至少都获得一次 真 值和 假 值 也就是使程序中的每个取 真 分支和取 假 分支至少均经历一次 也称为 分支覆盖 条件覆盖 设计足够多的测试用例 使得程序中每个判定包含的每个条件的可能取值 真 假 都至少满足一次 14 逻辑覆盖法 续 判定 条件覆盖 设计足够多的测试用例 使得程序中每个判定包含的每个条件的所有情况 真 假 至少出现一次 并且每个判定本身的判定结果 真 假 也至少出现一次 满足判定 条件覆盖的测试用例一定同时满足判定覆盖和条件覆盖 组合覆盖 通过执行足够的测试用例 使得程序中每个判定的所有可能的条件取值组合都至少出现一次 满足组合覆盖的测试用例一定满足判定覆盖 条件覆盖和判定 条件覆盖 路径覆盖 设计足够多的测试用例 要求覆盖程序中所有可能的路径 15 逻辑覆盖法 续 16 C F 17 语句覆盖 语句覆盖 选择足够多的测试用例 使得程序中的每个可执行语句至少执行一次 检查不出and写成or 18 判定覆盖 判定覆盖 通过执行足够的测试用例 使得程序中的每个判定至少都获得一次 真 值和 假 值 也就是使程序中的每个取 真 分支和取 假 分支至少均经历一次 也称为 分支覆盖 检查不出X 1误写成X 1 19 条件覆盖 条件覆盖 设计足够多的测试用例 使得程序中每个判定包含的每个条件的可能取值 真 假 都至少满足一次 对于第一个条件T1 A 1为真 T1 A 1为假T2 B 0为真 T2 B 0为假对于第二个条件T3 A 2为真 T3 A 2为假T4 X 1为真 T4 X 1为假 20 判定 条件覆盖 判定 条件覆盖 设计足够多的测试用例 使得程序中每个判定包含的每个条件的所有情况 真 假 至少出现一次 并且每个判定本身的判定结果 真 假 也至少出现一次 满足判定 条件覆盖的测试用例一定同时满足判定覆盖和条件覆盖 21 组合覆盖 组合覆盖 通过执行足够的测试用例 使得程序中每个判定的所有可能的条件取值组合都至少出现一次 满足组合覆盖的测试用例一定满足判定覆盖 条件覆盖和判定 条件覆盖 结合书P968种组合 22 路径覆盖 路径覆盖 设计足够多的测试用例 要求覆盖程序中所有可能的路径 23 2 4路径测试 2 4 1路径表达式2 4 2基本路径测试方法2 4 3循环测试方法2 4 4产生测试用例 Return 24 2 4 1路径表达式 通常采用控制流图的边 弧 序列和节点序列表示某一条具体路径 更为概括的表示方法为 1 弧a和弧b相乘 表示为ab 2 弧a和弧b相加 表示为a b 路径数的计算 在路径表达式中 将所有弧均以数值1来代替 再进行表达式的相乘和相加运算 最后得到的数值即为该程序的路径数 路径表达式abdf abef acdf acef 25 2 4 2基本路径测试方法 路径测试就是从一个程序的入口开始 执行所经历的各个语句的完整过程 从广义的角度讲 任何有关路径分析的测试都可以被称为路径测试 完成路径测试的理想情况是做到路径覆盖 但对于复杂性大的程序要做到所有路径覆盖 测试所有可执行路径 是不可能的 在不能做到所有路径覆盖的前提下 如果某一程序的每一个独立路径都被测试过 那么可以认为程序中的每个语句都已经检验过了 即达到了语句覆盖 这种测试方法就是通常所说的基本路径测试方法 26 环形复杂度 环形复杂度也称为圈复杂度 它是一种为程序逻辑复杂度提供定量尺度的软件度量 环形复杂度的应用 可以将环形复杂度用于基本路径方法 它可以提供 程序基本集的独立路径数量 确保所有语句至少执行一次的测试数量的上界 独立路径是指程序中至少引入了一个新的处理语句集合或一个新条件的程序通路 采用流图的术语 即独立路径必须至少包含一条在本次定义路径之前不曾用过的边 测试可以被设计为基本路径集的执行过程 但基本路径集通常并不唯一 27 基本路径测试 续 基本路径测试方法在程序控制流图的基础上 通过分析控制结构的环形复杂度 导出基本可执行路径集合 从而设计测试用例 它包括以下4个步骤 1 画出程序的控制流图 2 计算程序的环形复杂度 导出程序基本路径集合中的独立路径条数 这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界 3 导出基本路径集 确定程序的独立路径 4 根据各条独立路径 设计测试用例的输入数据和预期结果 28 计算环形复杂度的方法 环形复杂度以图论为基础 为我们提供了非常有用的软件度量 可用如下三种方法之一来计算环形复杂度 控制流图中区域的数量对应于环形复杂度 给定控制流图G的环形复杂度 V G 定义为V G E N 2其中 E是控制流图中边的数量 N是控制流图中的节点数量 给定控制流图G的环形复杂度 V G 也可定义为V G P 1其中 P是控制流图G中判定节点的数量 29 基本路径测试 续 案例 voidSort intiRecordNum intiType 1 2intx 0 3inty 0 4while iRecordNum 0 5 6If iType 0 7x y 2 8else9If iType 1 10 x y 10 11else12x y 20 13 14 30 基本路径测试 续 第一步 画出控制流图 31 白盒测试的基本概念 续 例 圈复杂度 计算如下 流图中有四个区域 V G 11条边 9结点 2 4 V G 3个判定结点 1 4 区域 边和节点所限定的范围被称为区域 注意 计算区域时应包括图外部的范围 32 基本路径测试方法 续 画出控制流图 如右图所示计算环形复杂度 10 条边 8 个节点 2 4导出独立路径 用语句编号表示 路径1 4 14路径2 4 6 7 14路径3 4 6 9 10 13 4 14路径4 4 6 9 12 13 4 14 33 基本路径测试方法 续 设计测试用例 34 课堂练习 思考题目下例程序流程图描述了最多输入50个值 以 1作为输入结束标志 计算其中有效的学生分数的个数 总分数和平均值 请画出其控制流图并采用基本路径进行测试 35 36 37 案例 使用逻辑覆盖法测试下列程序 voidDoWork intx inty intz 1intk 0 j 0 2if x 3 语句块310 7 9 2 45 8 38 逻辑覆盖法 续 39 语句覆盖 要实现DoWork函数的语句覆盖 只需设计一个测试用例就可以覆盖程序中的所有可执行语句 测试用例输入为 x 4 y 5 z 5 程序执行的路径是 abd 40 判定覆盖 要实现DoWork函数的判定覆盖 需要设计两个测试用例 测试用例的输入为 x 4 y 5 z 5 x 2 y 5 z 5 程序执行的路径分别是 abd ace 41 判定覆盖 续 说明 以上仅考虑了两出口的判断 我们还应把判定覆盖准则扩充到多出口判断 如Case语句 的情况 因此 判定覆盖更为广泛的含义应该是使得每一个判定获得每一种可能的结果至少一次 42 条件覆盖 在实际程序代码中 一个判定中通常都包含若干条件 条件覆盖的目的是设计若干测试用例 在执行被测程序后 要使每个判定中每个条件的可能值至少满足一次 对DoWork函数的各个判定的各种条件取值加以标记 对于第一个判定 x 3 z3取真值记为T1 取假值记为 T1条件z5 条件x 4取真值记为T3 取假值记为 T3条件y 5取真值记为T4 取假值记为 T4 43 条件覆盖 续 根据条件覆盖的基本思想 要使上述4个条件可能产生的8种情况至少满足一次 设计测试用例如下 分析 上面这组测试用例不但覆盖了4个条件的全部8种情况 而且将两个判定的4个分支b c d e也同时覆盖了 即同时达到了条件覆盖和判定覆盖 44 条件覆盖 续 说明 虽然前面的一组测试用例同时达到了条件覆盖和判定覆盖 但是 并不是说满足条件覆盖就一定能满足判定覆盖 如果设计了下表中的这组测试用例 则虽然满足了条件覆盖 但只是覆盖了程序中第一个判定的取假分支c和第二个判定的取真分支d 不满足判定覆盖的要求 45 判定 条件覆盖 判定 条件覆盖实际上是将判定覆盖和条件覆盖结合起来的一种方法 即 设计足够的测试用例 使得判定中每个条件的所有可能取值至少满足一次 同时每个判定的可能结果也至少出现一次 根据判定 条件覆盖的基本思想 只需设计以下两个测试用例便可以覆盖4个条件的8种取值以及4个判定分支 46 判定 条件覆盖 续 分析 从表面上看 判定 条件覆盖测试了各个判定中的所有条件的取值 但实际上 编译器在检查含有多个条件的逻辑表达式时 某些情况下的某些条件将会被其它条件所掩盖 因此 判定 条件覆盖也不一定能够完全检查出逻辑表达式中的错误 例如 对于第一个判定 x 3 z3和z3为假 则编译器将不再检查z5 来说 若条件x 4满足 就认为该判定为真 这时将不会再检查y 5 那么同样也无法发现这个条件中的错误 47 组合覆盖 组合覆盖的目的是要使设计的测试用例能覆盖每一个判定的所有可能的条件取值组合 对DoWork函数中的各个判定的条件取值组合加以标记 1 x 3 z3 z 10记做T1 T2 第一个判定的取假分支3 x 10记做 T1 T2 第一个判定的取假分支5 x 4 y 5记做T3T4 第二个判定的取真分支6 x 4 y5记做 T3T4 第二个判定的取真分支8 x 4 y 5记做 T3 T4 第二个判定的取假分支 48 组合覆盖 续 根据组合覆盖的基本思想 设计测试用例如下 分析 上面这组测试用例覆盖了所有8种条件取值的组合 覆盖了所有判定的真假分支 但是却丢失了一条路径abe 49 路径覆盖 前面提到的5种逻辑覆盖都未涉及到路径的覆盖 事实上 只有当程序中的每一条路径都受到了检验 才能使程序受到全面检验 路径覆盖的目的就是要使设计的测试用例能覆盖被测程序中所有可能的路径 根据路径覆盖的基本思想 在满足组合覆盖的测试用例中修改其中一个测试用例 则可以实现路径覆盖 50 路径覆盖 续 分析 虽然前面一组测试用例满足了路径覆盖 但并没有覆盖程序中所有的条件组合 丢失了组合3和7 即满足路径覆盖的测试用例并不一定满足组合覆盖 说明 对于比较简单的小程序 实现路径覆盖是可能做到的 但如果程序中出现较多判断和较多循环 可能的路径数目将会急剧增长 要在测试中覆盖所有的路径是无法实现的 为了解决这个难题 只有把覆盖路径数量压缩到一定的限度内 如程序中的循环体只执行一次 在实际测试中 即使对于路径数很有限的程序已经做到路径覆盖 仍然不能保证被测试程序的正确性 还需要采用其他测试方法进行补充 51 课堂实践 1 使用基本路径测试方法 为以下程序段设计测试用例 voidDo intX intA intB 1if A 1 5 2 在三角形问题中 要求输入三个边长 a b c 当三边不可能构成三角形时提示错误 可构成三角形时计算三角形的周长 若是等腰三角形打印 等腰三角形 若是等边三角形 则打印 等边三角形 画出相应的程序流程图 并采用基本路径测试方法为该程序设计测试用例 52 2 4 3循环测试方法 从本质上说 循环测试的目的就是检查循环结构的有效性 通常 循环可以划分为简单循环 嵌套循环 串接循环和非结构循环4类 1 测试简单循环 设其循环的最大次数为n 可采用以下测试集 跳过整个循环 只循环一次 只循环两次 循环m次 其中m n 分别循环n 1 n和n 1次 53 循环测试方法 续 2 测试嵌套循环 如果将简单循环的测试方法用于嵌套循环 可能的测试次数会随嵌套层数成几何级数增加 此时可采用以下办法减少测试次数 测试从最内层循环开始 所有外层循环次数设置为最小值 对最内层循环按照简单循环的测试方法进行 由内向外进行下一个循环的测试 本层循环的所有外层循环仍取最小值 而由本层循环嵌套的循环取某些 典型 值 重复上一步的过程 直到测试完所有循环 3 测试串接循环 若串接的各个循环相互独立 则可分别采用简单循环的测试方法 否则采用嵌套循环的测试方法 4 对于非结构循环这种情况 无法进行测试 需要按结构化程序设计的思想将程序结构化后 再进行测试 54 Z路径覆盖下的循环测试方法 Z路径覆盖是路径覆盖的一种变体 它是将程序中的循环结构简化为选择结构的一种路径覆盖 循环简化的目的是限制循环的次数 无论循环的形式和循环体实际执行的次数 简化后的循环测试只考虑执行循环体一次和零次 不执行 两种情况 即考虑执行时进入循环体一次和跳过循环体这两种情况 在循环简化的思路下 循环与判定分支的效果是一样的 即 循环要么执行 要么跳过 55 2 4 4产生测试用例 在实践中 除了前面给出的各种方法外 通常还可以采用以下三种方法来补充设计测试用例 1 通过非路经分析得到测试用例 这种方法得到的测试用例是在应用系统本身的实践中提供的 基本上是测试人员凭工作经验的得到 甚至是猜测得到的 2 寻找尚未测试过的路径并生成相应的测试用例 这种方法需要穷举被测程序的所有路径 并与前面已测试路径进行对比 3 通过指定特定路径并生成相应的测试用例 56 2 5最少测试用例数计算 为实现测试的逻辑覆盖 必须设计足够多的测试用例 并使用这些测试用例执行被测程序 实施测试 我们关心的是 对于某个具体的程序来说 至少需要设计多少个测试用例 这里提供一种估算最少测试用例数的方法 我们知道 结构化程序是由3种基本控制结构组成 顺序型 构成串行操作 选择型 构成分支操作 和重复型 构成循环操作 为了把问题化简 避免出现测试用例极多的组合爆炸 把构成循环操作的重复型结构用选择结构代替 这样 任一循环便改造成进入循环体或不进入循环体的分支操作了 57 最少测试用例数计算 续 用N S图表示程序的3种基本控制结构 图中A B C D S均表示要执行的操作 P是可取真假值的谓词 Y表真值 N表假值 图中的 c 和 d 两种重复型结构代表了两种循环 在做了简化循环的假设以后 对于一般的程序控制流 我们只考虑选择型结构 事实上它已经能体现顺序型和重复型结构了 58 最少测试用例数计算 续 显然 要测试这个小程序 需要至少提供4个测试用例才能作到逻辑覆盖 使得ac ad bc及bd操作均得到检验 其实 这里的4是图中的第1个分支谓词引出的两个操作 及第2个分支谓词引出的两个操作组合起来而得到的 即2 2 4 并且 这里的2是由于两个并列的操作 即1 1 2而得到的 例如 下图表达了两个顺序执行的分支结构 当两个分支谓词P1和P2取不同值时 将分别执行a或b及c或d操作 59 最少测试用例数计算 续 对于一般的 更为复杂的问题 估算最少测试用例个数的原则也是同样的 如果在N S图中存在有并列的层次A1 A2 A1和A2的最少测试用例个数分别为a1 a2 则由A1 A2两层所组合的N S图对应的最少测试用例数为a1 a2 如果在N S图中不存在有并列的层次 则对应的最少测试用例数由并列的操作数决定 即N S图中除谓词之外的操作框的个数 60 最少测试用例数计算 续 例 如下图所示的两个N S图 至少需要多少个测试用例完成逻辑覆盖 对于第一个N S图 由于图中并不存在并列的层次 最少测试用例数由并列的操作数决定 即为1 1 1 3 对于第二个N S图 由于图中没有包含并列的层次 最少测试用例数仍由并列的操作数决定 即为1 1 1 1 1 5 61 最少测试用例数计算 续 例 如下图所示的N S图 至少需要多少个测试用例完成逻辑覆盖 分析该N S图 图中的2345和67是并列的两层 其中 2345层对应的最少测试用例数为1 1 1 1 1 5 67层对应的测试用例数为1 1 1 3 2345和67这两层组合后对应的测试用例数为5 3 15 最后 由于两层组合后的部分是不满足谓词1时所要做的操作 还要加上满足谓词1要做的操作 因此整个程序所需测试用例数为15 1 16 62 课堂实践习题 1 将下图所示的流程图转换为N S图 并估算至少需要多少个测试用例完成逻辑覆盖 63 课堂实践习题 2 某程序所画出的N S图如右图所示的 至少需要多少个测试用例才能对该程序实现逻辑覆盖 64