因果法

错误推测方法：利用直觉和经验进行推测发现缺陷

因果法：输入条件比较多 原因就是输入，结果就是输出

导出步骤：

分析程度规格说明书的描述中，哪些是原因，哪些是结果

分析程度规格说明书的描述中语义内容，并将其表示成连接各个原因与各个结果的“因果图”

标明约束条件

把因果图转换为判定表

为判定表中的每一列表示的情况设计测试用例

基本图形符号：恒等、非（~）、或（∨）、与（∧）

恒等，原因是什么，结果就是什么

非，与原因情况相反

或，几个原因有一个出现，结果出现，只有原因全不出现，结果才不出现

与，只有几个原因同时出现，结果才出现，否则，不出现

约束符号：

E（互斥），两个原因不会同时成立，最多有一个可能成立

I（包含），三个原因至少有一个必须成立

0（唯一），两个原因必须有一个，且仅有一个成立

R（要求），两个原因，a出现，b也必须出现

M（屏蔽），两个结果，a为1，b必须为0，但是a为0，b的值是不确定的

注意，以上几个约束符号只有屏蔽是针对结果的，其余都是对原因的

因果图优缺点

优点：逻辑清晰

缺点：测试用例数量庞大，有些因果关系是不明确的，规模庞大，代价较大

标签：因果图设计法、因果关系