软件测试用例的设计方法

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,*,第三章软件测试用例的设计方法,黑盒测试用例设计方法,-决策表方法,5.决策表法,5.1 概述,在一个程序中，如果输入输出比较多，输入之间、输出之间相互制约的条件比较多，在这种情况下使用决策表更合适，它可以清楚地表达它们之间的各种复杂关系。,决策表法是黑盒测试方法中最为严格、最具有逻辑性的测试方法,5.决策表法,决策表通常由四部分组成:,条件桩,动作桩,条件项,动作项,规则,条件桩:列出问题的所有条件,条件项：针对条件桩给出的条件列出所有可能的取值,动作桩：给出问题规定的可能采取的操作,动作项：与条件项紧密相关，指出在条件项的各组取值情况下应采取的动作,项中的每一列是一条,规则,决策表,规则,选项,1,2,3，4,5,6,7，8,条件:c1,c2,c3,T,T,T,T,T,F,T,F,-,F,T,T,F,T,F,F,F,-,动作:a1,a2,a3,a4,条件桩,动作项,动作桩,条件项,阅读指南决策表单,规则,选项,1,2,3,4,5,6,7,8,问,题,觉得疲倦吗,Y,Y,Y,Y,N,N,N,N,感兴趣吗,Y,Y,N,N,Y,Y,N,N,糊涂吗,Y,N,Y,N,Y,N,Y,N,建,议,重读,继续,跳下一章,休息,5.决策表法,5.2决策表:,5.决策表法,规则,指示在规则的条件部分中指示的条件环境下要采取什么行动.,在上图的决策表中,如果条件1条件2为真,而条件3条件4为假,那么采取行动3.,规则1中的条件1.2.3称为“不关心”条目.,不关心条目解释有两种:条件无关或条件不适用.,5.3决策表的化简,有,n,个条件的决策表,对应的规则将有,2,n,条，当n非常大的时候，这是非常繁琐的。因此,应对决策表进行化简.,决策表的化简包括两个方面:,5.3决策表的化简,(1)合并,如果一个条件项(表中某列中的条件值)和另外一个条件项所产生的动作是相同的,且两个条件项对应的每一行的值只有一个是不同的,则可以将其合并.合并的项除了不同值变成”不关心”条目外,其余不变,5.3决策表的化简,(2)包含,如果两个条件项的动作是相同的,对任意条件1的值和条件2中对应的值,如果满足:,A.如果条件1的值是T(F),则条件2中的值也是T(F).,B.如果条件1的值是-(不关心),则条件2中的值是T,F,-,称条件1包含条件2,条件2可以撤去.,重复A,B就可以得到精简的决策表.,决策表的简化,简化是以合并相似规则为目标；,若表中有两条以上规则具有相同的动作，并且在条件项之间存在极为相似的关系，便可以合并。,N,Y,N,N,Y,Y,N,Y,N,N,N,Y,Y,N,Y,将“阅读指南”决策表简化,规则,选项,14,5,6,78,问,题,觉得疲倦吗,Y,N,N,N,感兴趣吗,Y,Y,N,糊涂吗,Y,N,建,议,重读,继续,跳下一章,休息,5.3决策表的化简,8,F,-,T,F,5.决策表法,构造决策表的步骤:,(1)确定规则的个数,(2)列出所有的,条件桩,和,动作桩,(3)填入输入项,(4)填入动作项,得到初始的决策表,(5)对初始的决策表化简,5.决策表法,5.4三角形问题的决策表用例设计,表1,1-8,9,10,11,12,13,14,15,16,C1:abc能否构成三角形?,C2:a=b?,C3:a=c?,C4:b=c?,N,-,-,-,Y,Y,Y,Y,Y,Y,Y,N,Y,Y,N,Y,Y,Y,N,N,Y,N,Y,Y,Y,N,Y,N,Y,N,N,Y,Y,N,N,N,A1:非三角形,A2:一般三角形,A3:等腰三角形,A4:等边三角形,A5:不可能,该条件可以扩展成：a+bcb+cac+ab,5.决策表法,表2,1,2,3,4,5,6,7,8,9,10,11,C1:ab+c?,C2:ba+c?,C3:ca+b?,C4:a=b?,C5:a=c?,C6:b=c?,N,-,-,-,-,-,Y,N,N,-,-,-,Y,Y,N,-,-,-,Y,Y,Y,Y,Y,Y,Y,Y,Y,Y,Y,N,Y,Y,Y,Y,N,Y,Y,Y,Y,Y,N,N,Y,Y,Y,N,Y,Y,Y,Y,Y,N,Y,N,Y,Y,Y,N,N,Y,Y,Y,Y,N,N,N,A1:非三角形,A2:一般三角形,A3:等腰三角形,A4:等边三角形,A5:不可能,三角形问题的扩展决策表,a,b,c是否可以构成三角形,根据决策表测试用例,编号,a,b,c,期望输出,DT1,DT2,DT3,DT4,DT5,DT6,DT7,DT8,DT9,DT10,DT11,4 1 2,1 4 2,1 2 4,5 5 5,?,?,2 2 3,?,2 3 2,3 2 2,3 4 5,非三角形,非三角形,非三角形,等边三角形,不可能,不可能,等腰三角形,不可能,等腰三角形,等腰三角形,一般三角形,5.决策表法,5.5 NextDate函数的决策表,涉及的操作:,a1:不可能,a2:day加1,a3:day复位,a4:month加1,a5:month复位,a6:year加1,5.决策表法,根据如下等价类:,M1:月:月有30天,M2:月:月有31天,12月除外,M3:月:月有12月,M4:月:月是2月,D1:day:1day 27,D2:day:day=28,D3:day:day=29,D4:day:day=30,D5:day:day=31,Y1:year:year是闰年,Y2:year:year不是闰年,5.决策表法,建立条件:,c1:month在Mi中(如M1,M2),c2:day在Di中,c3:year在Yi中,5.决策表法,表3,1,2,3,4,5,6,7,8,9,10,11,c1:month在,c2:day在,c3:year在,M1,D1,-,M1,D2,-,M1,D3,-,M1,D4,-,M1,D5,-,M2,D1,-,M2,D2,-,M2,D3,-,M2,D4,-,M2,D5,-,M3,D1,-,a1:不可能,a2:day加1,a3:day复位,a4:month加1,a5:month复位,a6：year加1,5.决策表法,表3续,12,13,14,15,16,R1,18,19,20,21,22,c1:month在,c2:day在,c3:year在,M3,D2,-,M3,D3,-,M3,D4,-,M3,D4,-,M4,D1,-,M4,D2,Y1,M4,D2,Y2,M4,D3,Y1,M4,D3,Y2,M4,D4,-,M4,D5,-,a1:不可能,a2:day加1,a3:day复位,a4:month加1,a5:month复位,a6：year加1,5.决策表法,化简决策表：,表4,1-3,4,5,6-9,10,11-14,15,c1:month在,c2:day在,c3:year在,M1,D1D3,-,M1,D4,-,M1,D5,-,M2,D1D4,-,M2,D5,-,M3,D1D4,-,M3,D5,-,a1:不可能,a2:day加1,a3:day复位,a4:month加1,a5:month复位,a6：year加1,表4续,16,17,18,19,20,21-22,c1:month在,c2:day在,c3:year在,M4,D1,-,M4,D2,Y1,M4,D2,Y2,M4,D3,Y1,M4,D3,Y2,M4,D4-D5,-,a1:不可能,a2:day加1,a3:day复位,a4:month加1,a5:month复位,a6：year加1,根据决策表设计测试用例:,编号,month,day,year,期望输出,Test1Test3,Test4,Test5,Test6Test9,Test10,Test1114,Test15,Test16,Test17,Test18,Test19,Test20,Test2122,8 16 2001,8 30 2004,9 31 2001,1 16 2004,1 31 2001,12 16 2004,12 31 2001,2 16 2004,2 28 2004,2 28 2001,2 29 2004,2 29 2001,2 30 2004,17/8/2001,31/8/2004,不可能,17/1/2004,1/2/2001,17/12/2004,1/1/2002,17/2/2001,29/2/2004,1/3/2001,1/3/2004,不可能,不可能,5.决策表法,5.6决策表测试法的适用范围,决策表测试法适用于具有以下特征的应用程序：,(1)if-then-else逻辑突出,(2)输入变量之间存在逻辑关系,(3)涉及输入变量子集的计算,(4)输入和输出之间存在因果关系,5.决策表法,适用于使用决策表设计测试用例的情况:,(1)规格说明以决策表形式给出,或较容易转换为决策表.,(2)条件的排列顺序不会也不应该影响执行的操作,(3)规则的排列顺序不会也不应该影响执行的操作,(4)当某一规则的条件已经满足,并确定要执行的操作后,不必检验别的规则.,(5)如果某一规则的条件要执行多个操作任务,这些操作的执行顺序无关紧要.,某厂对一部分职工重新分配工作，分配原则是：,年龄不满20岁，文化程度是小学者脱产学习，文化程度是中学者当电工；,年龄满20岁但不足50岁，文化程度是小学或中学者，男性当钳工，女性当车工；文化程度是大学者技术员；,年龄满50及50以上，文化程度是小学或中学者当材料员，文化程度是大学者当技术员。,某校关于学生升留级的规定为：,一学期有三门考试课程不及格，直接留级；,一学期考试和考察四门课程不及格者，不予补考，直接留级；,