软件测试-8黑盒测试因果图法.优秀PPT.ppt

《软件测试-8黑盒测试因果图法.优秀PPT.ppt》由会员分享，可在线阅读，更多相关《软件测试-8黑盒测试因果图法.优秀PPT.ppt（42页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、因果图康玲 等价等价类类划分法和划分法和边边界界值值分析方法都分析方法都是着重考是着重考虑输虑输入条件，但没有考入条件，但没有考虑输虑输入条件的各种入条件的各种组组合、合、输输入条件之入条件之间间的的相互制相互制约约关系。关系。这样虽这样虽然各种然各种输输入条入条件可能出件可能出错错的状况已的状况已经测试经测试到了，但到了，但多个多个输输入条件入条件组组合起来可能出合起来可能出错错的状的状况却被忽况却被忽视视了。了。拿破仑说：“失一个钉子，坏了一只蹄铁；坏了一只蹄铁，折了一匹战马；折了一匹战马，伤了一位骑士；伤了一位骑士，输了一场战斗；输了一场战斗，亡了一个帝国。”这就是因果关系 是是一一种种

2、利利用用图解解法法分分析析输入入的的各各种种组合合状状况况，从从而而设计测试用用例例的的方方法法，它它适适合合于于检查程程序序输入入条件的各种条件的各种组合状况。合状况。缘由缘由结果结果通常在因果图中用通常在因果图中用CiCi表示缘由，用表示缘由，用Ei Ei表表示结果，各结点表示状态，可取值示结果，各结点表示状态，可取值“0”“0”或或“1”“1”。“0”“0”表示某状态不出表示某状态不出现，现，“1”“1”表示某状态出现。表示某状态出现。c1e1c1e1c2e1c1c3Vc2e1c1V（a）恒等（b）非（c）或（d）与恒等：若恒等：若c1是是1，则e1也也为1，否，否则e1为0；c1e1非

3、：若非：若c1是是1，则e1为0，否，否则e1为1；c1e1或：若或：若c1或或c2或或c3是是1，则e1是是1，否，否则e1为0，“或或”可有随意个可有随意个输入；入；c2e1c1c3V与：若与：若c1和和c2都是都是1，则e1为1，否否则e1为0，“与与”也可有随意个也可有随意个输入。入。c2e1c1V恒等：若恒等：若c1是是1，则e1也也为1，否，否则e1为0；非：若非：若c1是是1，则e1为0，否，否则e1为1；或：若或：若c1或或c2或或c3是是1，则e1是是1，否，否则e1为0，“或或”可有随意个可有随意个输入；入；与：若与：若c1和和c2都是都是1，则e1为1，否，否则e1为0，

4、“与与”也可有随意个也可有随意个输入。入。在在实际问题当中当中输入状入状态相互之相互之间还可能存在可能存在某些依靠关系，称某些依靠关系，称为“约束束”abE异(a)acI或babO唯一abR要求ab强制M(b)(c)(d)(e)E约束（异）：束（异）：a和和b中最多有一个可能中最多有一个可能为1，即，即a和和b不能同不能同时为1；abE异I约约束（或）：束（或）：a、b、c中至少有一个必需中至少有一个必需是是1，即，即a、b、c不能同不能同时为时为0；acI或bO约约束（唯一）：束（唯一）：a和和b必需有一个且必需有一个且仅仅有有一个一个为为1；abO唯一R约约束（要求）：束（要求）：a是是1

5、时时，b必需是必需是1；abR要求M约束（束（强制）：若制）：若结果果a是是1，则结果果b强制制为0。ab强制M对于于输入条件的入条件的约束有束有4种：种：E约束（异）：束（异）：a和和b中最多有一个可能中最多有一个可能为1，即即a和和b不能同不能同时为1；I约束（或）：束（或）：a、b、c中至少有一个必需是中至少有一个必需是1，即即a、b、c不能同不能同时为0；O约束（唯一）：束（唯一）：a和和b必需有一个且必需有一个且仅有一个有一个为1；R约束（要求）：束（要求）：a是是1时，b必需是必需是1；对于于输出条件的出条件的约束只有束只有M约束束M约束（束（强制）：若制）：若结果果a是是1，则结

6、果果b强制制为0。c c1 1e1e1c1c1e1e1 c1c1e1e1c2c2c3c3c1c1e1e1c2c21、以下四个图例分别表示什么关系：、以下四个图例分别表示什么关系：a ab bEa ab bIc ca ab bORa ab bMa ab b2 2、以下五种图例又分别表示什么关系？、以下五种图例又分别表示什么关系？首先从程序首先从程序规格格说明明书的描述中的描述中,找出因找出因(输入条件入条件)和果和果(输出出结果果或者程序状或者程序状态的的变更更),然后通然后通过因果因果图转换为判定表判定表,最最终为判定表中的每一列判定表中的每一列设计一一个个测试用例用例.分析程序分析程序规格格

7、说明明书描述的描述的语义内容，找出内容，找出“缘由由”和和“结果果”，将其表示成，将其表示成连接各个接各个缘由与由与各个各个结果的果的“因果因果图”。由于由于语法或法或环境限制，有些境限制，有些缘由与由与缘由之由之间或或与与结果之果之间的的组合状况不能出合状况不能出现，用，用记号号标明明约束或限制条件；束或限制条件；将因果将因果图转换成判定表；成判定表；依据判定表中每一列依据判定表中每一列设计测试用例用例程序的程序的规格格说明要求：明要求：输入的第一个字符必需入的第一个字符必需是是“#”或或“*”，其次个字符必需是一个数字，在，其次个字符必需是一个数字，在此状况下此状况下进行文件的修改；假如第

8、一个字符不行文件的修改；假如第一个字符不是是“#”或或“*”，则给出信息出信息N；假如其次个字符不；假如其次个字符不是数字，是数字，则给出信息出信息M。1.分析程序的分析程序的规格格说明，列出明，列出缘由和由和结果；果；2.找出找出缘由与由与结果之果之间的因果关系、的因果关系、缘由与由与缘由之由之间的的约束关系，画出因果束关系，画出因果图。3.将因果将因果图转换成决策表；成决策表；4.依据依据3中的决策表，中的决策表，设计测试用例的用例的输入数据入数据和和预期期输出。出。（1）在明确了上述要求后，可以明确地将）在明确了上述要求后，可以明确地将缘由和由和结果分开。果分开。缘由：由：c1第一个字符

9、是第一个字符是“#”c2第一个字符是第一个字符是“*”c3其次个字符是一个数字其次个字符是一个数字结果：果：a1给出信息出信息N a2修改文件修改文件 a3给出信息出信息Mc1c2c310a3a2a1VV因果图表示因果图表示10为导出结果的中间缘由为导出结果的中间缘由c1c2c310a3a2a1VVE具有具有E约束的因果图表示约束的因果图表示 规则规则 选项选项12345678条件条件c1c2c310111110101110010111010100100000动作动作a1a2a3不可能不可能测试用例测试用例#3#A*6*BA1GT最左最左边两列，两列，缘由由c1和和c2同同时为1不行能，解除掉

10、，不行能，解除掉，依据表可依据表可设计出出6个个测试用例。用例。Test1：输入数据入数据#3 预期期输出修改文件出修改文件Test2：输入数据入数据#B 预期期输出出给出信息出信息MTest3：输入数据入数据*7 预期期输出修改文件出修改文件Test4：输入数据入数据*M 预期期输出出给出信息出信息MTest5：输入数据入数据C2 预期期输出出给出信息出信息NTest6：输入数据入数据CM 预期期输出出给出信息出信息M和和N（1）考考虑到到了了输入入状状况况的的各各种种组合合以以及及各各个个输入状况之入状况之间的相互制的相互制约关系。关系。（2）能能够帮帮助助测试人人员依依据据确确定定的的步

11、步骤，高高效率的开效率的开发测试用例。用例。（3）因因果果图法法是是将将自自然然语言言规格格说明明转化化成成形形式式语言言规格格说明明的的一一种种严格格的的方方法法，可可以以指出指出规格格说明存在的不完整性和二明存在的不完整性和二义性。性。有一个有一个处理理单价价为1元元5角的盒装角的盒装饮料的自料的自动售售货机机软件。若投入件。若投入1元元5角硬角硬币，按下，按下“可可乐”，“雪碧雪碧”或或“红茶茶”按按钮，相，相应的的饮料就送出来。料就送出来。若投入的是两元硬若投入的是两元硬币，在送出，在送出饮料的同料的同时退退还5角硬角硬币。原因c1:投入1元5角硬币；c2:投入2元硬币；c3:按“可乐

12、”按钮；c4:按“雪碧”按钮；c5:按“红茶”按钮;中间状态11：已投币12：已按钮结果a1:退还5角硬币；a2:送出“可乐”饮料；a3:送出“雪碧”饮料；a4:送出“红茶”饮料;1 12 23 34 45 56 67 78 89 910101111c1:c1:投入投入1 1元元5 5角硬币角硬币c2:c2:投入投入2 2元硬币元硬币c3:c3:按按“可乐可乐”按钮按钮c4:c4:按按“雪碧雪碧”按钮按钮c5:c5:按按“红茶红茶”按钮按钮1 10 01 10 00 01 10 00 01 10 01 10 00 00 01 11 10 00 00 00 00 01 11 10 00 00 0

13、1 10 01 10 00 01 10 00 01 10 01 10 00 00 00 00 01 10 00 00 00 00 01 10 00 00 00 00 01 11111：已投币：已投币1212：已按钮：已按钮1 11 11 11 11 11 11 10 01 11 11 11 11 11 11 10 00 01 10 01 10 01 1a1:a1:退还退还5 5角硬币角硬币a2:a2:送出送出“可乐可乐”饮料饮料a3:a3:送出送出“雪碧雪碧”饮料饮料a4:a4:送出送出“红茶红茶”饮料饮料某某软件的一个模件的一个模块的需求的需求规格格说明明书中描述：中描述：（1）年薪制）年薪

14、制员工：工：严峻峻过失，扣年失，扣年终风险金的金的4%；过失，扣年失，扣年终风险金的金的2%。（2）非年薪制）非年薪制员工：工：严峻峻过失，扣当月薪失，扣当月薪资的的8%；过失，扣当月薪失，扣当月薪资的的4%。请绘制出因果制出因果图和判定表，并和判定表，并给出相出相应的的测试用用例。例。1.1.假如落点在棋假如落点在棋盘外外,则不移不移动棋子；棋子；2.2.假如落点与起点不构成日字型假如落点与起点不构成日字型,则不移不移动棋子；棋子；3.3.假如在落点方向的假如在落点方向的邻近交叉点有棋子近交叉点有棋子(绊马腿腿),),则不移不移动棋子；棋子；4.4.落点落点处有己方棋子有己方棋子,则不移不移

15、动棋子棋子;5.5.假如不属于假如不属于1-41-4条条,落点落点处无棋子无棋子,则移移动棋子；棋子；6.6.假如不属于假如不属于1-41-4条条,落点落点处为对方棋子方棋子(非老将非老将),),则移移动棋子并除去棋子并除去对方棋子；方棋子；7.7.假如不属于假如不属于1-41-4条条,且落点且落点处为对方老将方老将,则移移动棋子棋子,并提示并提示战胜对方方,游游戏结束。束。缘由：缘由：落点在棋盘上；落点在棋盘上；落点与起点构成日字；落点与起点构成日字；落点方向的邻近交叉点无落点方向的邻近交叉点无棋子；棋子；落点处为自己方棋子；落点处为自己方棋子；落点处无棋子；落点处无棋子；落点处为对方棋子落

16、点处为对方棋子(非老将非老将)；落点处为对方老将。落点处为对方老将。结果：结果：E1E1、不移动棋子；、不移动棋子；E2E2、移动棋子；、移动棋子；E3E3、移动棋子、移动棋子,并除去对并除去对方棋子；方棋子；E4E4、移动棋子，并提示、移动棋子，并提示战胜对方，结束游戏。战胜对方，结束游戏。1345E1762E2E3E411VVVVVE 规则选项123456789101112131415161234111111101101110010111010100110000111011001010100001100100001000011E101100101010101010101010101010101 规则规则 选项选项12345678910111213141516 11 5 6 71111111011011100101110101001100001110110010101000011001000010000 E2 E3 E4100010001 规则选项1234567812311111010110001101000100011E11001010101010101 规则规则 选项选项12345678 11 4 5 6 70100000100000100000111000101001001010001 E1 E2 E3 E41000010000100001