资源描述
单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,#,因果图测试法,软件,163,闵虹杰组,1,1,简,介,2,2025/4/29 周二,因果图测试法产生的,背景,等价类划分法,和,边界值分析方法,都是着重考虑,输入条件,,但没有考虑各种输入条件之间的,组合,。如果输入之间有关系,例如,约束关系、组合关系,这种关系用等价类划分和边界值分析是很难描述的,测试效果难以保障。,因此必须考虑使用一种适合于描述对于多种条件的,组合,,产生多个相应动作的测试方法,因果图正是在此背景下提出的。,因果图法着重测试规格说明中的输入与输出间的,依赖,关系。,3,2025/4/29 周二,黑盒测试法,的一种,什么是因果图测试法?,是一种利用,图解法,分析,输入,的各种,组合,情况,从而设,计测试用例的方法,4,2025/4/29 周二,一些程序的功能可以用,判定表,的形式来表示,并根据输,入条件的,组合,情况规定相应的功能。,因果图测试法的,基本思想,从这些程序的,规格说明书,的描述中,找出因(,Cause,,输,入条件)和果(,Effect,,输出结果或者程序改变的状态,),画出因果图,将,因果图,转换成,判定表,。,对判定表的每一列设计一个,测试用例,是什么?,5,2025/4/29 周二,真值表:,表征逻辑事件,输入,和,输出,之间全部可能状态的表格。,什么是,判定表,真值表就是,判定表,的一种,特例,。,6,2025/4/29 周二,1,2,介,简,因,果,图,画,法,7,2025/4/29 周二,因果图基本图形,C=Cause,原因,,E=Effect,结果,(a),恒等。若原因出现,则结果出现;若原因不出现,则结果不出现。,(b),非。若原因出现,则结果不出现;若原因不出现,则结果出现。,(c),或。若几个原因中有一个出现,则结果出现;若几个原因均不出现,则结果不出现。,(d),与。若几个原因都出现,结果才出现;若几个原因中有一个不出现,则结果不出现。,原因,-,结果,8,2025/4/29 周二,因果图的,约束条件,原因,-,原因,E(,互斥、排他,),。,C1 C2 C3,三个原因不会同时出现,最多只有一个出现。,I(,包含、或,),。,C1,C2,两个原因至少有一个出现。,约束条件即实际中各条件间可能存在的,依赖关系,9,2025/4/29 周二,因果图的,约束条件,原因,-,原因,R(,需求,),。,C1,出现时,C2,必定出现。但,C1,的值与,C2,无关。,O(,唯一,),。,C1,、,C2,两个原因必须有一个出现,且仅有一个出现。,10,2025/4/29 周二,因果图的,约束条件,结果,-,结果,M(,屏蔽,),。,Ef1,出现时,,Ef2,必定不出现;,Ef1,不出现时,,Ef2,则不确定。,11,2025/4/29 周二,具体,步骤,(,1,)确定软件规格,(,需求,),中的,原因,和,结果,,给每个结果原因加上标示符,(,2,)确定,原因,和,结果,之间的逻辑关系,(,3,)确定因果图中的各个约束,(constraints),(,4,)画出因果图并转换为判定表,(,5,)根据判定表设计测试用例,12,2025/4/29 周二,1,简,介,2,因,果,图,画,法,3,实,例,13,2025/4/29 周二,实例分析,自动售货机售卖可乐、冰红茶和雪碧三种饮料,单价都是,3,元。自动售货机只接受面值五元或一元的钞票。,若投入,3,张一元钞票,按下“可乐、冰红茶或雪碧”按钮后,饮料自动送出;,若投入,1,张五元的钞票,则在送出饮料后退还两元零钱。,14,2025/4/29 周二,实例分析,自动售货机售卖可乐、冰红茶和雪碧三种饮料,单价都是,3,元。自动售货机只接受面值五元或一元的钞票。,若投入,3,张一元钞票,按下“可乐、冰红茶或雪碧”按钮后,饮料自动送出;若投入,1,张五元的钞票,则在送出饮料后退还两元零钱。,(,1,)确定软件规格,(,需求,),中的,原因,和,结果,,给每个结果原因加上标示符,原因,结果,C1,:投入,3,张一元纸币,E1,:退还两元零钱,C2,:投入,1,张五元纸币,E2,:可乐出货,C3,:选择可乐,E3,:冰红茶出货,C4,:选择冰红茶,E4,:雪碧出货,C5,:选择雪碧,15,2025/4/29 周二,实例分析,(,2,)确定,原因,和,结果,之间的,逻辑关系,投入,3,张一元纸币,C1,C2,C3,C4,C5,投入,1,张五元纸币,选择可乐,选择冰红茶,选择冰雪碧,E1,E2,E3,E4,退还两元零钱,可乐出货,冰红茶,雪碧出货,Cm1,选择了饮料,Cm2,投入,3,元,Cm3,投入,5,元,Cm4,出货,16,2025/4/29 周二,实例分析,(,3,)确定因果图中的各个,约束,(constraints),投入,3,张一元纸币,C1,C2,C3,C4,C5,投入,1,张五元纸币,选择可乐,选择冰红茶,选择冰雪碧,E,E,Cm2,投入,3,元,Cm3,投入,5,元,Cm4,出货,I,17,2025/4/29 周二,实例分析,完整的因果图,投入,3,张一元纸币,C1,C2,C3,C4,C5,投入,1,张五元纸币,选择可乐,选择冰红茶,选择冰雪碧,E1,E2,E3,E4,退还两元零钱,可乐出货,冰红茶,雪碧出货,Cm1,选择了饮料,Cm2,投入,3,元,Cm3,投入,5,元,Cm4,出货,E,E,I,18,2025/4/29 周二,实例分析,(4),转换为,判定表,c,c,c,c,c,19,2025/4/29 周二,实例分析,(,5,)根据,判定表,设计,测试用例,这只是个很简单的例子,如果你能直接写出判定表也可以不画因果图直接写出判定表,-,测试用例。比如这个例子。,20,2025/4/29 周二,谢谢观看!,21,
展开阅读全文