因果图
因果图 因果图的适用范围 如果在测试时必须考虑输入条件的各种 组合，可使用一种适合于描述对于多种 条件的组合，相应产生多个动作的形式 来设计测试用例，这就需要利用因果图。 因果图方法最终生成的就是判定表。它 适合于检查程序输入条件的各种组合情 况。 因果图的适用范围 如果在测试时必须考虑输入条件的各种 组合，可使用一种适合于描述对于多种 条件的组合，相应产生多个动作的形式 来设计测试用例，这就需要利用因果图。 因果图方法最终生成的就是判定表。它 适合于检查程序输入条件的各种组合情 况。
用因果图生成测试用例的基本步骤 (1) 分析软件规格说明描述中，哪些是 原因 ( 即输入条件或输入条件的等价类 ) ， 哪些是结果 ( 即输出条件 ) ，并给每个原 因和结果赋予一个标识符。 (2) 分析软件规格说明描述中的语义， 找出原因与结果之间，原因与原因之间 对应的是什么关系 ? 根据这些关系，画 出因果图。 用因果图生成测试用例的基本步骤 (1) 分析软件规格说明描述中，哪些是 原因 ( 即输入条件或输入条件的等价类 ) ， 哪些是结果 ( 即输出条件 ) ，并给每个原 因和结果赋予一个标识符。 (2) 分析软件规格说明描述中的语义， 找出原因与结果之间，原因与原因之间 对应的是什么关系 ? 根据这些关系，画 出因果图。
(3) 由于语法或环境限制，有些原因与原 因之间，原因与结果之间的组合情况不 可能出现。为表明这些特殊情况，在因 果图上用一些记号标明约束或限制条件。 (4) 把因果图转换成判定表。 (5) 把判定表的每一列拿出来作为依据， 设计测试用例。
在因果图中出现的基本符号 通常在因果图中用 Ci 表示原因，用 Ei 表 示结果，各结点表示状态，可取值 “0” 或 “1” 。 “0” 表示某状态不出现， “1” 表示某 状态出现。 在因果图中出现的基本符号 通常在因果图中用 Ci 表示原因，用 Ei 表 示结果，各结点表示状态，可取值 “0” 或 “1” 。 “0” 表示某状态不出现， “1” 表示某 状态出现。 主要的原因和结果之间的关系有 : 主要的原因和结果之间的关系有 :
表示约束条件的符号 为了表示原因与原因之间，结果与结果 之间可能存在的约束条件，在因果图中 可以附加一些表示约束条件的符号。 表示约束条件的符号 为了表示原因与原因之间，结果与结果 之间可能存在的约束条件，在因果图中 可以附加一些表示约束条件的符号。
例如，有一个处理单价为 5 角钱的饮料的 自动售货机软件测试用例的设计。其规格 说明如下： 例如，有一个处理单价为 5 角钱的饮料的 自动售货机软件测试用例的设计。其规格 说明如下： 若投入 5 角钱或 1 元钱的硬币，押下〖橙汁〗 或〖啤酒〗的按钮，则相应的饮料就送出 来。若售货机没有零钱找，则一个显示 〖零钱找完〗的红灯亮，这时在投入 1 元 硬币并押下按钮后，饮料不送出来而且 1 元硬币也退出来；若有零钱找，则显示 〖零钱找完〗的红灯灭，在送出饮料的同 时退还 5 角硬币。 ”
(1) 分析这一段说明，列出原因和结果 原因 : 1. 售货机有零钱找 2. 投入 1 元硬币 2. 投入 1 元硬币 3. 投入 5 角硬币 3. 投入 5 角硬币 4. 押下橙汁按钮 4. 押下橙汁按钮 5. 押下啤酒按钮 5. 押下啤酒按钮 建立中间结点，表示处理中间状态 11. 投入 1 元硬币且押下饮料按钮 12. 押下〖橙汁〗或〖啤酒〗的按钮 13. 应当找 5 角零钱并且售货机有零钱找 14. 钱已付清
结果： 21. 售货机〖零钱找完〗灯亮 结果： 21. 售货机〖零钱找完〗灯亮 22. 退还 1 元硬币 22. 退还 1 元硬币 23. 退还 5 角硬币 23. 退还 5 角硬币 24. 送出橙汁饮料 24. 送出橙汁饮料 25. 送出啤酒饮料 (2) 画出因果图。所有原因结点列在左 25. 送出啤酒饮料 (2) 画出因果图。所有原因结点列在左边，所有结果结点列在右边。 (3) 由于 2 与 3 ， 4 与 5 不能同时发生， (3) 由于 2 与 3 ， 4 与 5 不能同时发生， 分别加上约束条件 E 。 (4) 因果图 (5) 转换成判定表 (5) 转换成判定表