因果图

因果图：用图解的方法表示输入的各种组合关系，写出判定表，从而设计相应的测试用例

因果图常用符号：
Ci：原因
Ei：结果
恒等：原因结果同时出现
非~：原因与结果不同时出现
或∨：原因只要有出现，结果就出现
且∧：原因都出现，结果才出现
限制关系图形符号：
E（互斥Exclusion）：表示ab两原因不会同时成立，最多一个能成立
I（包含Include）：abc三个原因中至少有一个必须成立
O（唯一Only）：ab当中必须有一个，且仅有一个成立
R（要求Require）：当a出现时，b必须也出现，不可能a出现b不出现
M(强制或屏蔽)：a是1时，b必须是0，a是0时，b的值不定

因果法概述：因果图法是从需求中找出因(输入条件)和果(输出或程序状态的改变)，通过因果图转化成判定表
输入条件之间的关系（组合关系、约束关系等）
输入和输出之间的关系