白盒测试方法2-基本路径法
1. 程序的控制流图 Logo
1. 程序的控制流图 Logo
区域 Logo
1. 程序的控制流图 Logo
• 复合条件的控制流图 如果判断中的条件表达式是由一
个或多个逻辑运算符 (OR, AND, ...) 连接的复合条件表达式，则 需改为 一系列只有单个条件的嵌 套的判断。
A>1 AND B=0
y=0 x=10
y=0 x=0
y=20
课堂实训 Logo
• 根据左图给出的程序流程 图，完成以下要求：
（1）画出相应的控制流 图。
（2）计算环形复杂度。 （3）找出程序的独立路
径集合。
• 一条路径这里指一条“程序通路”。
2. 程序环路复杂性 Logo
思考:根据独立 路径的定义,在 图示的控制流图 中，有哪些独立 的路径?
2. 程序环路复杂性 Logo
• 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
基本路径测试 Logo
• 基本路径测试法的步骤：
(1)以详细设计或源代码作为基础，导出 程序的控制流图。
(2)计算得到控制流图G的环路复杂度V(G) (3)确定基本路径集，生成测试用例，确
保基本路径集中每条路径的执行。
• 例：如下所示的c语言函数：
void sort(int irecordnum, int itype)
• 根据判断结点给出的条件，选择适 当的数据以保证某一条路径可以被 测试到 — 用逻辑覆盖方法。
3. 导出测试用例 Logo
• 每个测试用例执行之后，与预期结果 进行比较。如果所有测试用例都执行 完毕，则可以确信程序中所有的可执 行语句至少被执行了一次。
• 必须注意，一些独立的路径，往往不 是完全孤立的，有时它是程序正常的 控制流的一部分，这时，这些路径的 测试可以是另一条路径测试的一部分。
设计测试用例 Logo
• 根据上一步得出的独立路径，设计测试用例，
如下：
输入数据 预期输出
TC1 irecordnum=0
itype=0 TC2 irecordnum=1
itype=0 TC3 irecordnum=1
itype=1 TC4 irecordnum=1
itype=2
x=0
y=0 x=0
1{
2 int x=0;
3 int y=0;
4 while(irecordnum-->0)
5{
6 if(itype= =0)
7
break;
8 else
9
if(itype==1)
10
x=x+10;
11 else
12
y=y+20;
13 }
14 }
Logo
程序段的流图
4
6
7
9
10
12
14 13
Logo
计算其环形复杂度 Logo
• 路径 path1，path2，path3，path4组 成了控制流图的一个基本路径集。
2. 程序环路复杂性 Logo
• 程序环路复杂性计算方法（三种）：
• (1)流图中区域的数量对应于环形 复杂度
• (2)给定流图G的环形复杂度V(G), 定义为V(G)=E-N+2, E是流图中边 的数量，N是流图中节点的数量。
白盒测试方法 ——基本路径法
目录
1 基本路径法的思想
2
控制流图
3 环形复杂度（环路复杂性）
4
独立路径
5
基本路径测试步骤
6
实例应用
Logo
基本路径测试
Logo
本次课将会接触到的新知识：
1.控制流图 2.环形复杂度 3.独立路径
基本路径测试 Logo
• 路径测试就是从一个程序的入口开始， 执行所经历的各个语句的完整过程。 从广义的角度讲，任何有关路径分析 的测试都可以被称为路径测试。
• 环形复杂度为:
• V(G)=E-N+2 =10-8+2=4
• 或者 V(G)=P+1 =3+1=4
导出基本路径集 Logo
• 导出基本路径集，列出程序的独立路径， 得：
• 路径1：4-〉14 • 路径2：4-〉6-〉7-〉14 • 路径3：4-〉6-〉9-〉10-〉13-〉4-〉
14
• 路径4：4-〉6-〉9-〉12-〉13-〉4-〉 14
基本路径测试 Logo
• 基本路径测试方法是在控制流图的基 础上，通过分析控制结构的环形复杂 度，导出执行路径的基本集，再从该 基本集设计测试用例。基本路径测试 方法包括4个步骤：
基本路径测试 Logo
（1）画出程序的控制流图。 （2）计算程序的环形复杂度，导出程序
基本路径集中的独立路径条数，这是 确定程序中每个可执行语句至少执行 一次所必须的测试用例数目的上界。？
• 完成路径测试的理想情况是做到路径 覆盖，但对于复杂性大的程序要做到 所有路径覆盖是不可能的。
基本路径测试 Logo
• 在不能做到所有路径覆盖的前提下， 如果某一程序的每一个独立路径都 被测试过，那么可以认为程序中的 每个语句都已经检验过了，即达到 了语句覆盖。这种测试方法就是通 常所说的基本路径测试法。
• 程序的环路复杂性给出了程序基本 路径集中的独立路径条数，这是确 保程序中每个可执行语句至少执行 一次所必需的测试用例数目的上界。
2. 程序环路复杂性 Logo
• 独立路径：指包括一组以前没有处理 的语句或条件的一条路径。
• 从控制流图来看，一条独立路径是 至少包含有一条在其它独立路径中 从未有过的边的路径。
• (3) V(G)=P+1, P是流图G中的判 定节点数。
2. 程序环路复杂性 Logo
图中的圈复杂度， 计算如下：
流图中有四 个区域；
V(G)=10条边 -8结点+2=4;
V(G)=3个判 定结点+1=4。
3. 导出测试用例 Logo
• 导出测试用例，确保基本路径集中 的每一条路径的执行。
1. 程序的控制流图 Logo
• 在控制流图中只
1
有两种图形符号，
ａ
1
它们是：
2
ｃ
2 3 ｆ ｂ 3 1. 节点：以标有编
4
4
ｄ
号的圆圈表示。
5
ｅ
5
2. 控制流线或弧：
以箭头表示。
1. 程序的控制流图 Logo
节点
1、标有编号的圆圈 2、程序流程图中矩形框所表 示的处理 3、菱形表示的两个甚至多个 出口判断 4、多条流线相交的汇合点
1. 程序的控制流图 Logo
控制流线或弧
1、箭头 2、与程序流程图中的流线一致，表
明了控制的顺序 3、控制流线通常标有名字
1. 程序的控制流图 Logo
1. 程序的控制流图 Logo
• 在选择或多分支结构中，分支的汇 聚处应有一个汇聚节点。
• 边和结点圈定的范围叫做区域，当 对区域计数时，图形外的区域也应 记为一个区域。
X=X/A
1
Logo
2
（a ） 流程图
A>1
B=0
X=X/A
（c ） 详细流程图
3
1
2
4
3
（d ） 流程图c 对应的流图
1. 程序的控制流图 Logo
1. 程序的控制流图 Logo
2. 程序环路复杂性 Logo
• 环路复杂性即McCabe复杂性度量，在 进行程序的基本路径测试时，从程序 的环路复杂性可导出程序基本路径集 合中的独立路径条数。
基本路径测试 Logo
（3）导出基本路径集，确定程序的独立 路径。
（4）根据(3)中的独立路径，设计测试 用例的输入数据和预期输出。
控制流图 Logo
• 程序流程图又称框图，是我们最熟悉，也 是最容易理解的一种程序控制结构的图形 表示了。在这种图上的框里面常常标明了 处理要求或者条件，但是，这些标注在做 路径分析时是不重要的。为了更加突出控 制流的结构，需要对程序流程图做一些简 化。
软件测试-实验2-白盒测试案例分析
实验 2 白盒测试一、实验目的与要求1、掌握白盒测试的语句覆盖和判定覆盖测试方法的原理及应用2、掌握条件覆盖、条件组合覆盖的方法，提高应用能力3、掌握路径法测试二、实验设备1、电脑PC三、实验原理白盒测试原理：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否已经过检查。
它是把测试对象看作装在一个透明的白盒子里，也就是完全了解程序的结构和处理过程。
这种方法按照程序内部的逻辑测试程序，检验程序中的每条通路是否都能按预定要求正确工作，其又称为结构测试。
1、语句覆盖语句覆盖指代码中的所有语句都至少执行一遍，用于检查测试用例是否有遗漏，如果检查到没有执行到的语句时要补充测试用例。
无须细分每条判定表达式，该测试虽然覆盖了可执行语句，但是不能检查判断逻辑是否有问题。
2、判定覆盖又称判断覆盖、分支覆盖，指设计足够的测试用例，使得程序中每个判断的取真分支和取假分支至少经历一次，即判断真假取值均曾被满足。
判定覆盖比语句覆盖强，但是对程序逻辑的覆盖度仍然不高，比如由多个逻辑条件组合而成的判定，仅判定整体结果而忽略了每个条件的取值情况。
3、条件覆盖、条件判定覆盖条件覆盖指程序中每个判断中的每个条件的所有可能的取值至少要执行一次，但是条件覆盖不能保证判定覆盖，条件覆盖只能保证每个条件至少有一次为真，而不考虑所有的判定结果。
条件判定覆盖是条件覆盖和判定覆盖的组合，指设计足够的测试用例，使得判定中每个条件的所有可能的取值至少出现一次，并且每个判定取到的各种可能的结果也至少出现一次。
条件判定覆盖弥补了条件和判定覆盖的不足，但是未考虑条件的组合情况。
4、条件组合覆盖又称多条件覆盖，设计足够的测试用例，使得判定条件中每一个条件的可能组合至少出现一次。
线性地增加了测试用例的数量。
5、基本路径法在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行的路径集合，从而设计测试用例的方法。
白盒测试的主要方法
二、 基本路径测试
基本路径测试就是在程序控制图的基础 上，通过分析控制构造的环行复杂性，导 出基本可执行路径集合，从而设计测试用 例的方法。设计出的测试用例要保证在测 试中程序的每一个可执行语句至少执行一 次。
基本路径测试-----步骤
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. 计算程序的基本路径数：基本路径数是程序中所有可能路径的总数。
可以通过计算程序的控制流图中节点的数量来得到基本路径数。
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复杂性度量，在 进行程序的基本路径测试时，从程序 的环路复杂性可导出程序基本路径集 合中的独立路径条数。
• 程序的环路复杂性给出了程序基本 路径集中的独立路径条数，这是确 保程序中每个可执行语句至少执行 一次所必需的测试用例数目的上界。