5软件测试：白盒测试方法

控制流图：循环结构
#include<stdio.h>
main()
① { char s[80];
② int i=0;
③ scanf("%s",s);
④ while( s[i]!='\0')
⑤ { if(s[i] >= 97)
⑥
s[i]=s[i]-32; i++;
⑦}
⑧ puts(s);
⑨}
1-3 4
y=0; X= x+1; }
控制流图是一个带有开始和结束节点的有向图 控制流图由节点、边、区域组成 程序语句通过节点来表示 语句之间分支路径是通过边（控制流）来表示 没有分支语句序列用一个节点来表示 图内开始和结束节点可省略
分支语句是关键
各种语句结构的控制流图
顺序结构语句
If … then… else… If … then… switch…case…
所有独立路径至少执行一次
示例：认识语句/判定/条件/路径
a a>0 and b>0
Fb
a>1 or c>1 Fd
c=b+c
T c
c=c/a
T e
c= c+1
1B
A
2
C 3
E
D
4
5F
语句 判定 条件 路径
图 覆盖 节点 边
路径
逻辑 覆盖
谓词 子句
假如判定有3个条件、3个选择呢？
语句覆盖
（图覆盖的节点覆盖）
软件测试方法
白盒测试方法(基于结构)
本章教学要点
教学目标：
通过本章学习，掌握白盒测试方法，并能应用到单元测试中去。
教学重点与难点：
控制流图的绘制方法 根据指定的覆盖率要求设计出相应的单元测试用例 白盒测试的各种覆盖标准及彼此间的关系
目录
白盒测试概述 1
程序控制流图 ２
3
控制流测试方法
循环的路径测试：针对带循环的程序，分析程序控制流的环路复杂性，导出测试 路径集合，从而设计测试用例。包括：主路径测试、独立路径测试等。
通过控制流图的建模分析过程，可以发现一些程序问题，属于静态测试过程。
数据流测试：
从定义到使用的程序路径上检查数据的分法，包括：所有定义覆盖、所有使用覆 盖等、所有定义使用对覆盖等。
语句覆盖（Statement Coverage）：设计若干个测试用例，程序
确定测试数据，生成测试用例；
X>0 and Y>10 bF
X<-10 or Y<0 F d
返回Y
T Y=Y/X c
T Y=-(Y+X) e
目录
白盒测试概述 1
程序控制流图 ２
3
控制流测试方法
4
数据流测试方法
控制流图CFG
分支节点
if (x<y)
基本块
y=0;
汇合节点 X= x+1;
if (x<y) {
while do … Do … until for x to y next
将程序结构转化为控制流图CFG
绘制程序流程图 按语句结构将程序流程图转化为控制流图
顺序结构、选择结构、循环结构
对所有节点及控制流向进行编号
程序结构 程序流程图 程序控制流图
控制流图（选择结构）
Dim a,b as integer Dim c as double If (a>0 and b>0) then
控制流图：条件拆分
1 a>0 and b>0 T
F
c=c/a 3
等价吗？
a>0 T b>0 T
1
F
F
c=c/a
4
2
2 3
a b 路径 0 0 13 0 1 13 1 0 13 1 1 12
a b 路径 0 0 14 0 1 14 1 0 124 1 1 1234
如果仅仅考虑路径覆盖，转换后不等价，如果加上条件组合后则可以等价
4
数据流测试方法
白盒测试
白盒测试技术，又叫做结构化测试技术或者基于结构的测试技术， 通常意义上被认为是基于代码的测试技术。
白盒测试技术是通过分析组件/系统的内部结构来产生、选择测试 用例技术。
白盒测试依据：源代码、详细设计文档或函数说明，以此作为测 试设计输入。
白盒测试方法
控制流测试：
逻辑覆盖：以程序内部逻辑结构为基础，结合控制流图，对程序进行覆盖，分为 语句覆盖、判定覆盖、条件覆盖、判定-条件覆盖、条件组合覆盖、路径覆盖等
3 4
5
6
7
9
10
目录
白盒测试概述 1
程序控制流图 ２
3
控制流测试方法
4
数据流测试方法
覆盖标准
覆盖类型
语句覆盖 判定覆盖 条件覆盖 判定-条件覆盖
条件组合 路径覆盖 独立路径覆盖
覆盖标准
每个可执行语句至少被执行一次 每个判定的真/假分支至少被执行一次 每个判定的每个内部条件的真值和假值至少被执行一次 每个判定的真假分支至少被执行一次 每个判定的内部条件真假值至少被执行一次 每个判定的的内部条件的各种真假组合可能至少被执行一次 所有可能执行路径至少执行一次
c=c/a End if If (a>1 or c>1) then
c= c+1 End if C = b+c
a
①
a>0 and b>0
Fb
③
a>1 or c>1
Fd
⑤
c=b+c
T c
②
c=c/a
T e④
c= c+1
1B
A
2
C 3
E
D
4
F 5
书上P32页
练习：控制流图（选择结构）
q=1; b=2; c=3; if (a==2) {x=x+2;} else {x=x/2;} p = q/r; if (b/c >3) {z=x+y;}
白盒测试设计过程
Step1
Models
Step2
Create base test cases
Step3
Suppement with test data
测试对象建模
模型覆盖
填充数据
Step1：
源代码转换为流图。描述程序的控制流或数据流。
a
Step2：
分析程序流图，选择合适的测试覆盖标准；
Step3：
5 6
7 8-9
控制流图：循环结构（2）
① while(true){
② if(i==12){
③
i++;
④
continue;
⑤}
⑥ if(i==20){
⑦
break;
⑧}
⑨}
程序可能有2个出口Fra bibliotek12 3-4
5
6 7
8 9
练习：控制流图（循环结构）
getit (int m) ①{ ② int i, k; ③ k = sqrt(m); ④ for (i =2; i <=k; i++) ⑤ if (m % i == 0) break; ⑥ if (i >=k+1) ⑦ printf("%d is a selected number\n", m); ⑧ else ⑨ printf("%d is not a selected number\n", m); ⑩}