因果图测试法简单实例.pptVIP

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