黑盒测试方法——因果分析法

A1:不可能
√
动 A2:day加1 √ √ √
√ √√√
√
作 A3:day复位
√
√
A4:month加1
√
√
A5:month复
位
A6:year加1
NextDate函数的决策表
规则
1 1 14 15 1 1 1 1 2 2 22
选项
23
6 7 8 901
C1:month在 M M M M M M M M M M M4
（2）在该情况下，文件是被修改了； （3）第一个字符不正确，则打印X12消息； （4）第二个不是数字，则打印X13消息；
黑盒测试方法——因果分析法
生成因果图
原因：
C1:第1列的字符是A C2:第1列的字符是B C3:第2列的字符是数字
结果：
E1:文件修改过 E2:打印消息X12 E3:打印消息X13
简化目标：合并相似规则
相似规则判断： 有两条或以上规则具有相同动作，并且在条件项 之间存在极大相似，便可以合并
“—”： 表示合并后该条件项与取值无关，称“无关条件”
黑盒测试方法——决策表
决策表化简
《软件测试》阅读决策表化简
1,5 2,4 3 6,7,8 9,11 10,12 13,14 15,16
【例2．5】 NextDate函数输入为month(月 份)、day(日期)和year(年)，输出为输入后 一天的日期。例如，如果输入为：1964年8 月16日，则输出为1964年8月17日。要求 输入变量month、day和year都是整数值， 并且满足以下条件：
Con1． 1≤month≤12
year
预期输出
Test1-3 6
16
2001
Test4
6
30
2001
不可能
Test5
6
31
2001
不可能
Test6-9 1
16
2001
不可能
Test10
1
31
2001
Test11-14 12
16
2001
Test15
12
31
2001
Test16
2
16
2001
Test17
2
28
2004
Test18
2
28
恒等（—）
非（～）
C
EC
E
或（∨）
C1 ∨E
C2
与（∧）
C1
∧
E
C2
黑盒测试方法——因果分析法
因果图
4种输入约束：
（1）互斥(E):两个原因不能同时成立，最多有一个能成立 （2）包含(I):三个原因中至少有一个必须成立； （3）唯一(O):两个原因中必须有一个且只有一个成立； （4）要求(R):当C1成立，C2也必须成立；
条件
3 3 3 3 4 4 4 444
C2:day在
D D D4 D5 D D D D D D D5
C3:year在
23
1 2 2 334
－ － － － － Y1 Y2 Y Y － －
A1:不可能
12
√√ √
动 A2:day加1 √ √ √
√√
作 A3:day复位
√
√√
A4:month 加
√√
1
A5:month 复
若Ci出现，则Ei出现；若Ci不出现，则Ei也不出现
（2）非（～）:
若C出现，则E不出现；若C不出现，则E出现
（3）或（∨）:
若几个Ci中有一个出现，则E出现;若几个Ci都不出现，则E不出现
（4）与（∧）:
若几个Ci都出现，则结果出现;若其中一个Ci不出现，则E不出现
黑盒测试方法——因果分析法 因果图
能编写程序？
N NN N Y Y
Y
Y
熟悉软件工程？
━ NN Y N
N
Y
Y
问题
对软件测试感兴趣? N ━ Y ━ ━
━
N
Y
理解教材内容
N YN ━
N
Y
━
━
学习C++/Java语言
√√ √
学习软件工程
√√
√
建议
继续阅读
√
√
√
√
√
放弃学习
√
√
黑盒测试方法——决策表 测试用例生成
根据每一列的决策来生成测试用例
1
行动
A1 0 0 0 1 0
1
A2 1 1 0 0 0
0
A3 1 0 1 0 1
0
黑盒测试方法——因果分析法
生成测试用例
(1)决策表中的条件——测试用例的输入条件 (2)决策表中的行动——测试用例的期望输出 (3)一条决策规则——一个测试用例
黑盒测试方法——因果分析法
因果分析法总结
Step1:分析规格说明书，识别原因和结果 Step2:在因果图连接原因和结果 Step3:标明原因之间以及结果之间的约束条件 Step4:因果图转换为因果图列表进而生成决策表 Step5:决策表的规则转换为测试用例
黑盒测试方法——决策表
决策表方法原理
决策表并非因果图的一个辅助工具
适用情形： 输入输出较多且输入之间和输出之间互相制约的 条件较多
决策表： 把作为条件的所有输入的组合以及对应输出都罗 列出来形成的表格。
特点： 能将复杂问题按照各种可能情况全部列出，表示 简明，并避免遗漏
黑盒测试方法——决策表
生成决策表
黑盒测试方法——因果分析法
因果分析法基础
原理：
（1）软件的输入和输出之间存在逻辑关系，即因 果图； （2）因果图可从规格说明书中获得
过程：
需求规格
起因结果
说明书 生成因果列表 列表
决策表
建立决策表
生成测试用例
黑盒测试方法——因果分析法
因果图
符号：Ci表示原因 Ei表示结果 原因和结果的4种关系：
（1）恒等（—）:
《软件测试》阅读决策表
能编写程序？
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 NNN NNN N NY Y Y Y Y Y Y Y
问
熟悉软件工程？
NNN NYY Y YN N N N Y Y Y Y
题 对软件测试感兴趣? N N Y Y N N Y Y N N Y Y N N Y Y
பைடு நூலகம்
1
E1 0 0 0 1 0
1
输出（结果） E2 1 1 0 0 0
0
E3 1 0 1 0 1
0
黑盒测试方法——因果分析法
生成决策表
方法： 原因——决策表中的条件 结果——决策表中的行动 原因与结果的组合——决策规则
决策表示例
12 3 45
6
条件
C1 0 0 0 0 1
1
C2 0 0 1 1 0
0
C3 0 1 0 1 0
1种输出约束：
（1）屏蔽(M):当E1是1时，E2必须是0；当E1是0，E2的值不 定；
黑盒测试方法——因果分析法
因果图
互斥(E)
包含(I) 唯一(O)
要求(R)
C1
E
I
C1
C1
C1
C2 O
R
C2
C3
C2
C2
E1
M 屏蔽(M)
E2
黑盒测试方法——因果分析法
生成因果图
文件管理系统规格说明
（1）文件第一列的字符必须是一个A或B，且文件第 二列的字符必须是一个数字；
如果将注意力集中到NextDate函数的日和
月问题上，并仔细研究动作桩。可以在以 下的等价类集合上建立决策表。
M1: {mouth: mouth有30天}； M2: {mouth:mouth有31天，12月除外}； M3: {mouth:mouth有12月}； M4: {mouth:mouth是2月}； D1:{day:1≤day≤27}； D2: {day:day=28}； D3: {day:day=29}； D4: {day:day=30}； D5: {day:day=31}； Y1:{year:year是闰年}； Y2: {year:year不是闰年}
2001
Test19
2
29
2004
Test20
2
29
2001
Test21-22 2
30
2001
Con2． 1≤day≤31
Con3． 1900≤year≤2050
采用决策表法则可以通过使用“不可能 动作”的概念表示条件的不可能组合，来 强调这种依赖关系。
为了获得下一个日期，NextDate函数 需要执行的操作只有如下5种：
① day变量值加1； ② day变量值复位为1； ③ month变量值加1； ④ month变量值复位为1； ⑤ year变量值加1。
理解教材内容
NYN YNY N YN Y N Y N Y N Y
学习C++/Java语言
√√ √
√√√
建
学习软件工程
议
继续阅读
√√ √
√
√
√
√
√ √ √√ √ √ √
√√
放弃学习
√
√
√√
黑盒测试方法——决策表
决策表组成
4种成分：
（1）条件桩：列出所有可能问题（条件） （2）条件项：列出条件所有可能取值 （3）动作桩：列出可能采取的操作 （4）动作项：指出在条件项的各种取值情况下应采取
黑盒测试方法——因果分析法 生成因果图
C1 E