软件测试实用教程第五章 白盒测试

程序控制流图
结点3到7是一个序列，结点7
3 4 5 6 7 8 10 11 13 14 15 16 图5-1 三角形程序的程序控制流图 12 9
到10是一个if-then-else结构， 结点11到16是一个嵌套的if-
then-else结构。结点3和16是
程序源结点和汇结点，对应 于单入口、单出口准则。该 程序没有循环，因此控制流 图是一个有向非循环图。
程序路径是一个重要的概念，其定义如下： 若G中的结点序列p = < v1, v2, ...vk >，满足对于 所有的j,有 vi j , vi j1 E, 0 j k - i ，则称p为程序的 一条子路经。若v1 v k，则称P为一条回路（环 路）。若子路径p从源结点I 到汇结点O，则称p为 程序的一条路经。
语句覆盖要求设计若干个测试用
T c
comm=comm+150
例，运行被测程序，使程序中的 每个可执行语句至少被执行一次。
这里所谓“若干”，自然是越少越好
F d
(age>=50)(comm>2000.0)
T e
comm=comm-200
Test 1: age=50, sex=M, comm=2500
作为测试用例，则程序按路径ace
执行。这样该程序段的4个语句都
图5-2 被测程序段流程图
得到执行，从而作到了语句覆盖。
a F b
(age>25)(sex=M)
T c
comm=comm+150
F d
(age>=50)(comm>2000.0)
T e
comm=comm-200
Test 2: age=50, sex=F, comm=2500 程序则按abe执行，没有达到 语句覆盖。
辑覆盖准则。
图5-2 被测程序段流程图
a F b
(age>25)(sex=M)
T c
comm=comm+150
F d
(age>=50)(comm>2000.0)
T e
comm=comm-200
图5-2 被测程序段流程图
假如这一程序段中两个判 断的逻辑运算有问题， 例如，第一个判断的运算 符“” 错成运算符“”或是第二 个判断 中的运算符“”错成了运 算符“” 仍使用上述前一个测试用 例Test 1，程序仍将按路径 ace执行， 但不能发现判断中逻辑运 算的错误。
end if if (age>=50 OR (commission >2000.0)) then commission = commission -200； endif
3个变量为：年龄age 、性别sex、佣金commission
语句覆盖
a、b、c、d和e为控制流上程序点。
a F b
(age>25)(sex=M)
结构化测试，通过查看并使用代码的内部结构，
设计和执行测试。
逻辑覆盖法
程序控制流图是白盒测试的主要依据。对于一个程序，
其程序控制流图G=(V,E,I,O)是一个有向图，其中V是结点
的集合，E是边的集合，I是唯一的源结点（入口结点）， 而O是唯一的汇结点（出口结点）。 ● 结点表示语句，以标有编号的圆圈表示。 ● 边表示语句间可能的控制流向
● I, O相应于程序的开始语句和结束语句。
如果i和j是程序控制流图中的结点，从结点i到结
点j存在一条边，当且仅当对应结点j的语句可以在对应结
点i的语句之后立即执行。
三角形问题类C语言实现
/* PROGRAM TRIANGLE */ mian () { 1 int a,b,c; 2 boolean IsTraingle 3 sacnf(“Enter 3 integer which is sides of a triangle. %d%d%d”,a,b,c); 4 printf(“Side a is %d”, a); 5 printf(“Side b is %d”, b); 6 printf(“Side c is %d”,c); 7 if ((a<b+c) AND (b<a+c) AND (c<a+b)) 8 then IsTraingle=True; 9 else IsTraingle=False; 10 if (IsTraingle) 11 then if ((a=b) AND (b=c)) 12 then printf(“Equilateral”) 13 else if (a!=b) AND (a!=c) AND (b!=c) 14 then printf(“Scalene”) 15 else printf(“Isosceles”) 16 else printf(“Not a Triangle”) }
例：P=<3，4，5，6，7，8，10，11，12，16> 是一条程序路经。
程序控制流图的重要性在于，程序的执 行对应于从源结点到汇结点的路径。
检验程序从入口开始，执行过程中经历
的各个语句，直到出口，是白盒测试最为典
型的问题。
ቤተ መጻሕፍቲ ባይዱ
逻辑覆盖
逻辑覆盖是一种使用最广泛的结构测试方法。
逻辑覆盖以程序内部的逻辑结构为基础设计测试
用例，要求对被测程序的逻辑结构有清楚的了解，
甚至要能掌握源程序的所有细节。 由于覆盖测试的目标不同，逻辑覆盖又可分 为：语句覆盖、判定覆盖、条件覆盖、判定/条件 覆盖及路径覆盖。
下面的一小段程序来讨论。
if ((age>25)AND(sex=M)) then
commission = commission +150;
图5-2 被测程序段流程图
a F b
(age>25)(sex=M)
T c
comm=comm+150
从程序中每个语句都得 到执行这一点来看，语 句覆盖的方法似乎能够 比较全面地检验被测
F d
(age>=50)(comm>2000.0)
T e
comm=comm-200
程序的每一个语句。
但语句覆盖是很弱的逻
第五章 白盒测试
概述 逻辑覆盖法 路径分析 数据流测试 程序插桩技术
白盒测试只测试软件产品的内部结构和处理过 程，而不测试软件产品的功能，用于纠正软件系 统在描述、表示和规格上的错误，是进一步测试 的前提。白盒子测试分静态和动态两种：静态白 盒测试是在不执行的条件下有条理地仔细审查软 件设计、体系结构和代码，从而找出软件缺陷的 过程，有时也称为结构分析。动态白盒测试也称