标签：
在一个功能模块中往往含有许多的功能模块，如果单独去测试每一个模块则会显得事倍功半，并且逻辑也会比较混乱，容易遗漏一些数据。因果图法是一个比较有用的方法，其考虑到了输入数据之间以及输入与输出之间的各种关系。
一、下面首先介绍因果图中的基本符号
1、恒等
含义：若原因出现则结果也出现，原因不出现，结果也不出现。即：如a=1.则b=1; a=0,则b=0。
2、非（~）
含义：若原因出现，则结果不出现。即若a=1,则b=0；a=0；则b=1。
3、或（V）
含义：若几个原因中有一个出现，则结果出现，如几个原因都出现则不出现。即若a=1，或b=1或c=1，则d=1；若a=b=c=0，则d=0。
4、与（^）
含义：几个原因都出现则结果才出现，若其中有一个原因不出现，则结果不出现。即若a=b=b=1，则d=1；若a=0或b=0或c=0，则d=0。
二、因果图中的约束条件
1、互斥（E）
含义：表示a，b，c三个原因不能同时成立，即表示a，b，c不能同时为1，a，b，c中只有一个为1
2、包含（I）
含义：表示a，b，c三者中至少有一个成立，即a，b，c不能同时为0；
3、唯一（O）
含义：a，b，c中有且只有一个为1；
4、要求（R）
含义：当a出现时，b必须出现，并且b的值和a一样，即不允许a=1，b=0的情况出现
5、屏蔽（M）
含义：若a=1，则b=0，而当a=0时，b的值不定。
标签：
原文地址：http://blog.csdn.net/qwert443122162/article/details/51355726
