因果图是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。

一、输入与输出的关系

1.恒等：若ci是1，则ei也是1；否则ei为0。
2.非：若ci是1，则ei是0；否则ei是1。
3.或：若c1或c2或c3是1，则ei是1；否则ei为0。“或”可有任意个输入。
4.与：若c1和c2都是1，则ei为1；否则ei为0。“与”也可有任意个输入。

二、输入与输入的关系

1.E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。
2.I约束（或）：a、b和c中至少有一个必须是1，即 a、b 和c不能同时为0。
3.O约束（唯一）；a和b必须有一个，且仅有1个为1。
4.R约束（要求）：a是1时，b必须是1，即不可能a是1时b是0。

三、输出与输出的关系

1.M(屏蔽)：a出现时，b必定不出现；a不出现时，b则不确定。

四、小示例

1.根据关系画用例的因果图

2.根据用例因果图设计判定表

3.去除因果图判定表的无效项

持续更新…