软件质量保证与测试
因果图分析
单锦辉
北京大学软件研究所
shanjh@sei.pku.edu.cn
Shan Jin-Hui 22004-3-23
内容
因果图分析方法的原理
举例
Shan Jin-Hui 32004-3-23
因果图分析方法
因果图(Cause一Effect Graphics)分析方法
一种黑盒测试方法
方法的依据
需求规格说明中的因果关系
作用
能够帮助我们按一定步骤,高效率地选择测试用例
指出程序规约描述中存在着的问题
Administrator
Highlight
Administrator
Highlight
Shan Jin-Hui 42004-3-23
因果图介绍
c1=1 e1=1恒等 c1 e1 c1=0 e1=0
c1=1 e1=0非 c1 e1 c1=0 e1=1
c1
c2
c3
e1∨
c1=1 或c2=1 或c3=1
或 e1=1
e1=0否则
c1
c2
e1∧
c1=1 且c2=1与 e1=1
e1=0否则
Shan Jin-Hui 52004-3-23
输入条件的约束
E约束(异):a,b中至多有一个可能为1
即a和b不能同时为1
a
E
b
I约束(或):a,b和c中至少有一个
必须是1,即a、b和c不能同时为0aI b
c
a
O约束(唯一):a和b中必须有一个
且仅有一个为1O
b
Administrator
Highlight
Administrator
Highlight
Administrator
Highlight
Shan Jin-Hui 62004-3-23
输入条件的约束(续)
a
R约束(要求):a是1时,b必须是1
即不可能a是1时b为0R
b
Administrator
Highlight
Shan Jin-Hui 72004-3-23
输出条件的约束
a
M约束(强制):若结果a是1时,
则结果b强制为0M
b
Administrator
Highlight
Shan Jin-Hui 82004-3-23
利用因果图导出测试用例的步骤
① 分析程序规格说明的描述中,哪些是原因,
哪些是结果
原因常常是输入条件或是输入条件的等价类
结果是输出条件
② 分析程序规约的描述中语义的内容,并将
其表示成连接各个原因与各个结果的“因果
图”
Shan Jin-Hui 92004-3-23
利用因果图导出测试用例的步骤
(续)
③ 由于语法或环境的限制,有些原因和结果
的组合情况是不可能出现的
为表明这些特定的情况,在因果图上使
用若干个特殊的符号标明约束条件
④ 把因果图转换成判定表
⑤ 把判定表中每一列表示的情况写成测试用
例
Shan Jin-Hui 102004-3-23
内容
因果图分析方法的原理
举例
Shan Jin-Hui 112004-3-23
例子:软件规格说明书
第一列字符必须是A或B,第二列字符必须
是一个数字,在此情况下进行文件的修改
但如果第一列字符不正确,则给出信息L
如果第二列字符不是数字,则给出信息M
Shan Jin-Hui 122004-3-23
原因和结果
原因
1——第一列字符是A
2——第一列字符是B
3——第二列字符是一数字
结果
21——修改文件
22——给出信息L
23——给出信息M
Shan Jin-Hui 132004-3-23
因果图
221
11为中间节点
2
3
21
11
23
Shan Jin-Hui 142004-3-23
具有约束的因果图
221
考虑到原因1和原因2不可能同时为1,因此在因
果图上施加E约束
E
2
3
21
11
23
Shan Jin-Hui 152004-3-23
根据因果图所建立的判定表
1 2 3 4 5 6 7 8
1 1 1 1 1 0 0 0 0
2 1 1 0 0 1 1 0 0
3 1 0 1 0 1 0 1 0
条
件
11 ////// ////// 1 1 1 1 0 0
原
因
22 // // 0 0 0 0 1 1
21 // // 1 0 1 0 0 0
动
作
23 // // 0 1 0 1 0 1
结
果
测试
用例
//
//////
//
//////
A3
A8
AM
A?
B5
B4
BN
B!
C2
X6
DY
P;
Shan Jin-Hui 162004-3-23
根据判定表导出测试用例
表中8种情况的左面两列情况中,原因①和
原因②同时为1,这是不可能出现的,故应
排除这两种情况
表的最下一栏给出了6种情况的测试用例,
这是我们所需要的数据
Shan Jin-Hui 172004-3-23
回顾
因果图分析方法的原理
举例
Shan Jin-Hui 182004-3-23
谢谢!
问题与讨论?
Shan Jin-Hui 192004-3-23
Òò¹ûͼ·ÖÎö
ÄÚÈÝ
Òò¹ûͼ·ÖÎö·½·¨
Òò¹ûͼ½éÉÜ
ÊäÈëÌõ¼þµÄÔ¼Êø
ÊäÈëÌõ¼þµÄÔ¼Êø£¨Ðø£©
Êä³öÌõ¼þµÄÔ¼Êø
ÀûÓÃÒò¹ûͼµ¼³ö²âÊÔÓÃÀýµÄ²½Öè
ÀûÓÃÒò¹ûͼµ¼³ö²âÊÔÓÃÀýµÄ²½Ö裨Ðø£©
ÄÚÈÝ
Àý×Ó£ºÈí¼þ¹æ¸ñ˵Ã÷Êé
ÔÒòºÍ½á¹û
Òò¹ûͼ
¾ßÓÐÔ¼ÊøµÄÒò¹ûͼ
¸ù¾ÝÒò¹ûͼËù½¨Á¢µÄÅж¨±í
¸ù¾ÝÅж¨±íµ¼³ö²âÊÔÓÃÀý
»Ø¹Ë
лл£¡
本文档为【因果图分析】,请使用软件OFFICE或WPS软件打开。作品中的文字与图均可以修改和编辑,
图片更改请在作品中右键图片并更换,文字修改请直接点击文字进行修改,也可以新增和删除文档中的内容。
该文档来自用户分享,如有侵权行为请发邮件ishare@vip.sina.com联系网站客服,我们会及时删除。
[版权声明] 本站所有资料为用户分享产生,若发现您的权利被侵害,请联系客服邮件isharekefu@iask.cn,我们尽快处理。
本作品所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用。
网站提供的党政主题相关内容(国旗、国徽、党徽..)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。