黑盒测试方法—因果图法

因果图法是一种利用图解法分析输入与输出的各种组合情况，从而设计测试用例的方法。

因果图法比较适合输入条件比较多的测试场景，可以测试所有的输入条件的排列组合。因果图的“因”就是输入条件，因果图的“果”就是输出结果。

1.因果图适用场景

等价类划分法和边界值分析法都是着重考虑输入条件，但没有考虑输入条件的组合以及制约关系。如果在测试时必须考虑输入条件的各种组合，那各种组合的数目可能非常多，所以必须考虑采用一种合适的方法对条件组合进行分析、简化。最终目的是用最少的测试用例覆盖最全面的场景。

2.因果图中的基本符号

（1）恒等原因和结果都只能取2个值，1代表条件成立，0代表条件不成立。恒等相当于原因成立，则结果出现；若原因不成立，则结果也不出现。恒等关系用“—”来表示。

（2）非原因和结果相反。若原因成立，则结果不出现；若原因不成立，则结果出现。非的关系用“~”表示。

（3）或有多个原因。若几个原因中有一个成立，则结果出现；若几个原因都不成立，则结果不出现。或的关系用“V”来表示。

（4）与有多个原因。只有几个原因都成立，结果才会出现；若其中一个原因不成立，则结果不出现。与的关系用“^”来表示。

3.因果图中的约束条件

因果图中除了4种基本关系之外还会有一些约束。从原因考虑有4种约束：互斥、包含、唯一、要求。从结果考虑有1种约束：屏蔽。

（1）互斥（E）：可不选，要选最多选一个。

（2）包含（I）：至少选一个，可以多选。

（3）唯一（O）：必选，且只能选一个

（4）要求（R）：一个出现，另一个一定出现；反之，另一个不确定。

（5）屏蔽（M）：a成立时，b不成立；a不成立时，b不确定。

唯一和互斥的区别是：唯一表示必须选且只能选一个；互斥表示可以不选，如果选只能选一个。

4.因果图法基本步骤

（1）找出所有的原因，原因即输入条件或输出条件的等价类。

（2）找出所有的结果，结果即输出条件。

（3）明确找出输入条件之间的制约条件，以及组合关系，判断条件是否可以组合。

（4）明确所有输出条件之间的制约条件，以及组合关系，判断结果是否可以同时输出。

（5）找出不同输入条件组合会产生哪些输出结果。

（6）将因果图转换成判定表。

（7）把判定表或决策表中每一列表示的情况设计成测试用例。