因果图测试法附简单实例

1、因果图测试法产生的背景 等价类划分等价类划分法法和和边界值分析方法边界值分析方法都是着重考虑都是着重考虑输入条件输入条件，但没，但没有考虑各种输入条件之间的有考虑各种输入条件之间的组合组合。如果。如果输入之间有关系，例如，约输入之间有关系，例如，约束关系、组合关系，这种关系用等价类划分和边界值分析是很难描束关系、组合关系，这种关系用等价类划分和边界值分析是很难描述的，测试效果难以述的，测试效果难以保障。保障。 因此因此必须考虑使用一种适合于描述对于多种条件的必须考虑使用一种适合于描述对于多种条件的组合组合，产，产生多个相应动作的测试方法，因果图正是在此背景下提出的生多个相应动作的测试方法，因果

2、图正是在此背景下提出的。 因果因果图法着重测试规格说明中的输入与输出间的图法着重测试规格说明中的输入与输出间的依赖依赖关系。关系。 黑盒测试法黑盒测试法的一种的一种什么是因果图测试法？是一种是一种利用利用图解法图解法分析分析输入输入的各种的各种组合组合情况，从而设情况，从而设 计测试用例的方法计测试用例的方法 一些程序的功能可以用一些程序的功能可以用判定表判定表的形式来表示，并根据输的形式来表示，并根据输 入条件的入条件的组合组合情况规定相应的功能。情况规定相应的功能。因果图测试法的基本思想 从这些程序的从这些程序的规格说明书规格说明书的描述中，找出因（的描述中，找出因（Cause，输，输 入

3、条件）和果（入条件）和果（Effect，输出结果或者程序改变的状态，输出结果或者程序改变的状态), 画出因果图，将画出因果图，将因果图因果图转换成转换成判定表判定表。对判定表的每一列设计一个对判定表的每一列设计一个测试用例测试用例是什么？真值表：真值表：表征逻辑事件输入和输出之间全部可能状态的表格。 什么是判定表真值表就是真值表就是判定表判定表的一种的一种特例特例。因果图基本图形C=Cause 原因 ， E=Effect 结果(a)恒等。若原因出现，则结果恒等。若原因出现，则结果出现；若原因不出现，则结果出现；若原因不出现，则结果不出现。不出现。(b)非。若原因出现，则结果不非。若原因出现，则

4、结果不出现；若原因不出现，则结果出现；若原因不出现，则结果出现。出现。(c)或。若几个原因中有一个出或。若几个原因中有一个出现，则结果出现；若几个原因现，则结果出现；若几个原因均不出现，则结果不出现。均不出现，则结果不出现。(d)与。若几个原因都出现，结与。若几个原因都出现，结果才出现；若几个原因中有一果才出现；若几个原因中有一个不出现，则结果不出现。个不出现，则结果不出现。原因-结果因果图的约束条件原因原因-原因原因E(互斥、排他互斥、排他)。C1 C2 C3三个三个原因不会同时原因不会同时出现，最多只有一个出现出现，最多只有一个出现。 I(包含、或包含、或)。C1 C2两个两个原因至少有一

5、个出原因至少有一个出现。现。约束条件即实际中各条件间可能存在的依赖关系因果图的约束条件原因原因-原因原因R(需求需求)。C1出现时出现时C2必定必定出现出现。但。但C1的值的值与与C2无关。无关。O(唯一唯一)。C1、C2两两个原因必须有一个出现，个原因必须有一个出现，且仅有一个出现。且仅有一个出现。因果图的约束条件结果结果-结果结果M(屏蔽)。Ef1出现时，Ef2必定不出现；Ef1不出现时，Ef2则不确定。具体步骤（1 1）确定软件规格）确定软件规格( (需求需求) )中的中的原因原因和和结果结果，给每个结果给每个结果原因加上原因加上标示标示符符（2 2）确定）确定原因原因和和结果结果之间的

6、逻辑关系之间的逻辑关系（3 3）确定因果图中的各个约束）确定因果图中的各个约束(constraints)(constraints)（4 4）画出因果图并转换）画出因果图并转换为判定表为判定表（5 5）根据根据判定判定表表设计测试用例设计测试用例 实例分析 自动售货机售卖可乐、冰红茶和雪碧三种饮料，单价都自动售货机售卖可乐、冰红茶和雪碧三种饮料，单价都是是3元元。自动售货机只接受面值。自动售货机只接受面值五五元或一元的钞票。元或一元的钞票。若投入若投入3张一元钞票，按下张一元钞票，按下“可乐、冰红茶或雪碧可乐、冰红茶或雪碧”按钮后，按钮后，饮料自动送出；饮料自动送出；若投入若投入1张张五五元的钞

7、票，则在送出饮料后退还元的钞票，则在送出饮料后退还两两元零钱。元零钱。 实例分析 自动售货机售卖可乐、冰红茶和雪碧三种饮料，单价都是3元。自动售货机只接受面值五元或一元的钞票。若投入3张一元钞票，按下“可乐、冰红茶或雪碧”按钮后，饮料自动送出；若投入1张五元的钞票，则在送出饮料后退还两元零钱。（1 1）确定软件规格）确定软件规格( (需求需求) )中的中的原因原因和和结果结果，给每个结果原因加上标示符，给每个结果原因加上标示符原因原因结果结果C1：投入3张一元纸币E1：退还两元零钱C2：投入1张五元纸币E2：可乐出货C3：选择可乐E3：冰红茶出货C4：选择冰红茶E4：雪碧出货C5：选择雪碧 实

8、例分析（2 2）确定）确定原因原因和和结果结果之间的之间的逻辑关系逻辑关系投入3张一元纸币C1C2C3C4C5投入1张五元纸币选择可乐选择冰红茶选择冰雪碧E1E2E3E4退还两元零钱可乐出货冰红茶雪碧出货Cm1选择了饮料Cm2投入3元Cm3投入5元Cm4出货 实例分析（3 3）确定因果图中的各个）确定因果图中的各个约束约束(constraints)(constraints)投入3张一元纸币C1C2C3C4C5投入1张五元纸币选择可乐选择冰红茶选择冰雪碧EECm2投入3元Cm3投入5元Cm4出货 I 实例分析完整的因果图完整的因果图投入3张一元纸币C1C2C3C4C5投入1张五元纸币选择可乐选择冰红茶选择冰雪碧E1E2E3E4退还两元零钱可乐出货冰红茶雪碧出货Cm1选择了饮料Cm2投入3元Cm3