白盒测试方法2基本路径法
白盒测试的主要方法
二、 基本路径测试
基本路径测试就是在程序控制图的基础 上，通过分析控制构造的环行复杂性，导 出基本可执行路径集合，从而设计测试用 例的方法。设计出的测试用例要保证在测 试中程序的每一个可执行语句至少执行一 次。
基本路径测试-----步骤
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
判定覆盖
往往大部分的判定语句是由多个逻辑条
件组合而成，若仅仅判断其整个最终结果， 而忽略每个条件的取值情况，必然会遗漏 部分测试路径 。
白盒测试-基本路径法
⽩盒测试-基本路径法⼀、定义基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执⾏路径集合，从⽽设计测试⽤例的⽅法。
⼆、基本路径测试的步骤1）画出程序控制流图（前提是已经有了程序流程图）2）计算环路复杂度3）导出独⽴路径（可执⾏路径）4）设计测试⽤例三、认识控制流图1、描述程序控制流的⼀种图⽰⽅法，控制流图中只有2种图形符号：结点：标有编号的圆圈表⽰控制流线或边或连接：以箭头表⽰2、各种语句结构的控制流图3、认识什么是区域区域：边和结点圈定的区域叫做区域。
封闭区域+开放区域4、如果判断中的条件表达式是由⼀个或多个逻辑运算符(OR, AND, NAND, NOR) 连接的复合条件表达式，则需要改为⼀系列只有单条件的嵌套的判断。
If(a>1 and b<2){…}If(a>1){If(b<2){…}}（a）流程图四、环形复杂度的计算有以下三种⽅法计算环形复杂度：a)流图中封闭区域的数量+1个开放区域=总的区域数=环形复杂度b)给定流图G的环形复杂度V(G)，定义为V(G)=E-N+2，E是流图中边的数量，N是流图中结点的数量;c)给定流图G的环形复杂度V(G)，定义为V(G)=P+1，P是流图G中判定结点的数量。
五、举例1）画出程序控制流图2）计算环形复杂度a)流图中封闭区域的数量+1个开放区域=总的区域数=环形复杂度3个封闭区域+1个开放区域=4b)给定流图G的环形复杂度V(G)，定义为V(G)=E-N+2，E是流图中边的数量，N是流图中结点的数量;V(G)=E-N+2=11-9+2=4c)给定流图G的环形复杂度V(G)，定义为V(G)=P+1，P是流图G中判定结点的数量。
V(G)=P+1=3+1=43）导出独⽴路径注：因为环形复杂度为4，所以有四条独⽴路径PATH1：1-11PATH2：1-2-3-4-5-10-1-11PATH3：1-2-3-6-7-9-10-1-11PATH4：1-2-3-6-8-9-10-1-114）设计测试⽤例（略）。
白盒测试技术(基本路径测试法)
控制流图的组成： 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
白盒测试的学习路径从基础知识到高级技能
白盒测试的学习路径从基础知识到高级技能白盒测试是软件测试中的一种方法，通过了解并分析被测试软件程序的内部结构、算法和源代码，来进行测试和验证。
它的学习路径可以从基础知识的掌握开始，逐渐深入理解和应用高级技能。
本文将介绍白盒测试的学习路径，并为初学者提供一些学习建议。
1. 学习基本概念和原理白盒测试是建立在软件开发和软件测试基础上的技术，因此，初学者首先需要了解软件开发和软件测试的基本概念和原理。
可以通过阅读相关的书籍、学习课程或参加培训来获得这些基础知识。
在学习过程中，建议结合实际案例和实践操作，加深对概念和原理的理解和应用能力。
2. 掌握编程语言和工具白盒测试需要对被测试软件的内部结构和源代码进行分析，因此，熟悉至少一种编程语言是必要的。
常用的编程语言如C、C++、Java等都可以作为白盒测试的工具，初学者可以选择其中一种，并通过学习和实践来熟练掌握。
此外，还需要了解和掌握一些与白盒测试相关的工具，如调试器、静态分析工具、代码覆盖工具等，这些工具可以帮助初学者更好地进行白盒测试。
3. 深入学习测试技术和方法白盒测试是一种特殊的测试方法，因此，初学者需要深入学习白盒测试的技术和方法。
这包括但不限于以下几个方面：a) 代码覆盖准则：了解和应用不同的代码覆盖准则，如语句覆盖、条件覆盖、判定覆盖等，以提高测试的全面性和有效性。
b) 数据流分析：学习和应用数据流分析的方法，识别出程序中的数据依赖关系和数据流变量，以验证程序的正确性和逻辑一致性。
c) 异常和边界检测：掌握异常处理和边界条件测试的方法和技巧，以发现可能影响程序稳定性和正确性的异常情况和边界问题。
d) 性能和安全测试：了解和学习在白盒测试中的性能测试和安全测试的方法和技术，以验证程序在不同负载和攻击环境下的性能和安全性。
4. 实践和项目经验在掌握了基本概念、编程语言和测试技术之后，初学者需要通过实践和项目经验来提高自己的白盒测试能力。
可以选择一些开源项目或自己编写的小型项目作为练习和实践的对象，通过分析和测试项目的源代码，不断提升自己的技能和经验。
基本路径测试用例
基本路径测试用例是指对于一个程序模块，通过使用路径分析技术，确定所有可能的路径，并为每个路径设计测试用例。
基本路径测试用例是一种白盒测试方法，它关注程序的内部逻辑结构而不是外部行为。
确定基本路径测试用例的步骤如下：
1. 画出程序的控制流图：控制流图是一个有向图，其中每个节点表示程序的一个基本语句或条件判断，每个边表示一个控制转移。
2. 计算程序的基本路径数：基本路径数是程序中所有可能路径的总数。
可以通过计算程序的控制流图中节点的数量来得到基本路径数。
3. 生成测试用例：对于每个基本路径，设计一个测试用例，确保该路径在程序运行时被执行到。
在设计基本路径测试用例时，需要考虑以下因素：
1. 输入数据：为每个测试用例选择合适的输入数据，以确保测试用例能够覆盖程序的所有分支和条件。
2. 程序状态：考虑程序在执行测试用例之前的状态，以确保测试用例能够正确地执行。
3. 边界条件：考虑程序的边界条件，以确保测试用例能够覆盖所
有可能的输入和输出情况。
4. 异常情况：考虑程序的异常情况，例如输入非法数据或程序出现错误时的处理方式，以确保测试用例能够覆盖这些情况。
总之，基本路径测试用例是一种有效的白盒测试方法，它可以帮助开发人员发现程序中的潜在问题并提高程序的可靠性。
白盒测试
案例： 案例：选择排序
public void select_sort ( int a[ ] ) { int i, j, k, t, n = a.length; for ( i = 0; i<n-1; i++ ) { k = i; for( j = i + 1; j < n; j++ ) { if ( a[j] < a[k] ) k = j; } if ( i != k ) { t = a[k]; a[k] = a[i]; a[i] = t; } }}
A
B
白盒测试
白盒测试方法:
控制流测试
逻辑覆盖 路径测试
数据流测试 基于程序片的测试
1 控制流图
控制流图是退化的程序流程图，图中每 个处理都退化成一个结点，流线变成连 接不同结点的有向弧。 控制流图将程序流程图中结构化构件改 用一般有向图的形式表示。
控制流图
在控制流图中用圆“○”表示节点，一 个圆代表一条或多条语句。 控制流图中的基本元素：
√ ×
语句覆盖 Case1：A=2, B=0, X=3
a F b F d T (A>1) AND (B=0) T c X=X/A
(A=2) OR (X>1)
e
X=X+1
Case2：A=2, B=1, X=3
a F b F d T
语句覆盖
此语句未覆盖
(A>1) AND (B=0)
T c X=X/A
a (A>1) AND (B=0) b T c X=X/A 错写成X<1 错写成 F (A=2) OR (X>1) d T e X=X+1
因此判定覆盖仍是弱的覆盖标准。 因此判定覆盖仍是弱的覆盖标准。
基本路径测试方法
基本路径测试方法
基本路径测试方法是一种白盒测试技术，用于测试软件系统中的所有可能路径。
它是一种结构化的测试方法，基于程序的控制流图，通过遍历系统中的所有可能路径来验证系统的正确性和稳定性。
基本路径测试方法的主要步骤如下：
1. 识别控制流图：首先，需要将软件系统的源代码转换为控制流图。
控制流图是一个图形化表示程序控制流程的图，由控制流程节点和控制流程边组成。
2. 确定基本路径：在控制流图中，基本路径是从程序的入口节点到出口节点的一条路径。
基本路径测试的目标是遍历系统中的所有基本路径。
3. 计算基本路径的数量：基本路径的数量是基于控制流图中的节点和边的数量计算得出的。
它代表了系统中的所有可能路径。
4. 设计测试用例：根据基本路径的数量，设计测试用例来覆盖系统中的所有基本路径。
每个测试用例应该包含一个输入和一个预期输出，以验证系统在不同路径下的行为。
5. 执行测试用例：按照设计的测试用例，逐个执行测试用例。
记录测试结果并与预期输出进行比较，以确定系统是否按照预期工作。
6. 分析测试结果：分析测试结果，查找系统中的错误和缺陷。
如果测试结果与预期输出不一致，说明系统在某些路径下出现了错
误。
7. 修复错误和重复测试：对发现的错误进行修复，并重新执行测试用例。
重复测试过程，直到系统在所有基本路径上都能按照预期工作。
通过基本路径测试方法，可以全面地测试系统中的各种情况和路径，从而提高软件的质量和稳定性。
它可以帮助开发人员找出隐藏的错误和缺陷，并及时修复，确保系统的正确性和可靠性。
白盒测试测试方法详解
白盒测试white-box testing1测试概述白盒测试又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。
白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的，你清楚盒子内部的东西以及里面是如何运作的。
"白盒"法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。
"白盒"法是穷举路径测试。
在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。
贯穿程序的独立路径数是天文数字。
采用什么方法对软件进行测试呢？常用的软件测试方法有两大类：静态测试方法和动态测试方法。
其中软件的静态测试不要求在计算机上实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试；而软件的动态测试是通过输入一组预先按照一定的测试准则构造的实例数据来动态运行程序，而达到发现程序错误的过程。
在动态分析技术中，最重要的技术是路径和分支测试。
下面要介绍的六种覆盖测试方法属于动态分析方法。
测试方法白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、路径覆盖和程序变异。
白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。
其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。
白盒测试六种覆盖标准：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖发现错误的能力呈由弱至强的变化。
语句覆盖每条语句至少执行一次。
判定覆盖每个判定的每个分支至少执行一次。
条件覆盖每个判定的每个条件应取到各种可能的值。
判定/条件覆盖同时满足判定覆盖条件覆盖。
条件组合覆盖每个判定中各条件的每一种组合至少出现一次。
路径覆盖使程序中每一条可能的路径至少执行一次。
要求1.保证一个模块中的所有独立路径至少被使用一次；2.对所有逻辑值均需测试 true 和 false；3.在上下边界及可操作范围内运行所有循环；4.检查内部数据结构以确保其有效性。
基本路径法设计测试用例
基本路径法设计测试⽤例基本路径法是⽩盒测试中使⽤最为⼴泛的⽅法。
以下将介绍⼀下基本路径法如何使⽤。
基本路径法设计测试⽤例的步骤基本如下
1.由程序的源代码作为基础导出控制流图
2.计算控制流图的环路复杂度
3.确定基本路径
4.根据基本路径设计测试⽤例
接下来我举个例⼦
1 Int IsLeap(int year)
2 {
3if (year % 4 == 0)
4 {
5 if (year % 100 == 0)
6 {
7 if ( year % 400 == 0)
8 leap = 1;
9 else
10 leap = 0;
11 }
12 else
13 leap = 1;
14 }
15else
16 leap = 0;
17return leap;
18 }
这是⼀段简单的测试闰年的C语⾔代码。
1.画出控制流图
控制流图基本如上
2.计算复杂度V(G)
V(G)=E-V+2
=10-8+2
=4
所以可以判定共有四条基本路径
3.确定基本路径
1)(1,2,8)
2)(1,3,4,6,8)
3)(1,3,4,7,8)
4)(1,3,5,8)
4.设计测试⽤例
1）不能被4整除：1999
2）能被4整除，能被100整除，能被400整除：2000
3）能被4整除，能被100整除，不能被400整除：1900
4）能被4整除，不能被100整除：2004
以上。
4(2)第4章 白盒测试用例2-基本路径法
TC3
TC4
练习题
Logo
• 根据左图给出的程序流程 图，完成以下要求：
（1）画出相应的控制流 图。
（2）计算环形复杂度。
（3）给出相应的图矩阵。 (4）找出程序的独立 路径集合。
ｆ ｂ
ｃ
3
ｄ
4
ｅ
5
• 在控制流图中只 有两种图形符号， 它们是： 1. 节点：以标有编 号的圆圈表示。 2. 控制流线或弧： 以箭头表示。
1. 程序的控制流图
Logo
节点
1、标有编号的圆圈 2、程序流程图中矩形框所表示的处 理 3、菱形表示的两个甚至多个出口判 断 4、多条流线相交的汇合点
1. 程序的控制流图
设计测试用例
Logo
• 根据上一步得出的独立路径，涉及测试用例， 如下： 输入数据 预期输出 TC1 TC2 irecordnum=0 itype=0 irecordnum=1 itype=0 irecordnum=1 itype=1 irecordnum=1 itype=2 x=0 y=0 x=0 y=0 x=10 y=0 x=0 y=20
Logo
X=X/A
2
3
（ a ） 流程图
1
A>1
B=0
2
X=X/A
4 （d ） 流程图 c 对应的流图
3
（ c ） 详细流程图
1. 程序的控制流图
Logo
1. 程序的控制流图
Logo
2. 程序环路复杂性
Logo
• 环路复杂性即McCabe复杂性度量，在 进行程序的基本路径测试时，从程序 的环路复杂性可导出程序基本路径集 合中的独立路径条数。
• 程序的环路复杂性给出了程序基本 路径集中的独立路径条数，这是确 保程序中每个可执行语句至少执行 一次所必需的测试用例数目的上界。
第08课--白盒测试(2)—路径分析测试(基本路径测试)
上述测试用例覆盖了4个条件产生的8种情况。
3. V(G) = 边的数目-节点的数目 + 2
环复杂度
环复杂度
闭合区域的数目 = 5 二值判定节点个数 + 1 =4+1=5 边的数目-节点的数目 + 2 = 16-13+2=5
基本路径
实用的定义 一条路径是基本路径如果: 1. 是一条从起始节点到终止节点的路径. 2. 至少包含一条其它基本路径没有包含的边. (至 少引入一个新处理语句或一个新判断的程序通 路.) 注意：对于循环而言，基本路径应包含不执行循 环和执行一次循环体。
SWPU
案例分析3
——已知程序代码，根据基本路径测试法， 导出测试用例
SWPU
PROCEDURE averagy; * This procedure computes the averagy of 100 or fewer numbers that liebounding values; it also computes the total input and the total valid. INTERFACE RETURNS averagy, total.input, total.valid; INTERFACE ACCEPTS value, minimum, maximum; TYPE value[1:100] IS SCALAR ARRAY; TYPE averagy, total.input, total.valid, minimum, maximum, sum IS SCALAR; TYPE i IS INTEGER;
使用基本路径设计测试用例方法推导三角形问题的测试用例
白盒测试的常用技术
白盒测试的常用技术白盒测试的常用技术主要有7种，下面我们将分别介绍。
一、逻辑覆盖法逻辑覆盖法主要讨论以下四点：测试覆盖率。
逻辑覆盖。
面向对象的覆盖。
测试覆盖准则。
下面分别进行讨论。
1.测试覆盖率测试覆盖率是用于确定测试所执行到的覆盖项的百分比。
其中的覆盖项是指作为测试基础的一个入口或属性，比如语句、分支、条件等。
测试覆盖率可以表示出测试的充分性，在测试分析报告中可以作为量化指标的依据，测试覆盖率越高，效果越好。
但覆盖率不是目标，而是一种手段。
测试覆盖率包括功能点覆盖率和结构覆盖率。
1）功能点覆盖率主要用于表示软件已经实现的功能与软件需要实现的功能之间的比例关系。
2）结构覆盖率包括语句覆盖率、分支覆盖率、循环覆盖率、路径覆盖率等。
2.逻辑覆盖根据覆盖目标的不同和覆盖源程序语句的详尽程度，逻辑覆盖又可分为语句覆盖、判定覆盖、条件覆盖、条件判定组合覆盖、多条件覆盖、修改条件判定覆盖、组合覆盖和路径覆盖。
（1）语句覆盖语句覆盖是选择足够多的测试数据，使得程序中的每个可执行语句至少执行一次。
语句覆盖的缺点是对程序执行逻辑的覆盖率很低。
（2）判定覆盖判定覆盖是通过设计足够多的测试用例，使得程序中的每一个判定至少获得一次真值和假值，或者使得程序中的每一个取真的分支或取假的分支至少经历一次，也称为分支覆盖。
判定覆盖的缺点是主要对整个表达式的最终取值进行度量，忽略了表达式的内部取值。
（3）条件覆盖条件覆盖是通过设计足够多的测试用例，使得程序中每个判定包含的每个条件的可能取值（真/假）都至少满足一次。
条件覆盖的缺点是不能够满足判定覆盖。
（4）条件判定组合覆盖条件判定组合覆盖是通过设计足够多的测试用例，使得程序中每个判定包含的每个条件的所有情况（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）也至少出现一次。
条件判定组合覆盖的测试用例一定同时满足判定覆盖和条件覆盖。
条件判定组合覆盖的缺点是没有考虑单个判定对整体结果的影响，无法发现逻辑错误。
实验二_白盒测试
实验二：白盒测试一、实验目的保证一个模块中的所有独立路径至少被执行一次；对所有的逻辑值均需要测试真、假两个分支；在上下边界及可操作范围内运行所有循环；检查内部数据结构以确保其有效性。
二、实验内容要求：被测测试程序功能：PriorDate函数；程序定义：为了获得前一个日期， PriorDate函数执行如下操作：(默认年数大于等于0)如果输入日期day变量值大于1，则把day变量的值减1；如果输入日期是2~12月份中某月的第一天，则把day变量的值置为前一个月的最后一天，month变量的值减1；如果输入日期是1月的第一天，则day变量的值置为31，month变量的值置为12，year变量的值减1。
关于最后一天的判断：如果是有31天的月份(1,3,5,7,8,10,12)，day变量值为31；如果是有30天的月份(4,6,9,11)，day变量值为30；如果是有29天的月份(闰年的2月)，day变量值为29；如果是有28天的月份(非闰年的2月)，day变量值为28。
测试环境：Windows 7、Eclipse；三、实验要求根据代码调通程序并进行白盒测试，即用语句覆盖、分支覆盖、条件覆盖、分支/条件覆盖、条件组合覆盖及基本路径测试方法，写出测试用例，执行测试，给出测试报告，实验报告。
四、实验测试用例与测试结果程序的流程图如下图：1.语句覆盖语句覆盖就是设计若干个测试用例，运行被测程序，使得每一可执行语句至少执行一次。
测试数据执行路径结果month=13，day=32，year=-10OACEGZ 日的范围为：1 (31)月的范围为：1 (12)年应该大于0month=12，day=12，year=2012 OBDFHL Y 前一天为：12 11 2012month=12，day=1，year=2012 OBDFHMY 前一天为：11 30 2012month=11，day=1，year=2012 OBDFIPY 前一天为：10 31 2012 month=3，day=12，year=2000 OBDFJQY 前一天为：3 11 2000 month=3，day=1，year=2012 OBDFJRY 前一天为：2 28 2012 month=1，day=12，year=2012 OBDFKSY 前一天为：1 11 2012 month=1，day=1，year=2012 OBDFKTWY 前一天为：12 31 2009 month=1，day=1，year=0 OBDFKTXY 上一年也应大于02.分支覆盖执行足够的测试用例，使得程序中的每一个分支至少都通过一次测试数据执行路径结果month=13，day=32，year=-10OACEGZ 日的范围为：1 (31)月的范围为：1 (12)年应该大于0month=12，day=12，year=2012 OBDFHL Y 前一天为：12 11 2012 month=12，day=1，year=2012 OBDFHMY 前一天为：11 30 2012 month=11，day=12，year=2012 OBDFINY 前一天为：11 11 2012 month=11，day=1，year=2012 OBDFIPY 前一天为：10 31 2012 month=3，day=12，year=2000 OBDFJQY 前一天为：3 11 2000 month=3，day=1，year=2000 OBDFJRY 前一天为：2 29 2000 month=3，day=1，year=2012 OBDFJRY 前一天为：2 28 2012 month=1，day=12，year=2012 OBDFKSY 前一天为：1 11 2012 month=1，day=1，year=2012 OBDFKTWY 前一天为：12 31 2009 month=1，day=1，year=0 OBDFKTXY 上一年也应大于03.条件覆盖测试数据执行路径结果month=13，day=32，year=-10OACEGZ 日的范围为：1 (31)月的范围为：1 (12)年应该大于0month=0，day=0，year=1800 OACEGZ 日的范围为：1 (31)月的范围为：1 (12)年应该大于0month=12，day=1，year=2012 OBDFHMY 前一天为：11 30 2012 month=11，day=12，year=2012 OBDFINY 前一天为：11 11 2012 month=11，day=1，year=2012 OBDFIPY 前一天为：10 31 2012 month=3，day=12，year=2000 OBDFJQY 前一天为：3 11 2000 month=3，day=1，year=2000 OBDFJRY 前一天为：2 29 2000 month=3，day=1，year=2012 OBDFJRY 前一天为：2 28 2012 month=1，day=12，year=2012 OBDFKSY 前一天为：1 11 2012 month=1，day=1，year=2012 OBDFKTWY 前一天为：12 31 2009 month=1，day=1，year=0 OBDFKTXY 上一年也应大于0执行足够的测试用例，使得判定中的每个条件获得各种可能的结果。
软件测试教学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、语句覆盖测试用例
基本路径测试方法
2)路径2(1-2-9-11-12)的测试用例： score[ 1 ]= – 1 ; 期望的结果：average = – 1 ，其他量保持初值。
3)路径3(1-2-3-9-10-12)的测试用例： 输入多于50个有效分数，即试图处理51个有效分数, 期望结果：n1=50，算出前50个分数的总分和平均分。 因为该路径要求n2>=50,无法独立测试，所以必须作为 路径4或5或6的一部分来测试。
圆圈代表结点，代表 一条或多条语句
箭头线称为边，代表 控制流
由边和结点围成的面积称为区域，当 计算区域数时应该包括图外部未被围 起的部分，如图有R1-R6，共6块区域。
1.程序流程图中的一个顺序的处 理框序列和一个菱形判定框，可 以映射成流图中的一个结点。 2.在选择或多分支结构中，分支 的汇聚处应有一个汇聚结点。 3.如果判断中的条件表达式是由 一个或多个逻辑运算符 (OR, AND, NAND, NOR) 连接的复合条件表达 式，则需要改为一系列只有单条 件的嵌套的判断。 4.流图中一条边必须终止于一个 结点，即使这个结点不代表任何 语句。（实际相当于一个空语句）
程序流程图
流图
为了突出表示程序的控制流，人 们通常使用流图（也称为程序 图）。所谓流图实际上是“退化 了的”程序流程图，它仅仅描绘 程序的控制流程，完全不表现对 数据的具体操作以及分支或循环 的具体条件。 用任何方法表示的过程设计结果 都可以翻译成流图。
下面这一程序流程图描述了最多输入50个学生成绩 存在Score中(以–1作为输入结束标志)，计算其中有 效的学生分数（0-100分）的个数、总分数和平均值。
流图中线性无关的区域等于环形复杂度 R1-R6共6个区域，环形复杂度为6
白盒测试技术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)。
1. 程序的控制流图
第16页/共38页
1. 程序的控制流图
第17页/共38页
区域
第18页/共38页
1. 程序的控制流图
复合条件的控制流图 如果判断中的条件表达式是由一
个或多个逻辑运算符 (OR, AND, ...) 连接的复合条件表达式，则 需改为 一系列只有单个条件的嵌 套的判断。
第3页/共38页
B. 基本路径测试
本次课将会接触到的新知识：
1.控制流图 2.环形复杂度 3.独立路径
第4页/共38页
基本路径测试
路径测试就是从一个程序的入口开始， 执行所经历的各个语句的完整过程。 从广义的角度讲，任何有关路径分析 的测试都可以被称为路径测试。
完成路径测试的理想情况是做到路径 覆盖，但对于复杂性大的程序要做到 所有路径覆盖是不可能的。
第27页/共38页
图中的圈复杂度， 计算如下：
✓流图中有四 个区域；
✓V(G)=10条边 -8结点+2=4;
✓V(G)=3个判 定结点+1=4。
2. 程序环路复杂性
第28页/共38页
3. 导出测试用例
导出测试用例，确保基本路径集中 的每一条路径的执行。
根据判断结点给出的条件，选择适 当的数据以保证某一条路径可以被 测试到 — 用逻辑覆盖方法。
路径 path1，path2，path3，path4组 第26页/共38页
2. 程序环路复杂性
程序环路复杂性计算方法（三种）：
(1)流图中区域的数量对应于环形 复杂度
(2)给定流图G的环形复杂度V(G), 定义为V(G)=E-N+2, E是流图中边 的数量，N是流图中节点的数量。
(3) V(G)=P+1, P是流图G中的判 定节点数。
程序的环路复杂性给出了程序基本 路径集中的独立路径条数，这是确 保程序中每个可执行语句至少执行
第23页/共38页
2. 程序环路复杂性
独立路径：指包括一组以前没有处理 的语句或条件的一条路径。
从控制流图来看，一条独立路径是 至少包含有一条在其它独立路径中 从未有过的边的路径。
一条路径这里指一条“程序通路”。
第5页/共38页
基本路径测试
在不能做到所有路径覆盖的前提下， 如果某一程序的每一个独立路径都 被测试过，那么可以认为程序中的 每个语句都已经检验过了，即达到 了语句覆盖。这种测试方法就是通 常所说的基本路径测试法。
第6页/共38页
基本路径测试
基本路径测试方法是在控制流图的基 础上，通过分析控制结构的环形复杂 度，导出执行路径的基本集，再从该 基本集设计测试用例。基本路径测试 方法包括4个步骤：
第7页/共38页
基本路径测试
（1）画出程序的控制流图。 （2）计算程序的环形复杂度，导出程序
基本路径集中的独立路径条数，这是 确定程序中每个可执行语句至少执行 一次所必须的测试用例数目的上界。
第8页/共38页
基本路径测试
（3）导出基本路径集，确定程序的独立 路径。
（4）根据(3)中的独立路径，设计测试 用例的输入数据和预期输出。
第4章 白盒测试方法 ——基本路径法
第1页/共38页
1 基本路径法的思想
2
控制流图
3 环形复杂度（环路复杂性）
4
独立路径
5
基本路径测试步骤
6
实例应用
目录
第2页/共38页
课堂测试
写出逻辑覆盖测试包含的六种 基本类型，并写出它们的基本 测试要求。
➢例： 1、语句覆盖：使程序中的***语
句至少测试一次。
第9页/共38页
控制流图
程序流程图又称框图，是我们最熟悉，也是最容易理解的一种程序控 制结构的图形表示了。在这种图上的框里面常常标明了处理要求或者 条件，但是，这些标注在做路径分析时是不重要的。为了更加突出控 制流的结构，需要对程序流程图做一些简化。
第10页/共38页
1. 程序的控制流图
在控制流图中只
第19页/共38页
A>1 AND B=0
X=X/A
1 2
（a ） 流程图
3
1
A>1
B=0
（c ） 详细流程图
2
X=X/A
4
3
（d ） 流程图c 对应的流图
第20页/共38页
1. 程序的控制流图
第21页/共38页
1. 程序的控制流图
第22页/共38页
2. 程序环路复杂性
环路复杂性即McCabe复杂性度量，在 进行程序的基本路径测试时，从程序 的环路复杂性可导出程序基本路径集 合中的独立路径条数。
第30页/共38页
基本路Байду номын сангаас测试
基本路径测试法的步骤：
(1)以详细或源代码作为基础，导出程序 的控制流图。
(2)计算得到控制流图G的环路复杂度V(G) (3)确定基本路径集，生成测试用例，确
保基本路径集中每条路径的执行。
第31页/共38页
第24页/共38页
思考:根据独立 路径的定义,在 图示的控制流图 中，有哪些独立 的路径?
2. 程序环路复杂性
第25页/共38页
2. 程序环路复杂性
path1：1 - 11 path2：1 - 2 - 3 - 4 - 5 - 10 - 1 - 11 path3：1 - 2 - 3 - 6 - 8 - 9 - 10 - 1 - 11 path4：1 - 2 - 3 - 6 - 7 - 9 - 10 - 1 - 11
1. 程序的控制流图
✓控制流线或弧
1、箭头 2、与程序流程图中的流线一致，表
明了控制的顺序 3、控制流线通常标有名字
第13页/共38页
1. 程序的控制流图
第14页/共38页
1. 程序的控制流图
在选择或多分支结构中，分支的汇 聚处应有一个汇聚节点。
边和结点圈定的区域叫做区域，当 对区域计数时，图形外的区域也应 记为一个区域。
1
ａ
有两种图形符号，
1
2
ｃ
它们是：
2
3ｆ
4
ｂ 3 1. 节点：以标有编
4
ｄ
5
ｅ
号的圆圈表示。
5
2. 控制流线或弧：
以箭头表示。
第11页/共38页
1. 程序的控制流图
✓节点
1、标有编号的圆圈 2、程序流程图中矩形框所表 示的处理 3、菱形表示的两个甚至多个 出口判断 4、多条流线相交的汇合点
第12页/共38页
第29页/共38页
3. 导出测试用例
每个测试用例执行之后，与预期结果 进行比较。如果所有测试用例都执行 完毕，则可以确信程序中所有的可执 行语句至少被执行了一次。
必须注意，一些独立的路径，往往不 是完全孤立的，有时它是程序正常的 控制流的一部分，这时，这些路径的 测试可以是另一条路径测试的一部分。