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

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