软件测试-因果图

单击此处编辑母版标题样式,,单击此处编辑母版文本样式,,第二级,,第三级,,第四级,,第五级,,,*,黑盒测试,—,因果图方法,10,,,,内容提纲,,复习,,因果图法的思想,,因果图法的步骤,,举例,,练习,,,复习,,等价类划分法的思想,,边界值分析法的思想,,,1,、因果图法概述,,等价类划分方法和边界值分析方法着重考虑输入条件，而不考虑输入条件的各种组合，也不考虑输入条件之间的相互制约的关系，但有时一些具体问题中的输入之间存在着相互依赖的关系，,,1,、因果图法概述,,如果输入之间有关系，我们在测试时必须考虑,输入条件的各种组合,，那么可以考虑使用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来设计测试用例，这就需要利用因果图因果图方法最终生成的就是,判定表,它适合于检查程序输入条件的各种组合情况因果图法的基本思想,,使用因果图法设计测试用例时，首先从,程序规格说明书,的描述中,,,找出,因,(,输入条件,),和,果,(,输出结果或者程序状态的改变,),,然后通过因果图转换为判定表,,,最后为判定表中的每一列设计一个测试用例,.,,2,因果图中出现的基本符号,,原因,结果,通常在因果图中用,Ci,表示原因，用,Ei,表示结果，各结点表示状态，可取值“,0”,或“,1”,。

0”,表示某状态不出现，“,1”,表示某状态出现主要的原因和结果之间的关系有,:,C1,C2,C1,,因果图法,,恒等,:,若,c1,为,1,,则,e1,也为,1,,否则,e1,为,0.,,非,:,若,c1,是,1,,则,e1,为,0,,否则,e1,是,1.,,或,:,若,c1,或,c2,或,c3,是,1,,则,e1,是,1,,若三者都不为,1,,则,e1,为,0.,,与,:,若,c1,和,c2,都是,1,,则,e1,为,1,,否则若有其中一个不为,1,,则,e1,为,0.,,因果图法,,实际问题中,,,输入状态之间可能存在某些,依赖关系,,,这种依赖关系被称为”,约束,”,.,,在因果图中使用特定的符号来表示这些约束关系,:,,约束关系说明,:,,E,约束,(,异,):,a,b,最多有一个可能为,1,,不能同时为,1.,,I,约束,(,或,):,a,b,c,中至少有一个必须为,1,,不能同时为,0.,,O,约束,(,惟一,): a,和,b,必须有一个且仅有一个为,1,,R,约束,(,要求,):a,是,1,时,,b,必须是,1,,即,a,为,1,时,,b,不能为,0,,M,约束,:,对输出条件的约束,,,若结果,a,为,1,,则结果,b,必须为,0.,,3,用因果图生成测试用例的基本步骤,,(1),,分析软件规格说明描述中，哪些是原因,(,即输入条件或输入条件的等价类,),，哪些是结果,(,即输出条件,),，并给每个原因和结果赋予一个标识符。

2),,分析软件规格说明描述中的语义，找出原因与结果之间，原因与原因之间对应的是什么关系,?,根据这些关系，画出因果图3),,由于语法或环境限制，有些原因与原因之间，原因与结果之间的组合情况不可能出现为表明这些特殊情况，在因果图上用一些记号标明约束或限制条件4),,把因果图转换成判定表5),,把判定表的每一列拿出来作为依据，设计测试用例4,应用举例,,某个软件的规格说明书中规定,:,第一个字符必须是,A,或,B,,第二个字符必须是一个数字字符,,,在此情况下进行文件的修改,,,但如果第一个字符不正确,,,则给出信息,L,;,如果第二个字符不正确,,,则给出信息,M,.,,应用举例,,分析问题,,,按照如下步骤进行,:,,(1),根据软件规格说明书,,,列出原因和结果,.,,(2),找出原因和结果之间的关系,,,原因和原因之间的约束关系,,,画出因果图,.,,(3),将因果图转化为判定表,,(4),根据判定表设计测试用例,.,,,应用举例,,原因,:,,C1:,第一个字符是,A;,,C2:,第一个字符是,B;,,C3:,第二个字符是一个数字字符,.,,结果,:,,E1:,给出信息,L;,,E2:,修改文件,;,,E3:,给出信息,M;,,因果图,,中间结果,,带有,E,约束的因果图,,E,,将因果图转化为判定表,,1,2,3,4,5,6,7,8,C1,,C2,,C3,,10,1,,1,,1,,1,,1,,0,1,,0,,1,,1,1,,0,,0,,1,0,,1,,1,,1,0,,1,,0,,1,0,,0,,1,,0,0,,0,,0,,0,E1,,E2,,E3,,不可能,,,,√,,,,√,√,,,,√,,√,,,,√,,,√,,√,,√,测试用例,,,A3,,A5,AM,,A&,B3,,B5,BM,,B*,C2,,X6,CM,,D*,,设计测试用例,测试用例,1:,输入数据,:A3,预期输出,:,修改文件,,测试用例,2:,输入数据,:AM,预期输出,:,给出信息,M,,测试用例,3:,输入数据,:B3,预期输出,:,修改文件,,测试用例,4:,输入数据,:B*,预期输出,:,给出信息,M,,测试用例,5:,输入数据,:C2,预期输出,:,给出信息,L,,测试用例,6:,输入数据,:CM,预期输出,:,给出信息,LM,,,练习,,程序的规格说明要求：输入的第一个字符必须是,#,或*，第二个字符必须是一个数字，在此情况下进行文件的修改；如果第一个字符不是,#,或*，则给出信息,N,，如果第二个字符不是数字，则给出信息,M,。

用因果图法设计测试用例,,,练习,2,例如，有一个处理单价为,5,角钱的饮料的自动售货机软件测试用例的设计其规格说明如下：,,若,投入,5,角钱或,1,元钱的硬币，,按下,〖,橙汁,〗,或,〖,啤酒,〗,的按钮，则相应的饮料就送出来若售货机,没有零钱找,，则一个显示,〖,零钱找完,〗,的红灯亮，这时在投入,1,元硬币并按下按钮后，饮料不送出来而且,1,元硬币也退出来；若,有零钱找,，则显示,〖,零钱找完,〗,的红灯灭，在送出饮料的同时退还,5,角硬币4.,因果图法,(1),分析这一段说明，列出原因和结果,原因,:,1.,,售货机有零钱找,,,2.,,投入,1,元硬币,,,3.,,投入,5,角硬币,,,4.,,按下橙汁按钮,,,5.,,按下啤酒按钮,,建立中间结点，表示处理中间状态,11.,,投入,1,元硬币且按下饮料按钮,12.,,按下,〖,橙汁,〗,或,〖,啤酒,〗,的按钮,13.,,应当找,5,角零钱并且售货机有零钱找,14.,,钱已付清,,4.,因果图法,,结果：,,,21.,,售货机,〖,零钱找完,〗,灯亮,,,22.,,退还,1,元硬币,,,23.,,退还,5,角硬币,,,24.,,送出橙汁饮料,,,25.,,送出啤酒饮料,,(2),画出因果图。

所有原因结点列在左边，所有结果结点列在右边3),,由于,2,与,3,，,4,与,5,不能同时发生，,分别加上约束条件,E,4),因果图转换成判定表,,(5),设计测试用例,,,,,编号,输入条件,12345,组合,期望输出,Test1,,Test2,,Test3,,Test4,,Test5,,Test6,,Test7,,Test8,,Test9,,Test10,,Test11,,Test12,,Test13,,Test14,,Test15,,Test16,11010,,11001,,11000,,10110,,10101,,10100,,10010,,10001,,01010,,01001,,01000,,00110,,00101,,00100,,00010,,00001,23,24,,23,25,,..,,24,,25,,..,,..,,..,,21,22,,21,22,,21,,21,24,,21,25,,21,,21,,21,,练习,,有一个处理,单价为,1,元,5,角,的盒装饮料的自动售货机软件若投入,1,元,5,角硬币，,按下“可乐”,、“雪碧”或“红茶”按钮，相应的,饮料就送出,来。

若投入的是,2,元硬币,，在送出饮料的同时退还,5,角硬币,因果图方法设计测试用例,,因果图法的优点,考虑了多个输入之间的相互组合、相互制约关系；,,能够帮助我们按一定步骤，高效率地选择测试用例，同时还能为我们指出，程序规格说明描述中存在着什么问题,,小结,,因果图方法的适用范围,,因果图方法设计测试用例的步骤,,因果图方法优点,,。