基本概念
因果图是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。
设计测试用例的步骤
- 分析软件规格说明描述中, 哪些是原因(即输入条件或输入条件的等价类),哪些是结果(即输出条件), 并给每个原因和结果赋予一个标识符。
- 分析软件规格说明描述中的语义，找出原因与结果之间, 原因与原因之间对应的关系，根据这些关系,画出因果图。
- 由于语法或环境限制, 有些原因与原因之间,原因与结果之间的组合情况不可能出现，为表明这些特殊情况, 在因果图上用一些记号表明约束或限制条件。
- 把因果图转换为判定表。
- 把判定表的每一列拿出来作为依据,设计测试用例。
需要掌握的知识
原因和结果之间的关系
（NOT、AND、OR、 NAND、NOR、恒等）
恒等：如果原因为真，那么结果必定为真。
例如：动物园运来大熊猫，动物 园一定有大熊猫
与：只有2个原因都为真，那么结果为真
例如：北京姑娘，必须有车且有房
或：2个原因中有一个为真时， 结果就为真。
例如：长沙姑娘，你有车或者有房
非：只有原因为假，结果才为真。
例如：你不好好学习，找到好工作
原因和原因的关系
各个原因之间不能同时为真，但可以同时为假
（例如：小明不是11班学生，也不 是12班学生）
实例1
有一个处理单价为1元5角钱的盒装饮料的自动售货机软件。若投入1元5角硬币，按下“可乐”、“雪碧”、“红茶”按钮，相应的饮料就送出来。若投入的是两元硬币，在送出饮料的同时退还5角硬币。
原因：① 投入1元5角硬币； ② 投入2元硬币；③ 按“可乐”按钮； ④ 按“雪碧”按钮； ⑤ 按“红茶”按钮。
中间状态：① 已投币； ② 已按钮。
结果：① 退还5角硬币； ② 送出“可乐”饮料③ 送出“雪碧”饮料； ④ 送出“红茶”饮料。
实例2
有一个处理单价为 5 角钱的饮料自动售货机， 软件测试用例的设计规格说明如下： 若投入 5角钱或 1 元钱的硬币，押下 〖橙汁〗或〖啤酒〗的按钮，则相应的饮料 就送出来;若售货机没有零钱找，则一个显示 〖零钱找完〗的红灯亮，这时在投入 1 元硬 币并押下按钮后，饮料不送出来而且 1 元硬 币也退出来；若有零钱找，则显示〖零钱找 完〗的红灯灭，在送出饮料的同时退还 5 角 硬币。 ”
分析：
条件的组合，适用因果图
- 条件桩
- 投入5角 c1
- 投入1元 c2
- 按下橙汁c3
- 按下啤酒c4
- 有零钱找c5
- 无零钱找c6
- 动作桩
- [零钱找完]的红灯灭，退还5角钱，送出橙汁 e1
- [零钱找完]的红灯灭，退还5角钱，送出啤酒 e2
- [零钱找完]的红灯灭，送出橙汁 e3
- [零钱找完]的红灯灭，送出啤酒 e4
- [零钱找完]的红灯亮，退出1元钱，饮料不送出来 e5
小结
- 步骤
- 分析输入输出条件(确定因果关系)
- 画因果图
- 出判定表（分析、简化）
- 得出测试用例
- 核心要点
- 条件和规则
- 适用范围
- 适用于多种条件的组合
- 局限性
- 软件规模
- 条件的顺序问题