白盒测试(条件组合覆盖条件覆盖)
白盒测试用例设计方法
1白盒测试用例设计方法1.1白盒测试简介白盒测试又称结构测试、逻辑驱动测试或基于程序的测试，一般多发生在单元测试阶段。
白盒测试方法主要包括逻辑覆盖法，基本路径法，程序插装等。
这里重点介绍一下常用的基本路径法，对于逻辑覆盖简单介绍一下覆盖准则。
1.2基本路径法在程序控制流图的基础上,通过分析控制构造的环路复杂性，导出独立路径集合，从而设计测试用例，设计出的测试用例要保证在测试中程序的每一个可执行语句至少执行一次。
在介绍基本路径测试方法（又称独立路径测试）之前，先介绍流图符号：图1如图1所示，每一个圆，称为流图的节点，代表一个或多个语句，流程图中的处理方框序列和菱形决策框可映射为一个节点，流图中的箭头，称为边或连接，代表控制流，类似于流程图中的箭头。
一条边必须终止于一个节点，即使该节点并不代表任何语句，例如，图2中两个处理方框交汇处是一个节点，边和节点限定的范围称为区域。
图2任何过程设计表示法都可被翻译成流图，下面显示了一段流程图以及相应的流图。
注意，程序设计中遇到复合条件时（逻辑or, and, nor 等），生成的流图变得更为复杂，如(c)流图所示。
此时必须为语句IF a OR b 中的每一个a 和b 创建一个独立的节点。
(c)流图独立路径是指程序中至少引进一个新的处理语句集合，采用流图的术语，即独立路径必须至少包含一条在定义路径之前不曾用到的边。
例如图(b)中所示流图的一个独立路径集合为：路径1：1-11路径2：1-2-3-4-5-10-1-11路径3：1-2-3-6-8-9-10-1-11路径4：1-2-3-6-7-9-10-1-11上面定义的路径1，2，3 和4 包含了(b)流图的一个基本集，如果能将测试设计为强迫运行这些路径，那么程序中的每一条语句将至少被执行一次，每一个条件执行时都将分别取true 和false（分支覆盖）。
应该注意到基本集并不唯一，实际上，给定的过程设计可派生出任意数量的不同基本集。
3-6白盒测试_条件组合覆盖
多个逻辑条件
【条件判定覆盖率计算】
条件组合覆盖率=被评价到的条件取值组合的 数量/条件取值组合的总数
【缺点】
判定语句较多时，条件组合值比较多。
条件组合覆盖
案例
问题描述：根据输入的三角形的三边确定最 终三角形类型。（能否构成三角形，等腰、 等边、还是普通三角形）。 对该功能做条件组合覆盖的白盒测试
程序代码
条件组合覆盖：保证程序的每个判定节点中所有简 单判定条件的各种可能取值的组合应至少执行一次。 从本例来看，一共有3个判定节点，其中第2个判定 节点包含了第3个判定节点的简单判定条件。因此我们 只需考虑前两个判定节点的简单判定条件的组合。
测试分析
条件T1~T3的组合
测试分析
条件T4~T6的组合
测试分析
最终的组合
测试用例
最终的组合
测试分析
从理论上看，条件组合覆盖是较好的覆盖指标，因 为它一定满足判定覆盖、条件覆盖和判定/条件覆盖。 然而当判定表达式较为复杂的时候，条件组合覆盖 的测试用例规模是相当大的。
谢谢大家！
the
end
案例分析
【是否构成三角形】 【是否特殊三角形】 【是否一般三角形】
案例分析
流程图/执行分支/路径 开始
P1 F
a+b<=c||a+c<=b||b+c< =a
T P2
P3
a==b||b==c||a==c
F
一般三角形
F
T P4
a==b&&b==c
不是三角形
T P6
等腰三角形
等边三角形
结束
条件 T1:a+b<=c T2:a+c<=b T3:b+c<=a T4:a==b T5:b==c T6:a==c 判定： 分支1:T1||T2||T3 分支2:T4||T5||T6 分支3:T4&&T5
白盒测试语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖（转）
⽩盒测试语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖（转）转⾃：⽩盒作为测试⼈员常⽤的⼀种测试，越来越受到测试⼯程师的重视。
⽩盒测试并不是简单的按照⽤例，⽽是需要根据不同的测试，结合不同的测试对象，适合的⽅法进⾏测试。
因为对于不同复杂度的代码逻辑，可以衍⽣出许多种执⾏路径，只有适当的测试⽅法，才能帮助我们从代码的迷雾森林中找到正确的⽅向。
本⽂介绍六种⽩盒⼦测试⽅法：语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖。
⽩盒测试的概述 由于逻辑错误和不正确假设与⼀条路径被运⾏的可能性成反⽐。
由于我们经常相信某逻辑路径不可能被执⾏, ⽽事实上,它可能在正常的情况下被执⾏。
由于代码笔误是随机且⽆法杜绝的，因此我们要进⾏⽩盒测试。
⽩盒测试⼜称结构测试,透明盒测试、逻辑驱动测试或代码的测试。
⽩盒测试是⼀种测试⽤例设计⽅法，盒⼦指的是被测试的，⽩盒指的是盒⼦是可视的,你清楚盒⼦内部的东西以及⾥⾯是运作的。
⽩盒的测试⽤例需要做到： ·保证⼀个模块中的所有独⽴路径⾄少被使⽤⼀次 ·对所有逻辑值均需测试 true 和 false ·在上下边界及可操作范围内运⾏所有循环 ·检查内部结构以确保其有效性 ⽩盒测试的⽬的：通过检查软件内部的逻辑结构，对软件中的逻辑路径进⾏覆盖测试；在程序不同地⽅设⽴检查点，检查程序的状态，以确定实际运⾏状态与预期状态是否⼀致。
⽩盒测试的特点：依据软件设计说明书进⾏测试、对程序内部细节的严密检验、针对特定条件设计测试⽤例、对软件的逻辑路径进⾏覆盖测试。
⽩盒测试的步骤： 1.测试计划阶段：根据需求说明书，制定测试进度。
2.测试设计阶段：依据程序设计说明书，按照⼀定规范化的⽅法进⾏软件结构划分和设计测试⽤例。
3.测试执⾏阶段：输⼊测试⽤例，得到测试结果。
4.测试总结阶段：对⽐测试的结果和代码的预期结果，错误原因，找到并解决错误。
白盒测试的条件覆盖测试所有可能的条件情况
白盒测试的条件覆盖测试所有可能的条件情况白盒测试是软件测试中一种关注程序内部结构和逻辑的测试方法。
在进行白盒测试时，需要覆盖测试所有可能的条件情况，以确保程序的各个分支和逻辑路径都得到有效的测试。
本文将介绍白盒测试中的条件覆盖测试以及如何进行全面的条件覆盖。
一、什么是条件覆盖测试条件覆盖测试是一种测试方法，旨在测试程序中的所有条件语句。
条件语句是根据不同条件的结果（true或false）来执行不同操作的语句。
条件覆盖测试的目标是测试每个条件的每种可能的结果，以确保程序在不同条件下的正确性。
条件覆盖测试可以分为以下几种类型：1. 判定覆盖（Decision Coverage）：测试至少执行一次每个判定的两个结果，即真和假。
2. 条件覆盖（Condition Coverage）：测试每个条件的两种可能取值（true和false）。
3. 条件组合覆盖（Condition Combination Coverage）：测试每个条件的所有可能组合情况。
二、条件覆盖测试的重要性条件覆盖测试对于发现程序中的逻辑错误以及漏洞非常重要。
通过测试每个条件的各种情况，可以确保程序在各种可能条件下都能正确运行。
条件覆盖测试还可以帮助测试人员理解程序的逻辑流程，并发现潜在的错误路径。
三、如何进行条件覆盖测试要进行条件覆盖测试，需要按照以下步骤进行：1. 确定测试对象：确定要进行测试的软件模块或功能。
2. 定义条件：根据程序的逻辑结构，确定需要测试的条件语句。
3. 列举条件情况：对于每个条件，列举出所有可能的情况。
例如，如果条件是一个布尔变量，那么可能的情况是true和false；如果是一个数值变量，可能的情况包括大于、等于和小于等。
4. 设计测试用例：根据列举的条件情况，设计测试用例，以覆盖所有可能的情况。
5. 执行测试用例：按照设计的测试用例，执行测试。
6. 检查测试结果：检查测试结果，验证程序在不同条件下的行为是否符合预期。
白盒测试的主要方法
二、 基本路径测试
基本路径测试就是在程序控制图的基础 上，通过分析控制构造的环行复杂性，导 出基本可执行路径集合，从而设计测试用 例的方法。设计出的测试用例要保证在测 试中程序的每一个可执行语句至少执行一 次。
基本路径测试-----步骤
1. 导出程序的控制流图
2. 计算程序环路复杂度：确定程序中每个可执
白盒测试的主要方法
语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 路径覆盖 基路径测试 循环测试
逻辑覆盖
路径测试
数据流测试 其他白盒测试方法
一、 逻辑覆盖
• 1、语句覆盖：语句覆盖就是设计若干个测试用 例，运行被测试程序，使得每一条可执行语句 至少执行一次 • 2、判定覆盖（也称为分支覆盖）：设计若干个 测试用例，运行所测程序，使程序中每个判断 的取真分支和取假分支至少执行一次；
条件组合覆盖
• 它的含义是：设计足够的例子，使得每个
判定中条件的各种可能组合都至少出现一 次。显然，满足“条件组合覆盖”的测试 用例是一定满足“判定覆盖”、“条件覆 盖”和“判定/条件覆盖”的。
例题1
编号 1 2 3
4 5 6 7 8
具体条件取值 a>1,b=0 a>1,b<>0 a<=1,b=0
① A=3，B=0，X=1 (沿路径acd执行)； ② A=2，B=1，X=3(沿路径abe执行)
判定覆盖
A=3，B=0，X=1 (沿路径acd 执行) A=2，B=1，X=3 (沿路径abe 执行)
例题2
判定覆盖
往往大部分的判定语句是由多个逻辑条
件组合而成，若仅仅判断其整个最终结果， 而忽略每个条件的取值情况，必然会遗漏 部分测试路径 。
白盒测试及例题
基本路径测试
• 前提条件 测试进入的前提条件是在测试人员 已经对被测试对象有了一定的了解，基 本上明确了被测试软件的逻辑结构。 • 测试过程 过程是通过针对程序逻辑结构设计 和加载测试用例，驱动程序执行，以对 程序路径进行测试。测试结果是分析实 际的测试结果与预期的结果是否一致。
基本路径测试
• 在程序控制流图的基础上，通过分析控制构造的环 路复杂性，导出基本可执行路径集合，从而设计测 试用例。包括以下4个步骤和一个工具方法： 1. 程序的控制流图：描述程序控制流的一种图示 方法。 2. 程序圈复杂度：McCabe复杂性度量。从程序的 环路复杂性可导出程序基本路径集合中的独立 路径条数，这是确定程序中每个可执行语句至 少执行一次所必须的测试用例数目的上界。 3. 导出测试用例：根据圈复杂度和程序结构设计 用例数据输入和预期结果。 4. 准备测试用例：确保基本路径集中的每一条路
条件组合覆盖
• 针对上述问题又提出了另一种标准——―条 件组合覆盖”。它的含义是：执行足够的 例子，使得每个判定中条件的各种可能组 合都至少出现一次。显然，满足“条件组 合覆盖”的测试用例是一定满足“分支覆 盖”、“条件覆盖”和“分支/条件覆盖” 的。
条件组合覆盖
再看例1的程序，我们需要选择适当 的例子，使得下面 8种条件组合都能 够出现：
基本路径测试
工具方法： 图形矩阵：是在基本路径测试中起辅 助作用的软件工具，利用它可以实现自 动地确定一个基本路径集。
控制流图的符号
• 在介绍基本路径方法之前，必须先介绍一种简单的 控制流表示方法，即流图。流图是对待测试程序过 程处理的一种表示。流图使用下面的符号描述逻辑 控制流，每一种结构化构成元素有一个相应的流图 符号。
• • • • 白盒测试概念 测试覆盖标准 逻辑驱动测试 基本路径测试
简述白盒测试概念
简述白盒测试目录1. 概述 (3)2. 白盒测试 (3)2.1. 白盒测试的基本概念 (3)2.2. 白盒测试的常用方法 (3)2.2.1. 逻辑覆盖测试 (3)2.2.1.1. 语句覆盖 (3)2.2.1.2. 判定覆盖 (4)2.2.1.3. 条件覆盖 (4)2.2.1.4. 判定/条件覆盖 (4)2.2.1.5. 条件组合覆盖 (4)2.2.1.6. 路径测试 (4)2.2.2. 循环覆盖测试 (4)2.2.2.1. 简单循环的测试策略 (4)2.2.2.2. 嵌套循环的测试策略 (4)2.2.2.3. 串接循环的测试策略 (4)2.2.2.4. 不规则循环 (5)2.2.3. 基本路径测试 (5)2.2.3.1. 步骤一：画出控制流图 (5)2.2.3.2. 步骤二：计算圈复杂度 (5)2.2.3.3. 步骤三：导出测试用例 (5)2.2.3.4. 步骤四：执行测试用例 (5)2.2.3.5. 工具方法：图形矩阵 (6)2.2.4. 静态数据流分析 (6)3. 总结 (6)1.概述20世纪60年代中期，随着计算机硬件的迅猛发展，计算机的应用范围迅速扩大，软件开发数量急剧增长，计算机系统应用越来越广泛。
软件快速的需求增长使得软件开发中的矛盾越来越突出——软件危机出现了。
软件工程应运而生，软件测试的作用越来越重要。
而白盒测试就是一种软件测试用例的设计方法。
2.白盒测试2.1.白盒测试的基本概念白盒测试又称结构测试，透明盒测试，逻辑驱动测试或基于代码的测试。
白盒测试是测试被测单元内部如何工作的一种方法。
其目的是通过检查软件内部的逻辑结构，对软件中的逻辑路径进行覆盖测试；在程序不同地方设立检查点，检查程序的状态，以确定实际运行状态与预期状态是否一致。
它允许测试人员对程序内部逻辑结构及有关信息来设计和选择测试用例，对程序的逻辑进行测试，提高代码质量。
由于逻辑错误和不正确假设与一条程序路径被运行的可能性成反比。
黑盒白盒测试基本定义
不深入代码细节的测试方法称为黑盒测试。
黑盒测试（Black box testing）也称功能测试或数据驱动测试，它是已知产品所应具有的功能，通过测试来检测每个功能是否都正常使用。
边界值测试背后的基本原理是错误更可能出现在输入变量的极值附近。
一般情况下，确定边界值应遵循以下几条原则：(1) 如果输入条件规定了值的范围，则应取刚达到这个范围的边界的值，以及刚刚超越这个范围边界的值作为测试输入数据。
(2) 如果输入条件规定了值的个数，则用最大个数、最小个数、比最小个数少一、比最大个数多一的数作为测试数据。
(3) 如果程序的规格说明给出的输入域或输出域是有序集合，则应选取集合的第一个元素和最后一个元素作为测试数据。
(4) 如果程序中使用了一个内部数据结构，则应当选择这个内部数据结构的边界上的值作为测试数据。
(5) 分析规格说明，找出其他可能的边界条件边界值分析的基本思想是使用输入变量的最小值、略大于最小值、正常值、略小于最大值和最大值设计测试用例例如，有一个二元函数f(x，y)，要求输入变量x，y分别满足：x∈[1，12]，y∈[1，31]。
采用边界值分析法设计测试用例，可以选择下面一组测试数据：{ <1，15>，<2，15>，<11，15>，<12，15>，<6，15>，<6，1>，<6，2>，<6，30>，<6，31> }。
对于有n个输入变量的程序，边界值分析会产生4n+1个测试用例。
边界值分析优缺点健壮性是指在异常情况下，软件还能正常运行的能力。
所谓健壮的系统，是指对于规范要求以外的输入能够判断出这个输入不符合规范要求，并能有合理的处理方式的系统。
健壮性边界测试是边界值分析的一种简单扩展。
在使用该方法设计测试用例时，既要考虑有效输入，又要考虑无效的输入。
除了按照边界值分析方法选取的五个取值(min、min+、nom、max-、max)外，还要选取略小于最小值(min-)和略大于最大值(max+)的取值，以观察输入变量超过边界时程序会有什么表现对于一个含有n个输入变量的程序，进行健壮性边界测试时，使除一个以外的所有变量取正常值，使剩余的那个变量依次取略小于最小值、最小值、略大于最小值、正常值、略小于最大值、最大值和略大于最大值，并对每个变量重复进行。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
序号
X
Y
路径
1
90
90
OAE
2
90
70
OBCE
3
90
30
OBDE
4
70
90
OBCE
5
30
90
OBDE
6
70
70
OBDE
7Hale Waihona Puke 5050OBDE
条件组合
优点 多重条件覆盖准则满足判定覆盖、条件覆盖和判定 /条件覆盖准则。
缺点 线性地增加了测试用例的数量。
《软件工程》教学
4、 条件覆盖
测试用例格式如下表：
else
if(j<8)
n++;
else
序 输入 号 条件
输出 条件 路径 结果 取值
情况
k=m+n;
1
}
Printf(“%d,%d,%d”,m,n,k);
}
2
i=?,j=?
m=?, T1T2 n=?,k =?
3
条件覆盖：设计足够多的测试用例，使被测程序 中每个判定的每个条件的每个可能取值至少执行 一次；
用例设计：条件取值-T1,F2,T3,T4； F1,T2,F3,F4；
序号
X
Y
路径
1
90
70
OBC
2
40
90
OBD
条件覆盖
优点 条件覆盖比判定覆盖，增加了对符合判定情况的 测试，增加了测试路径。
缺点 要达到条件覆盖，需要足够多的测试用例，但条 件覆盖并不能保证判定覆盖。条件覆盖只能保证每 个条件至少有一次为真，而不考虑所有的判定结果
条件组合覆盖，条件覆盖
白盒测试
内容要点
掌握条件组合覆盖设计测试用例 掌握条件覆盖设计测试用例
《软件工程》教学
逻辑覆盖实例讲解
《软件工程》教学
3、条件组合覆盖
条件组合覆盖：设计足够多的测试用例，使被测
程序中每个判定的所有可能的条件取值组合至少
执行一次。
用例设计：N个条件取值：C21 *C21 *C21 *C21 (2n=16）
课堂练习
4.2 课堂实践-条件组合覆盖和条件覆盖.doc
Void sort(int i,int j) { int m,n,k; m=n=k=0; if (i<5)
要求： 画出程序流程图； 标识条件表达式序列号； 用条件组合覆盖法设计测试用例； 用条件覆盖法设计测试用例。
m++;