首页 因果图分析

因果图分析

举报
开通vip

因果图分析 软件质量保证与测试 因果图分析 单锦辉 北京大学软件研究所 shanjh@sei.pku.edu.cn Shan Jin-Hui 22004-3-23 内容 „因果图分析方法的原理 „举例 Shan Jin-Hui 32004-3-23 因果图分析方法 „ 因果图(Cause一Effect Graphics)分析方法 …一种黑盒测试方法 „ 方法的依据 …需求规格说明中的因果关系 „ 作用 …能够帮助我们按一定步骤,高效率地选择测试用例 …指出程序规约描述中存在着的问题 Adminis...

因果图分析
软件质量保证与测试 因果图分析 单锦辉 北京大学软件研究所 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,我们尽快处理。
本作品所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用。
网站提供的党政主题相关内容(国旗、国徽、党徽..)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
下载需要: 免费 已有0 人下载
最新资料
资料动态
专题动态
is_083947
暂无简介~
格式:pdf
大小:302KB
软件:PDF阅读器
页数:19
分类:互联网
上传时间:2013-07-19
浏览量:44