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

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