因果图测试法附简单实例.ppt

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