SoftwareTestingOverview3

静态黑盒测试
对产品说明书进行高级审查 设身处地为用户着想 研究现有的标准和规范 审查和测试同类软件
静态黑盒测试
测试标准： 1、公司惯用语和约定 2、行业要求 3、国家标准 4、硬件和网络标准 5、图形用户界面（GUI）。
产品描述属性检查清单

完整 准确 精确 一致 合理 代码无关 可测试
A1 A2 A3
X X
X
X X
X
X
动态黑盒测试— 基于决策表的测试
桩 1 2 3 4 5 6 7 8 9
C1:a,b,c 构 成 三 角 形 ？ C2： a=b? C3: a=c? C4: b=c? A1：非三角形 A2：不等边三角形 A3：等腰三角形 A4：等边三角形 A5：不可能
N X
Y Y Y Y
动态黑盒测试— 佣金问题的测试用例
用例 枪机 枪托 枪管 销售额 佣金 注释
14
15 16 17 18 19 20 21 22 23 24
18
18 17 18 18 18 19 48 70 70 69
18
17 18 18 18 19 18 48 80 79 80
17
18 18 18 19 18 18 48 89 90 90
65
z
{
122
123
动态黑盒测试——边界值分析
边界值分析的特点和局限性 对于一个n变量函数，边界值分析会产生 4n＋1个测试用例。 边界值的取值取决于变量本身的性质。 边界值分析对布尔变量没有什么意义。 边界值分析假设变量是完全独立的。
动态黑盒测试——健壮性测试
健壮性测试是边界值分析的一种简单扩展
F T T 1
F T F 1
F F T 1
F F F 1
A1
X
X
X
X
X
动态黑盒测试— 基于决策表的测试
条 件 C1 C2 C3 A1 A2 A2 1-4 T X X 5 F T T X X 6 F T F X X X 7 F F T X X 8 F F F X 9 T F F X X
动态黑盒测试— 基于决策表的测试
4
5 6
201
5 5
5
201 5
5
5 201
a取值不在所允许的取值范围内
b取值不在所允许的取值范围内 c取值不在所允许的取值范围内
三角形问题—强健壮等价类测试用例
测试用例 a b c 预期输出
1
2 3 4 5
-1
5 5 -1 5
5
-1 5 -1 -1
5
5 -1 5 -1
a取值不在所允许的取值范围内
b取值不在所允许的取值范围内 c 取值不在所允许的取值范围内 a、b取值不在所允许的取值范围内 b、c取值不在所允许的取值范围内
6
7
-1
-1
5
-1
-1
-1
c、a取值不在所允许的取值范围内
a、b、c取值不在所允许的取值范围内
等价类测试的小结
等价类测试的弱形式不如对应的强形式的 测试全面。 如果错误条件非常重要，则进行健壮性的 测试是合适的。 如果输入数据以离散值区间和集合定义， 则等价类测试是合适的。 在发现合适的等价类关系之前，可能需要 进行多次尝试。
动态黑盒测试——边界值分析
x1 d
c a b x2
动态黑盒测试——边界值分析
x1 d
c
a
b
x2
动态黑盒测试——边界值分析
边界的数据类型可能是：
数值 字符 位置 数量
速度 地址 尺寸
动态黑盒测试——边界值分析
边界值类型的描述： 第一个/最后一个 开始/完成 空/满 最大/最小 相邻/最远 最小值/最大值 超过/在内 最短/最长 最高/最低
静态黑盒测试的小结
标准 产品描述属性检查 产品描述用语检查
动态黑盒测试——边界值分析
边界值测试的基本原理: 错误更可能出现在输入变量的极值附 近. 失效极少由两个（或多个）缺陷的同 时发生引起的。 Min、min＋、nom、max-和max。
动态黑盒测试——边界值测试
如果函数F实现了一个程序，则输入两 个变量x1 和 x2会有一些边界： a≤ x1≤ b c ≤ x2≤ d 区间[a,b]和[c,d]是x1 和 x2的值域。
测试用例 a b c 预期输出
1
2
5
2
5
2
5
3
等边三角形
等腰三角形
3
4
3
4
4
1
5
2
不等边三角形
非三角形
三角形问题—弱健壮等价类测试用例
测试用例 a 1 2 3 -1 5 5 b 5 -1 5 c 5 5 -1 预期输出 a取值不在所允许的取值范围内 b取值不在所允许的取值范围内 c 取值不在所允许的取值范围内
F T F 1
T T T 1
T F T 1
F T T 1
F F T 1
A1 A2
动态黑盒测试— 基于决策表的测试
条件 1 1 1 2 1 3 1 4 2 3 2 4 3 4
C1：月份在M1中？ C2：月份在M2中？ C3：月份在M3中？ 规则条数统计
T T T 1
T T F 1
T F T 1
T F F 1
动态黑盒测试— 佣金问题的测试用例
写出佣金问题的输出 边界值分析测试用例
动态黑盒测试— 佣金问题的测试用例
用例 1 2 3 4 5 6 枪机 1 1 1 2 5 10 枪托 1 1 2 1 5 10 枪管 1 2 1 1 5 9 销售额 100 125 130 145 500 975 佣金 10 12.5 13 14.5 50 97.5 注释 输出最小值 输出略大于最小值 输出略大于最小值 输出略大于最小值 中点 略低于边界点
1，048，576
1，073，741，824 1，009，511，627，776
部分的ASCⅡ制表
字符 Null ASCⅡ值 0 字符 B ASCⅡ值 66
Space
/ 0 1 2 9 ：
32
47 48 49 50 57 58
Y
Z [ „ a b y
89
90 91 96 97 98 121
@
A
64

动态黑盒测试— 基于决策表的测试
在所有功能测试方法中，基于决策表
的测试方法是最严格的，因为决策表 具有逻辑严格性。 决策表很适合描述不同条件集合下采 取行动的若干组合的情况。
动态黑盒测试— 基于决策表的测试
桩 C1 C2 C3 规则1 T T T 规则2 T T F 规则3、 4 T F — 规则5 F T TLeabharlann 257080
90
7800
1420
输出最大值
边界值测试的小结
这类测试方法是基于一种假设：输入
的变量是真正独立的。 这些方法的区别是：正常值与健壮值； 单缺陷与多缺陷。
动态黑盒测试—等价类测试
等价分配：是指分步骤地把过多（无限） 的测试案例减小到同样有效的小范围的过 程。 等价类别或者等价区间是指测试相同目标 或者暴露相同软件缺陷的一组测试。 在寻找等价区间时，想办法把软件的相似 输入、输出、操作分成组。这些组是等价 区间。

动态黑盒测试—等价类测试
x1 g f e a b c d
弱一般等价类测试用例
x2
动态黑盒测试—等价类测试
x1 g f e a b c d
强一般等价类测试用例
x2
动态黑盒测试—等价类测试
x1 g f e a b c d
弱健壮等价类测试用例
x2
动态黑盒测试—等价类测试
x1 g f e a b c d
7
8 9 10 11 12 13
10
9 10 10 10 11 14
9
10 10 10 11 10 14
10
10 10 11 10 10 14
970
955 1000 1025 1030 1045 1400
97
95.5 100 103.75 104.5 106.75 160
略低于边界点
略低于边界点 边界点 略高于边界点 略高于边界点 略高于边界点 中点
动态黑盒测试— 基于决策表的测试
条件 1 1 1 2 1 3 1 4 2 1 2 2 2 3 2 4 3 1 3 2 3 3 3 4
C1：月份在M1中？ C2：月份在M2中？ C3：月份在M3中？ 规则条数统计
T T T 1
T T F 1
T F T 1
T F F 1
T T T 1
T T F 1
F T T 1
M1={月份:每月有30天}； M2={月份:每月有31天}； M3={月份:此月是2月}； D1={日期:1≤日期≤28}； D2={日期:日期=29}； D3={日期:日期=30}； D4={日期:日期=31}； Y1={年:年=2000}； Y2={年:年是闰年}； Y3={年:年是平年}。
Y Y Y N
Y Y N Y
Y Y N N
Y N Y Y
Y N Y N
Y N N Y
Y N N N
X X X X X
X
X
X
动态黑盒测试— 基于决策表的测试
条件 C1：月份在M1中？ C2：月份在M2中？ C3：月份在M3中？
A1 A2
1 T -
2 T -
3 T
动态黑盒测试— 基于决策表的测试
条件 C1：月份在M1中？ C2：月份在M2中？ C3：月份在M3中？ 规则条数统计 A1 A2 1 T 4 2 T 4 3 T 4