软件测试2

1、白盒测试
(White Box Testing)
2、黑盒测试
(Black Box Testing)
测试技术
白盒测试(White Box Testing)
也叫玻璃盒测试(Glass Box Testing)。
对软件的过程性细节做细致的检查。这一方法是把测试对象 看作一个打开的盒子，它允许测试人员利用程序内部的逻辑 结构及有关信息，来设计或选择测试用例，对程序所有逻辑
b
F
(A>1) ^ (B=0)
T
c
判断 (一) 判断 (二)
X=X/A
A=2 X>1
T3 T4
F
d
(A=2) V (X>1)
T
e
条件 标记 第一个判断取 真假分支 ① 取真分支 ② 取假分支 ③ 取假分支 ④ 取假分支
X=X+1
A>1 B=0 A>1 B≠0
T1 T2 T1 T2
A≯1 T1 T2 B=0
第八章 软件测试
在开发软件的过程中，我们使用了保证软件质量 的方法分析、设计和实现软件，但难免还会在工作中 犯错误。这样，在软件产品中就会隐藏着许多错误和 缺陷 。特别是对于规模大、 复杂性高的软件更是如 此。在这些错误中，有些是致命性的错误如果不排除 ，就会导致生命与财产的重大损失。
DO 5 I =1, 3
黑盒测试 的内容
Alpha/Beta Testing 菜单/帮助测试 发行测试 回归测试
8.3 白盒测试用例的设计
一、逻辑覆盖法
逻辑覆盖测试方法通常采用流程图来设计测试用例，它 考察的重点是图中的判定框，因为这些判定通常是与选择结 构有关或是与循环结构有关，是决定程序结构的关键成分。
逻辑覆盖测试的5种标准
A≯1 B ≠ 0 T1 T2
a
判断
设条件的取值标记
条件 A>1 B=0 取真值 T1 T2 取假值 T1 T2 T3 T4
b
F
(A>1) ^ (B=0)
T
c
判断 (一) 判断 (二)
X=X/A
A=2 X>1
T3 T4
F
d
(A=2) V (X>1)
T
e
条件 标记 第二个判断取 真假分支 ⑤ 取真分支 ⑥ 取真分支 ⑦ 取真分支 ⑧ 取假分支
测试与软件开发阶段的关系 软件开发过程是一个自顶向下、逐步细化的过 程，而测试则是依相反的顺序安排的，自底向上、 逐步集成的过程。低一级为上一级测试准备条件。
①
需求分析
②
设 计 编
③
码
确认测试
集成测试
单元测试
③
②
①
8.2 软件测试设计的方法
软件的测试设计与软件产品的设计一样，是一项需要 花费许多人力和时间的工作，我们希望以最少量的时间和 人力，最大可能地发现最多的错误。
DO 5 I =1. 3
8.1 软件测试的基础
什么是软件测试
软件测试是为了发现错误而执行程序的过程。或者 说，软件测试是根据软件开发各阶段的规格说明和程序 内部结构而精心设计的一批测试用例（即输入数据及预 期的输出结果），并利用这些测试用例去运行程序，以 发现程序错误的过程。
软件测试人员
测试工具软件开发工程师 (Software Development Engineer in Test，简称SDE/T)
路径进行测试。
白盒测试 的内容
对程序模块的所有独立 执行路径至少测试一次
对所有的逻辑判定，取 “真”与取“假”的两种情况 都能至少测试一次。
在循环的边界和运行边 界限内执行循环体 测试内部数据结构的有 效性。
黑盒测试(Black Box Testing)
已知产品的功能设计规格，可以进行测试证明每个实现 了的功能是否符合要求。
STE
Exchange 2000 和 Windows 2000 的人员结构
Exchange 2000
项目经理 开发人员 测试人员 测试人员/开发人员 25人 140人 350人 2: 5
Windows 2000
约 250人 约 1700人 约 3200人 1: 9
Exchange 2000
项目经理 开发人员 测试人员 测试人员/开发人员 25人 140人 350人 2: 5
T1 T2
T1 T2 T1 T2
F (A=2) V (X>1)
T
e
X=X+1
A≯1 B=0 A≯1 B≠0
d
测试用例
通过路径
条件取值
覆盖组合号
(2,0,4),(2,0,3) (2,1,1),(2,1,2) (1,0,3),(1,0,4) (1,1,1),(1,1,1)
ace L1 abe L3 abe L3 abd L2
c
X=X/A
2，0，4 2，0，3
F
d
(A=2) V (X>1)
T
e
X=X+1
1，1，1 1，1，1
取“假”分支 测试用例如下
a -- c -- e a -- b -- d
L1 L2
a
F
b
(A>1) ^ (B=0)
T
c
取“真假”分支 测试用例如下
X=X/A
F
d
(A=2) V (X>1)
T
e
X=X+1
c,e b,d
a
b
F (A>1) ^ (B=0) T
判断
设条件的取值标记
条件 A>1 B=0 取真值 T1 T2 取假值 T1 T2 T3 T4
c
判断 (一) 判断 (二)
X=X/A
A=2 X>1
T3 T4
F
d
(A=2) V (X>1)
T
e
X=X+1
条件覆盖可选取的 (第二组测试用例)如下表 测试用例 通过路径 条件取值 T1 T2 T3 T4 T1 T2 T3 T4 覆盖分支
c
判断 (一) 判断 (二)
X=X/A
A=2 X>1
T3 T4
F
d
(A=2) V (X>1)
T
e
X=X+1
条件覆盖可选取的 (第一组测试用例)如下表 测试用例 通过路径 条件取值 T1 T2 T3 T4 T1 T2 T3 T4 覆盖分支
(2,0,4),(2,0,3) (1,0,1),(1,0,1)
ace(L1) abd(L2)
判断
设条件的取值标记
条件 A>1 B=0 取真值 T1 T2 取假值 T1 T2 T3 T4
c
判断 (一) 判断 (二)
X=X/A
A=2 X>1
T3 T4
F
d
(A=2) V (X>1)
T
e
X=X+1
判定/条件覆盖可选取的 测试用例 如下表 测试用例 通过路径 条件取值 T1 T2 T3 T4 T1 T2 T3 T4 覆盖分支
a
b
F (A>1) ^ (B=0) T
点覆盖
a c
X=X/A
b
c
F
d
(A=2) V (X>1)
T
e
d
e
X=X+1
边覆盖
a
F (A>1) ^ (B=0) T
c
X=X/A
b
判断 判断 (一)
条件
取真值 T1 T2 T3 T4
取假值 T1 T2 T3 T4
A>1
B=0 A=2 X>1
F (A=2) V (X>1)
(2,0,4),(2,0,3)
ace(L1)
c,e
(1,1,1),(1,1,1)
abd(L2)
b,d
条件组合覆盖
所谓的 条件组合覆盖就是设计足够的测试用 例，运行被测程序，使得 每个判断的所有可能的 条件取值组合至少执行一次。
a
判断
设条件的取值标记
条件 A>1 B=0 取真值 T1 T2 取假值 T1 T2 T3 T4
T1 T2 T3 T4 T1 T2 T3 T4 T1 T2 T3 T4
①,⑤ ②,⑥ ③,⑦ ④,⑧
T1 T2 T3 T4
二、路径测试法
路径测试就是设计足够的测试用例，覆盖程序中 每一条可能的程序执行路径至少测试一次，如果程序 中含有循环(在程序图中表现为环)则每个循环至少执 行一次。
a-c-e L1 a-b-d L2 a-b-e L3 a-c-d L4
发现错误 的能力
标
准
含 每条语句至少执行一次
义
1(弱)
语句覆盖
2 3
4 5 (强)
判定覆盖 条件覆盖
判定/条件覆盖 条件组合覆盖
每一判定的每个分支至少执行一次
每一判定中的每个条件，分别按“真”、 “假”至少各执行一次 同时满足判定覆盖和条件覆盖的要求
求出判定中所有条件的各种可能组合 值，每一可能的条件组合至少执行一次
X=X+1
A=2 X>1 A=2 X≯1
T3 T4 T3 T4 T3 T4 T3 T4
A≠2 X>1 A≠2 X≯1
a
F (A>1) ^ (B=0) T
c
X=X/A
条件 设条件的取值标记 标记 真假分支
A>1 B=0 A>1 B≠0 T1 T2
第一个判断取
b
① 取真分支 ② 取假分支 ③ 取假分支 ④ 取假分支
黑盒测试法是根据被测程序功能来进行测试，所以通常 也称为功能测试。用黑盒测试法设计测试用例，有4 种常用 技术：