白盒测试技术.ppt
软件工程--白盒测试技术 ppt课件
a >1 || c < 1 T 4
6} 7 c = b+c;
F 5
c=b+c
c=c/a c=c+1
输出：3.5 -2
5. 条件组合覆盖准则
设计足够的测试用例，使得判定中每个条件的所有 可能组合至少出现一次，并且每个判定结果也至少 出现一次。
7.6 白盒测试技术
白盒测试 的原则
对程序模块的所有独立 执行路径至少测试一次
对所有的逻辑判定取 “真”与取“假”的两种情况
都至少测试一次。
在循环的边界和可操作范围 内执行循环体
测试内部数据结构的有效性， 完成边界条件的测试。
执行路径：520个
循
环
近似为1014个
小
于
等 于
如果1ms完成一
20
个测试
No
测试用例
覆盖的判断条件
通过路径
1 a=2，b= -1，c= -2
T1，F2，T3，F4
?
2 A=-1，b=2，c= 3
F1，T2，F3，T4
?
虽然覆盖了所有条件，但不能保证多个判定 分支均被覆盖到
4、 判定—条件覆盖准则
设计足够测试用例，使得判定中的所有条件可 能取值至少执行一次，同时，所有判定的可能 结果至少执行一次。
值为假分支
条件中的取值有 被忽略的情况
a=2，b=1，c=3 a= -2，b=1，c= -3
a >0 && b > 0 T
c=c/a
判定覆盖仍是弱覆 盖标准！
F a >1 || c < 1 T
c=c+1
Bug
F c=b+c
《软件测试》第三章 白盒测试技术
为了体现条件A对整个表达式的独立影响，需满足当A为真时，（A and B） 为真；当A为假时，（A and B）为假，显然此时B的取值应为真，对应表3-5 中的测试用例1和3。同理，为了体现条件B对整个表达式的独立影响，A的取 值应为真，对应表中的测试用例1和2。那么，测试用例4是否是冗余的呢？从 整体表达式的结果来看，测试用例1～3完全能够满足（A and B）作为一个表 达式整体分别取到真值和假值。所以，测试用例4是冗余的。因此得出满足 （A and B）的修正的判定/条件覆盖的测试用例集合如表3-6所示。
对穷举测试唯一可行的代替方法。
所谓逻辑覆盖是对一系列测试过程的
、
总称，这组测试过程逐渐进行越来越完整
。
的通路测试。
根据测试覆盖目标的不同，以及覆盖源程序的详尽程度 分析由高到低排序，逻辑测试可依次分为：
● 语句覆盖（Statement Coverage，SC）； ● 判定覆盖（Decision Coverage，DC）； ● 条件覆盖（Condition Coverage，CC）； ● 判定/条件覆盖（Decision/Condition Coverage ，D/CC）； ● 修正的判定/条件覆盖（Modified Decision/Con dition Coverage，MD/CC）； ● 条件组合覆盖（Condition Combination Covera ge，基本概念 B 白盒测试的方法 C 白盒测试的流程 D 本章小结
3.1 白盒测试的基本概念
❖ 定义 白盒测试也称结构测试、逻辑驱动或基
于程序的测试，是一种测试用例设计方法，它从 程序的控制结构导出测试用例。它一般用来分析 程序的内部结构。它依赖于程序细节的严密验证 ，针对特定的条件和循环设计测试用例，对程序 的逻辑路径进行测试。通过在程序的不同点检验 程序状态，来判定其实际情况是否和预期的状态 一致。
白盒测试技术(基本路径测试法)
控制流图的组成： 1. 节点：以标有编号的圆圈表示。可代表一个或多个语句、一
个处理框序列和一个条件判定框(假设不包含复合条件)。包 含条件的节点被称为判断节点，分支的汇聚处应该有一个汇 点。， 2. 控制流线或弧：以箭头表示，又称为边。 3. 边和结点圈定的区域叫做区域，当对区域计数时，图形外的 区域也应记为一个区域。
之
1
▪ 1.白盒测试技术概念以及方
法
▪ 2.基本路径测试法
重点
▪ 步骤
▪ 实现
黑盒
X=2
?
y=4
白盒
X=2 y=2x
y=4
白盒测试以源代码为基本对象，是对软件的过 程性细节做细致的检查，允许测试人员利用程序内 部的逻辑结构及有关信息，设计或选择测试用例， 对程序所有逻辑路径进行测试，通过在不同点检查 程序状态，确定实际状态是否与预期的状态一致。
2.计算环路复杂度，又称为圈复杂度
❖ 案例分析
3.列出程序中形成的基本路径集合
路径1：4-14 路径2：4-6-7-14 路径3：4-6-8-10-13-414 路径4：4-6-8-11-13-414
❖ 案例分析
4.推导出可以确保集合中每条独立路径都被执行的 测试用例。
2
1
4
3
分析控制流图：
1. 节点数： 9 2. 判断节点数： 3 3. 边数： 11 4. 区域数： 4
程 序 流 程
控 制 流 图
图
程序的环路复杂性给出了程序基本路径集中的 独立路径条数，这是确保程序中每个可执行语句至 少执行一次所必需的测试用例数目的上界。
程序环路复杂性计算方法（三种）：
(1)流图中区域的数量对应于环形复杂度; 4. (2)给定流图G的环形复杂度V(G),定义 为V(G)=E-N+2, E是流图中边的数量， N是流图中节点的数量。 V(G)=11-9+ 2. (3) V(G)=P+1, P是流图G中的判定节 点数。 V(G)=3+1
白盒测试技术
实现判定/条件覆盖途径
• 实现判定/条件覆盖的途径：
– 修正的判定/条件覆盖 – 条件组合覆盖 – 基于严格程序图的路径覆盖
34
4.2.6 条件组合覆盖
1.定义 2.测试用例设计 3.测试分析
35
1.定义
• 条件组合覆盖定义
– 测试用例的设计应满足每个判定节点中， 所有简单判定条件的各种可能取值的组合 应至少执行一次。
29
4.2.5 判定/条件覆盖
1.定义 2.测试用例设计 3.测试分析
30
1.定义
• 判定/条件覆盖定义
– 测试用例的设计应满足判定节点的取真和取假分 支至少执行一次，且每个简单判定条件的取真和 取假情况也应至少执行一次。
• 判定/条件覆盖率
– 判定/条件覆盖率 = 条件操作数值或判定结果值至 少被评价一次的数量 / （条件操作数值总数 + 判 定结果总数）
T p4 x=x+c
print a,b,c,x
结束
13
案例代码的基本描述
• 案例：执行路径
– L13：p1p3 – L14：p1p4 – L23：p2p3 – L24：p2p4
开始
F a>1 AND b<2 T p2 p1
x=c+1
F a==3 OR x>3 p3
T p4 x=x+c
print a,b,c,x 结束
24
4.2.4 条件覆盖
1.定义 2.测试用例设计 3.测试分析
25
1.定义
• 条件覆盖定义
– 设计测试用例时应保证程序中每个复合判 定表达式中，每个简单判定条件的取真和 取假情况至少执行一次。
软件测试-黑盒测试与白盒测试
Y
b
(a=2)||(x>1)
Y
d 返回
c x=x/a
e x=x+1
白盒测试技术X=2
逻辑覆盖技术
Y=2X
Y=4？
循环结构测试
# include <stdio.h>
简单循环
main() {
? 循环变量的初值是否正确 int i=0; ? 循环变量的最大值是否正确iwnht isleum(i<=100; ) ? 循环变量的增量是否正确 {
白盒测试技术X=2
Y=2X
Y=4？
面向对象测试步骤 /*矩形类，实现矩形周长和面积的*计/ 算 public class Rectangle extends Shape{ …… 设Re计ct测ang试le用re例ct1=new Rectangle测(1试,1R)e;ctangl类e publicstaticvoidmain(String[]args){// RRR比(eee1ccc如,1ttt)aaa测nnn(ggg1试R.llleee2e,rrrc3eeet.accc4nttt)211g===(l类aennn,eeeb时www) ，(RRR,可eee)ccc以tttaaannn构ggg造llleee(((以1a,.,)2b下;,)3;测.4试); 用例：
# include <stdio.h> main() {
float a,b,x;
scanf“(%f%f%”f,&a,&b, &x); if ((a>1)&&(b==0))
x=x/a; if ((a==2)||(x>1))
x=x+1; printf(“%f”,x); }
第3章白盒测试技术
函数调用关系图
• 通过应用程序各函数之间的调用关系展示 了系统的结构。列出所有函数，用连线表 示调用关系。 • 通过函数调用关系图：
– 可以检查函数的调用关系是否正确 – 是否存在孤立的函数而没有被调用 – 明确函数被调用的频繁度，对调用频繁的函数 可以重点检查
模块控制流图
• 模块控制流图是与程序流程图类似的有许 多节点和连接节点的边组成的一种图形， 其中一个节点代表一条语句或数条语句， 边表示节点间的控制流向，它显示了一个 函数的内部逻辑结构 • 模块控制流图可以直观的反映出一个函数 的内部逻辑结构，通过检查这些模块的控 制流图，能够很快发现软件的错误与缺陷。
逻辑覆盖法
• 逻辑覆盖是通过对程序逻辑结构的遍历实现程序 的覆盖。它是一系列测试过程的总称，这组测试 过程逐渐进行越来越完整的通路测试。 • 从覆盖源程序语句的详尽程度分析，逻辑覆盖标 准包括：
– – – – – – 语句覆盖 判定覆盖 条件覆盖 条件判定组合覆盖 多条件覆盖 修正条件判定覆盖
示例程序
3.3 动态测试技术
• 白盒测试的动态测试应该根据程序的控制结构设计测试用例,原则是:
– – – – 保证模块中每一独立的路径至少执行一次; 保证所有判断的每一分枝至少执行一次； 保证每一循环都在边界条件和一般条件下至少各执行一次; 验证所有内部数据结构的有效性。
• 对一个具有多重选择和循环嵌套的程序,不同的路径数目可能是天文数 字.而且即使精确地实现了白盒测试,也不能断言测试过的程序完全正 确. • 比如包括了一个执行达20次的循环的程序,它所包含的不同执行路径 数高达520条,假使有这么一个测试程序,对每一条路径进行测试需要 1ms,假设一天工作 24小时,一年工作365天,若要对它进行穷举测试,也 需要3024年的时间. • 为了节省时间和资源，就必须精心设计测试用例，从数量巨大的可用 测试用例中挑选少量的、优秀的测试数据，使用这些测试数据能够达 到最佳的测试效果 • 其中，逻辑覆盖法和基本路径测试法是常用的两种白盒测试用例测试 方法。
chap 3 软件测试技术-白盒测试技术(含其他)
• 3．条件覆盖
• •
在设计程序中，一个判定语句是由多 个条件组合而成的复合判定。 条件覆盖的含义是：构造一组测试用 例，使得每一判定语句中每个逻辑条件 的可能值至少满足一次。
• 4．条件判定组合覆盖
•
条件判定组合覆盖的含义是：设计足够 的测试用例，使得判定中每个条件的所有 可能（真/假）至少出现一次，并且每个判 定本身的判定结果（真/假）也至少出现一 次。
X= X /A
I: A=3, B=0,X=1: sacbd
5 T 6
X=X+1
II: A=2, B=1,X=1: sabed
F 3
d
e
满足判 定覆盖
7
满足判定覆盖的测试用例一定 满足语句覆盖： 满足语句覆盖：判定覆盖比语 句覆盖强。 句覆盖强。但仍是弱的逻辑覆 盖。
边覆盖 Edge Coverage
– 3.2.3 程序插桩
•
在软件动态测试中，程序插桩是一种 基本的测试手段，有着广泛的应用。
• 1．方法简介
•
程序插桩方法是借助往被测程序中插 入操作，来实现测试目的的方法。
• 设计插桩程序时需要考虑的问题包括： • ① 探测哪些信息； • ② 在程序的什么部位设置探测点； • ③ 需要设置多少个探测点。 的含义是：设计足够的测试用例，使得 每个判定中条件的各种可能组合都至少 出现一次。显然满足多条件覆盖的测试 用例是一定满足判定覆盖、条件覆盖和 条件判定组合覆盖的。
• 6．修正条件判定覆盖
•
它要求满足两个条件：首先，每一个 程序模块的入口和出口点都要考虑至少 被调用一次，每个程序的判定到所有可 能的结果值要至少转换一次；其次，程 序的判定被分解为通过逻辑操作符（and、 or）连接的bool条件，每个条件对于判定 的结果值是独立的。
ch4白盒测试技术
白盒测试－内容
白盒测试方法，主要对程序模块进行如下的 检查： 1. 对程序模块的所有独立的执行路径至少测 试一次； 2. 对所有的逻辑判定，取“真”与取“假” 的两种情况都能至少测试一次； 3. 在循环的边界和允许界限内执行循环体； 4. 测试内部数据结构的有效性，等待。
2013-7-31 4
2013-7-31 18
判定覆盖的盲点
忽略了BOOL型表达式内部的BOOL取值。 例中，如果第二个判定中的条件X>1错写 成X<1，那么利用上面两组测试用例， 仍能得到同样的结果。 这表明，判定覆盖还不能保证一定能查出 在判断条件中存在的错误。
2013-7-31
19
条件覆盖
条件覆盖就是设计若干个测试用例，运行 被测程序，使得程序中每个判断的每个 条件的可能取值至少执行一次。 条件覆盖的判断条件中的逻辑AND和OR独 立起来，独立地度量每一个子表达式， 因此对控制流更为敏感。
判定覆盖特征
程序中的每一个分支至少通过一次 。 判定覆盖可扩充到多出口判断（CASE语 句）的情形。 整个BOOL型的表达式被认为是取值一个 TRUE和一个FALSE，不考虑其内部是否 包含了逻辑AND或OR。
2013-7-31
17
判定覆盖的测试用例
上例中，如果选择路径L1和L2，就可得到满足判 断覆盖要求的测试用例： L1：{(2,0,4)，(2,0,3)} L2：{(1,1,1)，(1,1,1)} 如果选择路径L3和L4，还可得到另一组满足判定 覆盖条件的测试用例： L3：{(2,1,1)，(2,1,2)} L4： {(3,0,3)，(3,1,1)} 可见，测试用例的取法不唯一。
24
两组测试用例分析
第02章-白盒测试技术-逻辑覆盖法
覆盖分析：
监控
在程序的特定位置设立插装点，插入用于记录动态特性的语句，用来 监控程序运行时的某些特性，从而排除软件故障。
查找数据流异常
程序插桩可以记录在程序执行中某些变量值的变化情况和变化范围。 掌握了数据变量的取值状况，就能准确地判断是否发生数据流异常。
侵入式法 — 断言测试
断言测试 用于检查在程序运行过程出现的一些本“不应该”发生的 情况。也就是在一个应该正确的地方，加一条判断来验证 程序运行时，它是否真正如当初预料的那样，具有预期的 正确性。
侵入式法
侵入式法白盒测试 指的是在软件测试过程中需要对软件系统的代码 进行修改的测试方法。
按照修改的目的不同分为：
① 程序插桩测试 ② 断言测试 ③ 缺陷种植法。
侵入式法 — 程序插桩测试
程序插桩
是借助于在被测程序中设置断点或打印语句来进行测试的 方法，在执行测试的过程中可以了解一些程序的动态信息。 这样在运行程序时，既能检验测试的结果数据，又能借助 插入语句给出的信息掌握程序的动态运行特性，从而把程 序执行过程中所发生的重要事件记录下来。
白盒测试方法
我们知道白盒测试是根据程序内部的结构来测试程序。 程序的内部结构可以用流程图来表示。 从流程图上可以看出，程序的内部结构包含以下这些元素： 语句，判定，条件，循环，路径等。 通过对这些元素的测试就形成了以下白盒测试方法:
逻辑覆盖法 循环测试 基本路径测试
逻辑覆盖法
根据覆盖目标的不同，逻辑覆盖可分为： 语句覆盖
通用代码审查清单（续）
2. 数据声明错误 数据声明缺陷产生的原因是不正确地声明或使用变量和常量。
所有变量都赋予正常的长度、类型和存储类了吗？ 例如，本应声明为字符串的变量声明为字符数组了吗？ 变量是否在声明的同时进行了初始化？是否正确初始化并与其类 型一致？ 变量有相似的名称吗？这基本上不算软件缺陷，但有可能是程序 中其他地方出现名称混淆的信息。 存在声明过、但从未引用或者只引用过一次的变量吗？
第2章 白盒测试的实用技术
第2章 白盒测试的实用技术白盒测试（White Box Testing），按照程序内部的结构、逻辑驱动测试程序，通过测试来检测产品内部动作是否按照设计说明书的规定正常进行，检验程序中的每条路径是否都能按预定要求正确工作。
此方法是把白盒测试的对象看成内部逻辑结构完全可见的盒子，测试人员依据程序内部逻辑结构的相关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点、不同分支检查程序的状态，确定实际的状态是否与预期的状态一致。
白盒测试技术是软件测试的主要方法之一，白盒测试的基本概念、检查方法、测试方法、测试工具等内容是必须掌握的，本章重点讨论以下内容：● 白盒测试的概述● 白盒测试的静态检查方法● 白盒测试的常用方法● 白盒测试工具2.1白盒测试的概述白盒测试对象主要是源程序。
是指用代码内部的分支、路径、条件，使程序设计的控制结构导出测试用例，是软件测试的主要方法之一。
2.1.1白盒测试的基本知识白盒测试方法分为两类：（1）静态测试静态测试是测试中很重要的方法之一。
它不要求在计算机上实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试。
静态测试大约可以找出25%—60%的逻辑错误。
（2）动态测试：输入一组预先按照一定的测试准则设计的实例数据驱动运行程序，检查程序功能是否符合设计要求，发现程序中错误的过程。
2.1.2 白盒测试测试原则白盒测试原则有4点：1）保证一个模块中所有路径至少被测试一次；2）所有逻辑值都要测试真和假两种情况；3）检查程序的内部数据结构是否有效；4）再上、下边界及可操作范围内运行所有循环。
2.1.3白盒测试的类别、依据和流程白盒测试策略是首先进行静态结构分析，采用先静态后动态的组合方式。
然后进行覆盖测试。
利用静态测试的分析结果和通过动态测试的结果进行进一步确认已达到测试效果。
白盒测试一般要考虑类别、依据和流程。
1. 白盒测试的类别白盒测试的类别具体分为8大类。
白盒测试技术
实验六白盒测试技术1 实验要求与目的●了解白盒测试技术的原理；●熟悉常用的白盒测试技术；●掌握逻辑覆盖的不同标准及原理，能够设计测试用例；2 实验原理与背景知识2.1 白盒测试白盒测试也称结构测试或逻辑驱动测试，它按照程Array序内部的结构测试程序，通过测试来检测产品内部动作是否按照设计规格说明书的规定正常进行，检验程序中的每条通路是否都能按预定要求正确工作。
它关注软件产品的内部细节和逻辑结构，即把被测的程序看成是一个透明的盒子，如图1所示白盒测试通常可分为静态测试和动态测试两类方法，其中静态测试不要求实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试；而动态测试是通过输入一组预先按照一定的测试准则构造的实例图1 白盒测试示意图数据来动态运行程序，从而达到发现程序错误的过程。
白盒测试的测试方法有代码检查法、静态结构分析法、逻辑覆盖法、基本路径测试法、域测试法、符号测试法、数据流测试法、Z路径覆盖法、程序变异法等等。
2.2 代码检查法代码检查是静态测试的主要方法，包括代码走查、桌面检查、流程图审查等。
代码检查主要检查代码和设计意图的一致性、代码结构的合理性、代码编写的标准性和可读性、代码逻辑表达的正确性等方面，包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等内容。
代码检查应该在编译和动态测试之前进行，在检查前，应该准备好需求文档、程序设计文档、程序的源代码清单、代码编写标准和代码缺陷（错误）检查表。
在实际使用中，代码检查法能够快速找到缺陷，发现30%到70%的逻辑设计和编码缺陷，而且代码检查法看到的是问题本身而非征兆。
但是代码检查法非常耗费时间，并且需要经验和知识的积累。
代码检查法可以使用人工测试，也可以使用测试软件进行自动化测试。
2.3 静态结构分析法静态结构分析是指测试者通过使用测试工具分析程序源代码的系统结构、数据结构、数据结构、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、内部文件调用关系图等各种图形和图表，清晰得标识整个软件的组成结构，通过分析这些图表，检查软件是否存在缺陷或错误。
白盒测试的常用技术
白盒测试的常用技术白盒测试的常用技术主要有7种，下面我们将分别介绍。
一、逻辑覆盖法逻辑覆盖法主要讨论以下四点：测试覆盖率。
逻辑覆盖。
面向对象的覆盖。
测试覆盖准则。
下面分别进行讨论。
1.测试覆盖率测试覆盖率是用于确定测试所执行到的覆盖项的百分比。
其中的覆盖项是指作为测试基础的一个入口或属性，比如语句、分支、条件等。
测试覆盖率可以表示出测试的充分性，在测试分析报告中可以作为量化指标的依据，测试覆盖率越高，效果越好。
但覆盖率不是目标，而是一种手段。
测试覆盖率包括功能点覆盖率和结构覆盖率。
1）功能点覆盖率主要用于表示软件已经实现的功能与软件需要实现的功能之间的比例关系。
2）结构覆盖率包括语句覆盖率、分支覆盖率、循环覆盖率、路径覆盖率等。
2.逻辑覆盖根据覆盖目标的不同和覆盖源程序语句的详尽程度，逻辑覆盖又可分为语句覆盖、判定覆盖、条件覆盖、条件判定组合覆盖、多条件覆盖、修改条件判定覆盖、组合覆盖和路径覆盖。
（1）语句覆盖语句覆盖是选择足够多的测试数据，使得程序中的每个可执行语句至少执行一次。
语句覆盖的缺点是对程序执行逻辑的覆盖率很低。
（2）判定覆盖判定覆盖是通过设计足够多的测试用例，使得程序中的每一个判定至少获得一次真值和假值，或者使得程序中的每一个取真的分支或取假的分支至少经历一次，也称为分支覆盖。
判定覆盖的缺点是主要对整个表达式的最终取值进行度量，忽略了表达式的内部取值。
（3）条件覆盖条件覆盖是通过设计足够多的测试用例，使得程序中每个判定包含的每个条件的可能取值（真/假）都至少满足一次。
条件覆盖的缺点是不能够满足判定覆盖。
（4）条件判定组合覆盖条件判定组合覆盖是通过设计足够多的测试用例，使得程序中每个判定包含的每个条件的所有情况（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）也至少出现一次。
条件判定组合覆盖的测试用例一定同时满足判定覆盖和条件覆盖。
条件判定组合覆盖的缺点是没有考虑单个判定对整体结果的影响，无法发现逻辑错误。
软件测试教学PPT-白盒测试
逻辑覆盖法
路径覆盖 寻找程序地路径地方法 单个判断语句地路径计算 单个循环语句地路径计算 有嵌套判断或循环时地路径计算
基本路径法
基本路径测试法是在程序控制流图地基 本上,通过分析控制构造地环路复杂,导 出基本可执行地路径集合,从而设计测 试用例地方法。
在基本路径测试,设计出地测试用例要 保证在测试程序地每条可执行语句至少 执行一次。
需求使用程序地控制流图行可视化表达。
基本路径法
程序地控制流图 是描述程序控制流地一种图示方法。其,
圆圈称为控制流图地一个结点,表示一个 或多个无分支地语句或源程序语句;箭头 称为边或连接,代表控制流。 在将程序流程图简化成控制流图时,应注 意: 在选择或多分支结构,分支地汇聚处应有 一个汇聚结点; 边与结点圈定地区域叫做区域,当对区域 计数时,图形外地区域也应记为一个区域。
基本路径法
程序地控制流图
基本路径法
环路复杂度 环路复杂度是一种为程序逻辑复杂提供定
量测度地软件度量 有以下三种方法用于计算环路复杂度: 流图区域地数量对应于环路地复杂度; 给定流图G地环路复杂度V(G),定义为
V(G)=E-N+二,其E是流图边地数量,N是流 图结点地数量; 给定流图G地环路复杂度V(G),定义为 V(G)=P+一,其P是流图G判定结点地数量。
T一,T二,-T三,T四 一,七
T一,-T二,T三,T四 二,五
-T一,T二,-T三,-T四 -T一,-T二,-T三,-T
四
T一,T二,T三,-T四
白盒测试技术2-逻辑覆盖法
5、条件组合覆盖
条件组合覆盖 是指通过设计足够多的测试用例，使得运 行这些测试用例时，每个判定中条件结果 的所有可能组合至少出现一次。
条件组合覆盖的测试用例
s 入口
编 判定1各条件 编 判定2各条件
号 组合
号 组合
1 y>1,z==0
-T3，-T2 判定/条件覆盖同时包含 判定覆盖,和条件覆盖。
判定／条件覆盖仍有缺陷。从表面上看，它测试了所有条 件的所有可能结果，但事实上并不是这样。因为某些条件 掩盖了另一些条件。例如，在逻辑表达式中，如果“与” 表达式中某一条件为“假”，则整个表达式的值为“假” ，这个表达式中另外的几个条件就不起作用了。同样地， 如果在“或”表达式中，某一条件为“真”，则整个表达 式的值为“真”，其它条件也就不起作用了。
判定/条件覆盖的测试用例
❖对判定1:（y>1）&&（z==0） 条件 y>1 取真、假分别记为 T1 ，-T1 条件 z==0 取真、假分别记为 T2 ，-T2
❖判定2:（y==2）||（x>1） 条件 y==2取真、假分别记为 T3 ，-T3 条件 x>1 取真、假分别记为 T4 ，-T4
测试用例 输入 预期输出 覆盖条件
//语句块2
j=j%3;
//语句块3
}
对上述程序试用逻辑覆盖法设计测试用例。
画出流程图
a
F X>3 && z<10
Tb
c
执行语句块1
F X==4 || y>5
Td
e
执行语句块2
执行语句块3
1、语句覆盖测试用例
软件测试中的黑盒与白盒技术
软件测试中的黑盒与白盒技术软件测试是软件开发过程中至关重要的一环，它可以帮助我们发现并修复程序中的潜在问题，以提高软件的质量和可靠性。
而在软件测试中，黑盒测试和白盒测试是两种常用的测试技术。
本文将介绍这两种技术的概念、特点以及在软件测试中的应用。
一、黑盒测试黑盒测试又被称为功能测试或行为测试，它关注的是被测试软件的功能和需求是否符合预期，而并不关心软件的内部结构和具体实现。
黑盒测试是从用户的角度出发，通过输入和输出来验证软件系统的正确性和健壮性。
在黑盒测试中，测试人员并不了解软件的具体实现细节，他们只知道输入什么，希望得到什么输出。
测试人员通过领域知识和对软件需求的理解，设计一系列测试用例，用来覆盖不同的功能路径和边界情况。
通过执行这些测试用例，测试人员可以检查系统是否按照预期工作，并且发现潜在的问题。
黑盒测试的主要优点是测试人员不需要了解软件的内部实现，只关注软件的功能和用户需求。
它可以从用户的角度出发，更接近实际使用场景。
然而，黑盒测试也有一些不足之处。
由于无法访问内部结构，黑盒测试无法覆盖所有的代码路径，可能会导致一些潜在问题被忽略。
二、白盒测试白盒测试也被称为结构测试或逻辑驱动测试，它关注的是被测试软件的内部结构和实现。
测试人员需要了解软件的代码和算法，通过检查代码覆盖率和执行路径，来验证软件是否按照预期工作。
在白盒测试中，测试人员通过分析软件的源代码和设计文档，了解软件的内部逻辑和数据结构，设计一系列测试用例来覆盖不同的代码路径和边界情况。
测试人员可以通过调试和追踪执行路径，发现代码中的错误和潜在问题。
白盒测试的主要优点是通过访问内部结构，可以覆盖更多的代码路径和边界情况，从而发现更多的问题。
它可以直接查看代码、变量和函数的运行状态，对于一些复杂的逻辑和算法，白盒测试可以提供更全面的测试覆盖。
然而，白盒测试也有限制。
由于需要了解软件的内部结构，白盒测试需要具备一定的技术和编程知识。
同时，白盒测试过于依赖于特定的代码实现，可能会导致测试结果对不同的代码修改敏感。
白盒测试技术3-基本路径法
将复合条件分解为单个 条件： 1:A>1 2:B=0 3:X=X/A 4:A=2 5:X>1 6:X=X+1 7:}
入口
if ( (A>1)&&(B=0) ) X = X/A; if ( (A=2)||(X>1) ) X = X+1;
}
a
（A>1） &&
T x=x/A c
（B==0）
F
（A==2）
T
b
||
x = x +1 e
（x>1）
F
d
返回
基本路径测试案例2（续）
使用基本路径测试方法，为以下 程序段设计测试用例。
路径覆盖遇到的问题
• 这个流程图，其中包括了一 • 个执行达20次的循环。那么 • 它所包含的不同执行路径数 • 高达520条，若要对它进行穷 • 举测试，覆盖所有的路径。 • 假使测试程序对每一条路径 • 进行测试需要1毫秒，同样 • 假定一天工作24小时，一年 • 工作365 天， 那么要想把如 • 图所示的小程序的所有路径 • 测试完，则需要3170年。
程序中的控制流。
常见结构的流程图与控制流图
控制流图实例
1
2
3
6
7
8
9
10 11
节点 边
4,5
区域
其中，包含条件的节点被称 为判定节点（也叫谓词节点 ），由判定节点发出的边必 须终止于某一个节点，由边 和节点所限定的范围被称为 区域。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
2.2 白盒测试技术
Software testing
Software testing
Software testing
--基本路径测试法
Software testing
基本路径测试法
软件测试方法有白盒测试方法和黑 盒测试方法两种，白盒测试方法主要测 试程序的内部结构，如静态分析法、程 序插桩法和逻辑覆盖法等，基本路径测 试法是应用最为广泛的白盒测试方法。
2
基本路径测试法的主要思想
程序控制流图
环路复杂性
基本可执行 路径集合
测试用例
注意：设计出的测试用例要保证程序的每一条可执行语
句至少执行一次。
3
基本路径测试法的执行步骤
1 画出程序控制流图
2
计算环路复杂性
3 确定独立路径集合
4
设计测试用例
4
Step1: 画出程序的控制流图
控制流图是描述程序控制流的一种图示 方式。控制流图由控制流和结点构成，如图1 所示。
13
Step2: 计算环路复杂性
③ 若设P为控制流图中的判定结点数，则有V(G)=P+1。
1
2
3
4
5
6
7 8
P=3 V(G) = 3+1 = 4
14
基本路径测试法的执行步骤
1 画出程序控制流图
2
计算环路复杂性
3 确定独立路径集合
4
设计测试用例
15StBiblioteka p3: 确定独立路径集合进行程序的基本路径测试时，程序的环路 复杂性给出了程序基本路径集合中的 独立路径 条数。
y=y+10;
else
y=y+20;
iRecordNum=iRecordNum-1;
}
}
}
7
1
2
3
4
5
6
7 8
图3 控制流图
基本路径测试法的执行步骤
1 画出程序控制流图
2
计算环路复杂性
3 确定独立路径集合
4
设计测试用例
8
Step2: 计算环路复杂性
通常环路复杂性可用以下三种方法求得：
else
y=y+20;
iRecordNum=iRecordNum-1;
}
}
}
20
1
2
3
4
5
6
7 8
Step4: 设计测试用例
表1 测试用例列表
输入数据 测试用例编号
iRecordNum itype
Test1
-1
-
Test2
1
0
Test3
1
2
Test4
1
1
预期输出
x
y
0
0
2
0
0
20
0
10
21
① 将环路复杂性V(G)定义为控制流图中的区域数。
9
Step2: 计算环路复杂性
① 将环路复杂性V(G)定义为控制流图中的区域数。
1
2
R2
R1
3
4
R4
5 R3 6
7 8
10
V(G) = 4
Step2: 计算环路复杂性
通常环路复杂性可用以下三种方法求得：
① 将环路复杂性V(G)定义为控制流图中的区域数。 ② 设E为控制流图的边数，N为图的结点数，则定 义环路的复杂性为V(G)=E−N+2。
指程序中包括若干 未曾处理的语句 或条件的一条路 径。
16
Step3: 确定独立路径集合
在基本路径测试法中，独立路径条数即是程序的V(G)值。
1
2
3
4
5
6
7 8
独立路径条数为 4
路径1：1-8 路径2：1-2-3-8 路径3：1-2-4-6-7-1-8 路径4：1-2-4-5-7-1-8
17
基本路径测试法的执行步骤
小结
在使用基本路径测试法时，首先为程序中的语 句标注结点，然后画出程序控制流图，依据控 制流图计算程序的环路复杂度，也就是独立路 径的条数，进而确定独立路径集合，最后为每 一条独立路径设计一组测试用例。
基本路径测试法是一种应用最为广泛的白盒测 试方法，能够保证程序中的每一个分支都至少 被执行一次，有较高的语句覆盖率。
图1 一个简单的控制流图 控制流图的结点，表示一条或多条无分支的语句。 控制流图的边，代表控制流。
5
Step1: 画出程序的控制流图
基本的控制结构对应的图形符号如图2所示。
WHILE循环结构
顺序结构
IF选择结构
CASE多分支选择结构
一条边必图须2 终控止制于流一图个的结图点形，符号
并且分支结构的分支汇
while (iRecordNum>0)
{ ief{ls(xie=tyyp+e2=;=b0r)eak;}输输预入入期路试路路数数结径用径径据据果3例412：（：：（（：i1R循i11iR-t--2ey82e环-cp）-4co3e条-o-65r的=8rd-件d0）7N测;N-不u1的u试-m满8m测用）=<=足1试例=1的,，,0用：测;未例： { if (itype==1) 预期结果：i执xty=行p2,e任y=<=1>何0;0操且作ity。pe<>1; y=y+10; 预期结果：xx==00, y, =y=2100
11
Step2: 计算环路复杂性
② 设E为控制流图的边数，N为图的结点数，则定义环路的 复杂性为V(G)=E−N+2。
1
2
3
4
5
6
7 8
12
E = 10 N=8
V(G) = 10-8+2=4
Step2: 计算环路复杂性
通常环路复杂性可用以下三种方法求得：
① 将环路复杂性V(G)定义为控制流图中的区域数。 ② 设E为控制流图的边数，N为图的结点数，则定 义环路的复杂性为V(G)=E−N+2。 ③ 若设P为控制流图中的判定结点数，则有 V(G)=P+1。
1 画出程序控制流图
2
计算环路复杂性
3 确定独立路径集合
4
设计测试用例
18
Step4: 设计测试用例
为每一条独立路径各设计一组测试用例， 以便强迫程序沿着该路径至少执行一次。
19
Step4: 设计测试用例
void sort (int iRecordNum, int itype)
{
int x=0; int y=0;
聚处，必须有一个结点。
6
UNTIL循环结构
Step1: 画出程序的控制流图
void sort (int iRecordNum, int itype)
{
int x=0; int y=0;
while (iRecordNum>0)
{
if (itype==0)
{x=y+2; break;}
else
{ if (itype==1)