第四章测试工程1

软件测试背景
软件产品最大的成本是检测软件 错误，修正软件错误的成本。 在整个软件开发中,测试工作量一 般占30%～40%，甚至≥50%。在 人命关天的软件(如飞机控制，核 反应堆等)测试所花费的时间往往 是其它软件工程活动时间之和的 三到五倍 。
软件测试的基本原则
（1）尽早地、不断地进行软件 测试。 （2）设计测试用例时，要给出测 试的预期结果。 （3）开发小组和测试小组分开。 （4）要设计非法输入的测试用例。
4.3.1 白盒测试
前提是可以把程序看成装在一个 透明的白盒子里，也就是完全了 解程序的结构和处理过程。这种 方法按照程序内部的逻辑测试程 序，检验程序中的每条通路是否 都能按预定要求正确工作。白盒 测试又称为结构测试。
4.3.1 白盒测试—设计测试用例
具体实施： 语句覆盖、分支（判定）覆盖、 条件覆盖、判定/条件覆盖、条件 组合覆盖
4.3.1 白盒测试—设计测试用例
1)语句覆盖 使程序中每个语句至少执行一次
4.3.1 白盒测试—设计测试用例
S 入口
1
a
A>1 AND B=0
T4
X=X/A c
2F
5
b
A=2 OR X>1
T6
X=X+1 e
3F
7
d
出口
4.3.1 白盒测试—设计测试用例
只需设计一个测试用例: 输入数据：A=2，B=0，
X=4 即达到了语句覆盖;
语句覆盖是最弱的逻辑 覆盖
4.3.1 白盒测试—设计测试用例
S 入口
1
A=2，B=0， X=4
a
A>1 AND B=0
T4
X=X/A c
2F
5
b
A=2 OR X>1
T6
X=X+1 e
3F
7
d
出口
4.3.1 白盒测试—设计测试用例
(2)判定覆盖(分支覆盖) 使每个判定的真假分支都至 少执行一次
第四章 测试工程
软件测试背景
软件是人编的—所以不完美
实例: 1994-1995,迪斯尼的狮子王系统不支持问题 Intel的pentium处理器 1994年浮点除法缺陷 2000年8月28日, 1.13MHZ处理器一个可能 导致运行程序被挂起的执行指令问题 1999年12月3日,美国航天局火星极地登陆飞 船失踪 1991年爱国者导弹防御系统系统时钟错误积 累造成跟踪系统失去精确度 千年虫,世界各地解决2000年错误超过数亿美 元
4.1 测试工程概要
测试是一个反复的过程
面向功能的系统和面向对象的系 统的测试方法是不一样的
4.1 测试工程概要
测试工程在软件生命周期过程中 处于下流工程的位置
测试工程的主要测试阶段：单元 测试、组合测试、系统测试、运 行测试。
开发工程与测试阶段
需求分析
对
运行测试
概要设计
系统测试
(外部设计)
动态测 试方法
人工测试方法 计算机辅助静 态分析方法 白盒测试方法 黑盒测试方法
4.3 测试方法
从测试的手段分类，常用的测试 方法有白盒测试和黑盒测试；
从测试的推进方法分类，又有自 顶向下测试和自底向上测试。
4.3 测试方法
注： 选用少量最有效的测试数据，达 到尽可能完备的测试效果是设计 测试数据的关键。
3F
7
d
出口
4.3.1 白盒测试—设计测试用例
S 入口
1
III.A=1，B=0，X=2 针对3，7两种组合， 覆盖sabed
a
A>1 AND B=0
T4
X=X/A c
2F
5
b
A=2 OR X>1
T6
X=X+1 e
3F
7
d
判定覆盖仍是弱的逻辑覆盖
4.3.1 白盒测试—设计测试用例
S 入口
1
A=3，B=0 ，X=3 可 覆盖sacbd A=2，B=1 ，X=1 可 覆盖sabed
a
A>1 AND B=0
T4
X=X/A c
2F
5
b
A=2 OR X>1
T6
X=X+1 e
3F
7
d
出口
4.3.1 白盒测试—设计测试用例
(3)条件覆盖
S 入口
1
I.A=2，B=0，X=4 覆 盖 sacbed II.A=1，B=1，X=1 覆 盖sabd
a
A>1 AND B=0
T4
X=X/A c
2F
5
b
A=2 OR X>1
T6
X=X+1 e
3F
7
d
出口
4.3.1 白盒测试—设计测试用例
(5)条件组合覆盖
所有可能的条件取值组合至 少执行一次
4.3.1 白盒测试—设计测试用例
II.A=2，B=1，X=1 针对2，6两种组合， 覆盖sabed
III.A=1，B=0，X=2 针对3，7两种组合， 覆盖sabed
IV.A=1，B=1，X=1 针对4，8两种组合， 覆盖sabd
4.3.1 白盒测试—设计测试用例
S 入口
1
I.A=2，B=0，X=4 针对1，5两种组合， 覆盖sacbed
使判定表达式的每个条件都 取到各种可能的结果
4.3.1 白盒测试—设计测试用例
S 入口
1
a
A>1 AND B=0
T4
X=X/A c
2F
5
b
A=2 OR X>1
T6
X=X+1 e
3F
7
d
出口
4.3.1 白盒测试—设计测试用例
例中有两个判定表达式，每个表 达式有两个条件，为了做到条件 覆盖，应该选取测试数据使得 在a点有下述结果出现： A>1，A<=1，B=0，B!=0 在b点有下述各种结果出现： A=2，A!=2，X>1，X<=1
4.3.1 白盒测试—设计测试用例
S 入口
1
a
A>1 AND B=0
T4
X=X/A c
2F
5
b
A=2 OR X>1
T6
X=X+1 e
3F
7
d
出口
4.3.1 白盒测试—设计测试用例
例:可设计两组测试用例: A=3，B=0 ，X=3 可覆盖sacbd A=2，B=1 ，X=1 可覆盖sabed 两组测试用例可覆盖所有判定的 真假分支
4.3.1 白盒测试—设计测试用例
只要使用下面两组测试数据就可以 达到上述覆盖标准： I.A=2，B=0，X=4 覆盖 sacbed II.A=1，B=1，X=1 覆盖sabd
4.3.1 白盒测试—设计测试用例
S 入口
1
I.A=2，B=0，X=4 覆 盖 sacbed II.A=1，B=1，X=1 覆 盖sabd
应
详细设计 (内部设计)
工
组合测试
程序设计
程
单元测试
程序编制 时间流
开发工程与测试阶段
需求分析
概要设计 (外部设计)
详细设计 (内部设计)
对
对程序的运每行个测试模
块进行测试，检
应
验每个系统模测块试是否
完成各自的功能
工
组合测试
程序设计
程
单元测试
程序编制 时间流
开发工程与测试阶段
把测试过的程序模块
组装起来进行功能测
测试观点
E.W.Dijkstra
测试能证明错误的存在，但不能证明错 误不存在。
测试的目的是发现程序中的错误，是 为了证明程序有错，而不是证明程序 无错。 把证明程序无错当作测试目的不仅是 不正确的， 完全做不到的，而且对做 好测试没有任何益处，甚至是十分有 害的。
能够发现错误的测试是成功的测试， 否则是失败的测试。
4.3.1 白盒测试—设计测试用例
如： I.A=2，B=0，X=1 覆盖
sacbed II.A=1，B=1，X=2 覆盖
sabed 只满足条件覆盖标准，不满足判 定覆盖标准。 所以说条件覆盖与判定覆盖没有 包含关系
4.3.1 白盒测试—设计测试用例
S 入口
1
I.A=2，B=0，X=1 覆 盖sacbed II.A=1，B=1，X=2 覆盖sabed
a
A>1 AND B=0
T4
X=X/A c
2F
5
b
A=2 OR X>1
T6
X=X+1 e
3F
7
d
出口
4.3.1 白盒测试—设计测试用例
（4）判定/条件覆盖 选取足够多的测试数据，使得判 定表达式中的每个条件都取到各 种可能的值，而且每个判定表达 式也都取到各种可能的结果。
4.3.1 白盒测试—设计测试用例
a
A>1 AND B=0
T4
X=X/A c
2F
5
b
A=2 OR X>1
T6
X=X+1 e
3F
7
d
出口
4.3.1 白盒测试—设计测试用例
条件覆盖通常比判定覆盖强，因 为这使判定表达式中每个条件都 取到了两个不同结果，判定覆盖 却只关心整个表达式的值。上面 两组测试数据也同时满足判定覆 盖标准。但是，也可能有相反的 情况：虽然每个条件都取到了两 个不同的结果，判定表达式却始 终只取一个值。
的传递、通信接口的处理等是否 正确。
4.2 各个测试阶段的作业内容及流程
（4）功能模块之间接口发生的 异常处理是否正确，如与外部设 备的接口、嵌入软件等的接口发 生异常时的处理。