因果图法是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。
等价类划分法和边界值分析方法都是着重考虑输入条件，但没有考虑输入条件的各种组合、输入条件之间的相互制约关系。这样虽然各种输入条件可能出错的情况已经测试到了，但多个输入条件组合起来可能出错的情况却被忽视了。
如果在测试时必须考虑输入条件的各种组合，则可能的组合数目将是天文数字，因此必须考虑采用一种适合于描述多种条件的组合、相应产生多个动作的形式来进行测试用例的设计，这就需要利用因果图（逻辑模型）。
- 恒等：若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。“与”也可有任意个输入。
- 输入条件的约束有以下4类：
- E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。
- O约束（唯一）；a和b必须有一个，且仅有1个为1。
- R约束（要求）：a是1时，b必须是1，即不可能a是1时b是0。
- 输出条件约束类型
实例：
解答：
11为中间节点；考虑到原因1和原因2不可能同时为1，因此在因果图上施加E约束。
原因：
1――售货机有零钱找
2――投入1元硬币
3――投入5角硬币
4――押下橙汁按钮
5――.押下啤酒按钮
结果：
22――退还1元硬币
24――送出橙汁饮料
25――送出啤酒饮料
原文：https://www.cnblogs.com/chuochuo22/p/9282978.html