黑盒测试方法—因果图法

      在一个功能模块中往往含有许多的功能模块，如果单独去测试每一个模块则会显得事倍功半，并且逻辑也会比较混乱，容易遗漏一些数据。因果图法是一个比较有用的方法，其考虑到了输入数据之间以及输入与输出之间的各种关系。

一、下面首先介绍因果图中的基本符号

 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的值不定。