因果图
因果图基本关系符号及约束：
C表示原因，用E表示结果，原因和结果之间有恒等、与、或、非四种关系
    恒等：如果原因出现，则结果产生，如果原因不出现，则结果不产生。
   非：如果原因出现，则结果不产生，如果原因不出现，则结果产生。
或：如果几个原因中有一个出现，则结果产生，如果几个原因都不出现，则结果不产生。
   与：如果几个原因都出现，则结果产生，如果有一个原因都不出现，则结果不产生。

原因和原因之间还可能存在着异、或、唯一、要求、强制这五种约束关系：
异（E约束）所有原因中至多有一个原因出现，也可以一个原因都不出现。
或（I约束）所有原因中至少有一个原因出现，多个原因可共存。
唯一（O约束）所有原因中有且只有一个原因发生。
要求（R约束）具有R约束的原因C1和C2，如果原因C1发生，则原因C2也发生。
强制（M约束）具有M约束的原因C1和C2，如果原因C1发生，则原因C2不发生。

因果图法设计测试用例的步骤
分析被测对象需求规格说明，列出所有的原因、结果（原因即输入条件的等价类，结果是输
出条件）。并为每个原因和结果编号，用编号代替对应的原因和结果，这样方便绘制因果图，
通常习惯将原因画到因果图左边，结果画到因果图右边。
分析原因之间、结果之间的约束关系，用因果图中对应的约束符号描述。
分析原因与结果之间的关系，用因果图中原因和结果的关系符号描述。
将因果图转换成判定表。     对判定表中的每一列设计一个测试用例。