7因果图法.ppt

黑盒测试用例设计 ——因果图法 因果图法产生的背景 等价类划分法和边界值分析方法都是着重考虑输入条件，但没有考虑输入条件的各种组合、输入条件之间的相互制约关系。这样虽然各种输入条件可能出错的情况已经测试到了，但多个输入条件组合起来可能出错的情况却被忽视了。 因果图法设计测试用例思想 首先从程序规格说明书的描述中,找出因(输入条件)和果(输出结果或者程序状态的改变), 然后通过因果图转换为判定表,最后为判定表中的每一列设计一个测试用例. 因果图法的定义： 是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。 因果图中出现的基本符号 主要的原因与结果之间的关系 恒等：若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，“与”也可有任意个输入。 在实际问题当中输入状态相互之间还可能存在某些依赖关系，称为“约束” 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约束（强制）：若结果a是1，则结果b强制为0。 对于输入条件的约束有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。 因果图法设计测试用例步骤： 分析程序规格说明书描述的语义内容，找出“原因”和“结果”，将其表示成连接各个原因与各个结果的“因果图”。 由于语法或环境限制，有些原因与原因之间或与结果之间的组合情况不能出现，用记号标明约束或限制条件； 将因果图转换成决策表； 根据决策表中每一列设计测试用例 因果图法举例 程序的规格说明要求：输入的第一个字符必须是“#”或“*”，第二个字符必须是一个数字，在此情况下进行文件的修改；如果第一个字符不是“#”或“*”，则给出信息N；如果第二个字符不是数字，则给出信息M。 步骤： 分析程序的规格说明，列出原因和结果； 找出原因与结果之间的因果关系、原因与原因之间的约束关系，画出因果图。 将因果图转换成决策表； 根据3中的决策表，设计测试用例的输入数据和预期输出。 解法如下： （1）在明确了上述要求后，可以明确地将原因和结果分开。 原因：c1－第一个字符是“#” c2－第一个字符是“*” c3－第二个字符是一个数字 结果：e1－给出信息N e2－修改文件 e3－给出信息M （2）因果图 带有E约束的因果图 将因果图转化为判定表 (4)设计测试用例 最左边两列，原因c1和c2同时为1不可能，排除掉，根据表可设计出6个测试用例。 Test1：输入数据－#3 预期输出－－修改文件 Test2：输入数据－#B 预期输出－－给出信息M Test3：输入数据－*7 预期输出－－修改文件 Test4：输入数据－*M 预期输出－－给出信息M Test5：输入数据－C2 预期输出－－给出信息N Test6：输入数据－CM 预期输出－－给出信息M和N 使用因果图法的优点： （1）考虑到了输入情况的各种组合以及各个输入情况之间的相互制约关系。 （2）能够帮助测试人员按照一定的步骤，高效率的开发测试用例。 （3）因果图法是将自然语言规格说明转化成形式语言规格说明的一种严格的方法，可以指出规格说明存在的不完整性和二义性。 案例分析1 有一个处理单价为1元5角的盒装饮料的自动售货机软件。若投入1元5角硬币，按下“可乐”，“雪碧”或“红茶”按钮，相应的饮料就送出来。若投入的是两元硬币，在送出饮料的同时退还5角硬币。 （1）分析原因及结果 （2）画出因果图 （3）决策表 （4）设计测试用例 习题1 某软件的一个模块的需求规格说明书中描述： （1）年薪制员工：严重过失，扣年终风险金的4%；过失，扣年终风险金的2%。 （2）非年薪制员工：严重过失，扣当月薪资的8%；过失，扣当月薪资的4%。 请绘制出因果图和判定表，并给出相应的测试用例。 习题2 中国象棋中走马的测试用例设计为例