6因果图法精选.pptVIP

黑盒测试用例设计 ——因果图法 因果图法产生的背景 等价类划分法和边界值分析方法都是着重考虑输入条件，但没有考虑输入条件的各种组合、输入条件之间的相互制约关系。这样虽然各种输入条件可能出错的情况已经测试到了，但多个输入条件组合起来可能出错的情况却被忽视了。 因果图法设计测试用例思想 首先从程序规格说明书的描述中,找出因(输入条件)和果(输出结果或者程序状态的改变), 然后通过因果图转换为判定表,最后为判定表中的每一列设计一个测试用例. 因果图法的定义： 是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。 因果图中出现的基本符号 主要的原因与结果之间的关系 恒等：若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必须有一个