文档介绍：软件测试方法和技术是多种多样的,可以从不同的角度加以分类
从测试是否针对系统的内部结构和具体实现算法的角度来看,可分为黑盒测试和白盒测试
从是否需要执行被测软件的角度,可分为静态测试和动态测试
软件测试方法
1
两种测试方法从不同的角度出发,反映了软件的不同侧面,也适用于不同的开发环境
黑盒测试:基于软件设计规范设计测试用例
白盒测试:基于代码覆盖情况设计测试用例
eg. 排水系统
测试方法-黑盒与白盒
2
白盒测试(WHITE-BOX TESTING)也称结构测试、逻辑驱动测试。
此方法把测试对象看做一个透明的盒子,它允许测试人员利用程序内部的逻辑结构及有关信息,设计或选择测试用例,对程序所有逻辑路径进行测试。
通过在不同点检查程序的状态,确定实际的状态是否与预期的状态一致。因此白盒测试又称为逻辑测试。白盒测试的主要方法有逻辑驱动、基路测试等。
第4章白盒测试
3
基础知识
词法分析、语法分析
静态错误分析
类型、单位分析
引用分析
表达式分析
接口分析
程序插桩技术
动态特性的获取
断言ASSERT,eg. 除0
4
软件人员使用白盒测试方法,主要想对程序模块进行如下的检查:
对程序模块的所有独立的执行路径至少测试一次;
对所有的逻辑判定,取“真”与取“假”的两种情况都至少测试一次;
在循环的边界和运行界限内执行循环体;
测试内部数据结构的有效性等。
白盒测试的作用
5
对一个具有多重选择和循环嵌套的程序,不同的路径数目可能是天文数字。给出一个小程序的流程图,它包括了一个执行20次的循环。
包含的不同执行路径数达520条,对每一条路径进行测试需要1毫秒,假定一年工作365 × 24小时,要想把所有路径测试完,需3170年。
白盒测试
6
15 sideA = atoi(argv[1]);
16 sideB = atoi(argv[2]);
17 sideC = atoi(argv[3]);
18
19 If ( ( sideA = = sideB) && (sideA = = sideC) )
20 {
21 s = *(sideA+sideB+sideC);
22 Area = sqrt ( s/(s-sideA)*(s-sideB)*(s-sideC) );
23 printf ( “area = %g\n”, Area);
24 }
25 else
26 puts ( “not an equilateral triangle”);
27 return 0;
28 }
Figure1. Code Under Test
白盒测试技术
S=×(SideA+SideB+SideC)
Area=[S(S-SideA)(S-SideB)(S-SideC)]1/2
白盒测试
7
True
Direct Graph Test Case1 Test Case2
Inputs: Inputs:
SideA=2 SideA=3
SideB=2 SideB=4
SideC=2 SideC=5
Entrance
15
16
17
19
21
22
23
26
Exit
True
False
Entrance
15
16
17
19
21
22
23
26
Exit
False
Entrance
15
16
17
19
Exit
False
26
21
22
23
True
Actual Output Actual Output
Area = not equilateral triangle
白盒测试技术
白盒测试
8
语句覆盖
判定覆盖
条件覆盖
判定-条件覆盖
条件组合覆盖
逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例的技术。它属白盒测试范畴。
逻辑覆盖
9
例
(A>1) and (B=0)
(A=2) or (X>1)
X=X/A
X=X+1
T
T
F
F
a
b
d
c
e
四条路径
10