软件测试第11讲测试流程测试用例因果图法.ppt

实战演习 3) 转换成判定表： 方向盘-车尾 * * * Logo 软件测试 第11讲 测试用例设计方法 ——因果图法 目 录 测试申请 1 测试计划 2 测试需求 3 测试环境 4 测试用例 5 目 录 测试执行 6 测试缺陷管理 7 测试报告总结 8 测试用例维护 9 目 录 因果图法设计测试用例思想 1 因果图的定义 2 因果图法设计测试用例步骤 3 使用因果图法的优点 4 案例分析 5 什么是因果关系？？ 拿破仑说： “失一个钉子，坏了一只蹄铁； 坏了一只蹄铁，折了一匹战马； 折了一匹战马，伤了一位骑士； 伤了一位骑士，输了一场战斗； 输了一场战斗，亡了一个帝国。” 这就是因果关系 因果图法产生的背景 等价类划分法和边界值分析方法都是着重考虑输入条件，但没有考虑输入条件的各种组合、输入条件之间的相互制约关系。这样虽然各种输入条件可能出错的情况已经测试到了，但多个输入条件组合起来可能出错的情况却被忽视了。 因果图法设计测试用例思想 首先从程序规格说明书的描述中,找出因(输入条件)和果(输出结果或者程序状态的改变), 然后通过因果图转换为判定表,最后为判定表中的每一列设计一个测试用例. 因果图法的定义： 是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。 因果图中出现的基本符号 原因 结果 通常在因果图中用Ci表示原因，用Ei表示结果，各结点表示状态，可取值“0”或“1”。“0”表示某状态不出现，“1”表示某状态出现。 主要的原因与结果之间的关系 c1 e1 c1 e1 ～ c2 e1 c1 c3 V c2 e1 c1 V （a）恒等 （b）非 （c）或 （d）与 恒等：若c1是1，则e1也为1，否则e1为0； c1 e1 非：若c1是1，则e1为0，否则e1为1；用符号“~”表示。 c1 e1 ～ 或：若c1或c2或c3是1，则e1是1，否则e1为0，“或”可有任意个输入；用符号“V”表示。 c2 e1 c1 c3 V 与：若c1和c2都是1，则e1为1，否则e1为0，“与”也可有任意个输入。用符号“∧”表示。 c2 e1 c1 V 恒等：若c1是1，则e1也为1，否则e1为0； 非：若c1是1，则e1为0，否则e1为1； 或：若c1或c2或c3是1，则e1是1，否则e1为0，“或”可有任意个输入； 与：若c1和c2都是1，则e1为1，否则e1为0，“与”也可有任意个输入。 在实际问题当中输入状态相互之间还可能存在某些依赖关系，称为“约束” a b E 异 (a) a c I 或 b a b O 唯一 a b R 要求 a b 强制 M (b) (c) (d) (e) E约束（异）：a和b中最多有一个可能为1，即a和b不能同时为1； a b E 异 I约束（或）：a、b、c中至少有一个必须是1，即a、b、c不能同时为0； a c I 或 b O约束（唯一）：a和b必须有一个且仅有一个为1； a b O 唯一 R约束（要求）：a是1时，b必须是1； a b R 要求 M约束（强制）：若结果a是1，则结果b强制为0。 a b 强制 M 对于输入条件的约束有4种： E约束（异）：a和b中最多有一个可能为1，即a和b不能同时为1； I约束（或）：a、b、c中至少有一个必须是1，即a、b、c不能同时为0； O约束（唯一）：a和b必须有一个且仅有一个为1； R约束（要求）：a是1时，b必须是1； 对于输出条件的约束只有M约束 M约束（强制）：若结果a是1，则结果b强制为0。 因果图法设计测试用例步骤： 分析程序规格说明书描述的语义内容，找出“原因”和“结果”，将其表示成连接各个原因与各个结果的“因果图”。 由于语法或环境限制，有些原因与原因之间或与结果之间的组合情况不能出现，用记号标明约束或限制条件； 将因果图转换成决策表； 根据决策表中每一列设计测试用例 课堂回顾： c1 e1 c1 e1 ～ c1 e1 c2 c3 ∨ c1 e1 c2 ∧ 1、以下四个图例分别表示什么关系： 课堂回顾： a b E a b I c a b O R a b M a b 2、以下五种图例又分别表示什么关系？？ 实战演习 　2. 有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮