因果图法介绍：
>>因果图法是从需求中找出因（输入条件）和果（输出或程序状态的改变），通过分析输入条件之间的关系（组合关系、约束关系等）及
输入和输出之间的关系绘制出因果图，再转化成判定表，从而设计出测试用例的方法，如图：
该方法主要适用于各种输入条件之间存在某种相互制约关系或输出结果依赖于各种输入条件的组合时的情况
因果图法步骤、符号解释、约束条件：
>>因果图法设计测试用例的步骤：
>>分析需求，提取原因和结果，并赋予标识符
>>分析需求，提取因果关系，并表示成“因果图”
>>标明因果图中约束条件
>>因果图转换成判定表
>>为决策表中每一列表示的情况设计测试用例
>>因果图符号种类繁多，结合常用符号解释如下：
>>CI：原因
>>EI：结果
>>恒等：原因结果同时出现
>>非~：原因出现，结果不出现；原因不出现，结果出现
>>或∨：原因1个出现，结果就出现；原因都不出现，结果就不出现
>>且∧：原因都出现，结果才出现
>>为了表示原因与原因之间、结果与结果之间可能存在的约束条件，因果图中还附加一些表示约束条件的符号：
>>约束符号亦包含多种类型，据"从输入考虑"和"从输出考虑"两方面进行归类如下：
>>从输入考虑：
>>E（互斥/异或）：表示ab两原因不会同时成立，最多一个能成立
>>I（包含）：abc三个原因中至少有一个必须成立
>>O（唯一）：ab当中必须有一个，且仅有一个成立
>>R（要求）：当a出现时，b必须也出现，不可能a出现b不出现
>>从输出考虑：
>>M（强制或屏蔽）：a是1时，b必须是0；a是0时，b的值不定
因果图法例子：
>>自动贩卖机因果图：
>>自动贩卖机判定表：
