因果图法设计测试用例
1. 定义:因果图法是一种利用图解法分析输入的各种组合情况,从而设计测试用例的方法,他适合与检查程序输入条件的各种组合情况。
2. 意义:等价类划分和边界值分析方法都是着重考虑输入条件,但没有考虑输入条件的各种组合、输入条件之间的相互制约关系。这样虽然各种输入条件可能出错的情况已经测试测试到了,但多个输入条件组合起来可能出错的情况却被疏忽了。
3. 认识因果图
·如果在测试时必须考虑输入条件的各种组合,则可能的组合数目将是天文数字,因此必须考虑采用一种适合于描述多种条件的组合、相应产生多个动作的形式来进行测试用例的设计,这就需要利用因果图(逻辑模型)
·因果图常用符号有以下2中:
1)CI:原因
2)EI:结果
(注意:其中I取“0”表示状态不出现,“1”表示状态出现,若有多状态,可取大于1的多个值表示。)
4. 因果图四种关系(左输入右输出)
1)恒等:原因结果同时出现,若c1是1,则e1也是1;否则e1为0.
2)非~:原因出现,结果不出现;原因不出现,结果出现。若c1是1,则e1是