因果图方法 ：
等价类划分方法和边界值分析方法,都是着重考虑输入条件,但未考虑输入条件之间的联系, 相互组合等
考虑输入条件之间的相互组合,可能会产生一些新的情况. 但要检查输入条件的组合不是一件容易的事情, 即使把所有输入条件划分成等价类,他们之间的组合情况也相当多. 因此必须考虑采用一种适合于描述对于多种条件的组合,相应产生多个动作的形式来考虑设计测试用例
采用因果图方法能够帮助我们按一定步骤，高效率地选择测试用例，同时还能为我们指出，程序规格说明描述中存在着什么问题
利用因果图生成测试用例的基本步骤
分析软件规格说明描述中, 那些是原因(即输入条件或输入条件的等价类),那些是结果(即输出条件), 并给每个原因和结果赋予一个标识符
分析软件规格说明描述中的语义.找出原因与结果之间, 原因与原因之间对应的关系. 根据这些关系,画出因果图
由于语法或环境限制, 有些原因与原因之间,原因与结果之间的组合情况不不可能出现. 为表明这些特殊情况, 在因果图上用一些记号表明约束或限制条件
把因果图转换为判定表
把判定表的每一列拿出来作为依据,设计测试用例
因果图介绍
4种符号分别表示了规格说明中向4种因果关系
恒等
与
或
非
因果图中使用了简单的逻辑符号，以直线联接左右结点。左结点表示输入状态（或称原因），右结点表示输出状态（或称结果）
Ci表示原因，通常置于图的左部；ei表示结果，通常在图的右部。ci和ei均可取值0或1，0表示某状态不出现，1表示某状态出现
因果图概念
关系
恒等：若ci是1，则ei也是1；否则ei为0
与：若c1和c2都是1，则ei为1；否则ei为0。“与”也可有任意个输入
或：若c1或c2或c3是1，则ei是1；否则ei为0。“或”可有任意个输入
非：若ci是1，则ei是0；否则ei是1
约束
输入状态相互之间还可能存在某些依赖关系，称为约束
某些输入条件本身不可能同时出现。输出状态之间也往往存在约束
在因果图中,用特定的符号标明这些约束
输入条件的约束有以下4类
E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1
I约束（或）：a、b和c中至少有一个必须是1，即 a、b 和c不能同时为0
O约束（唯一）；a和b必须有一个，且仅有1个为1
R约束（要求）：a是1时，b必须是1，即不可能a是1时b是0
输出条件约束类型
输出条件的约束只有M约束（强制）：若结果a是1，则结果b强制为0
因果图方法小结
因果图方法是一个非常有效的黑盒测试方法，它能够生成没有重复性的且发现错误能力强的测试用例，而且对输入、输出同时进行了分析
从因果图生成的测试用例（局部,组合关系下的）包括了所有输入数据的取TRUE与取FALSE的情况,构成的测试用例数目达到最少,且测试用例数目随输入数据数目的增加而线性地增加
如果哪个开发项目在设计阶段就采用了判定表，也就不必再画因果图，而是可以直接利用判定表设计测试用例了
