技术分享 | 黑盒测试方法论

因果图法是一种运用图解法剖析输入与输出的各种组合状况，从而规划测验用例的方法，它适宜于检查程序输入条件的各种组合状况。

因果图法比较适宜输入条件比较多的状况，能够测验一切的输入条件的排列组合。因果图的 “ 因 ” 便是输入条件，因果图的 “ 果 ” 便是输出成果。

因果图适用场景

等价类划分法和鸿沟值剖析法都是侧重考虑输入条件，但没有考虑输入条件的组合以及限制联系。假如在测验时有必要考虑输入条件的各种组合，那组合的数目可能是天文数字，所以有必要考虑选用一种适宜的方法对条件组合进行剖析，简化。终究意图是用最少的测验用例覆盖最全面的场景。

因果图中的根本符号

因果图中的根本符号有四种，分别是恒等 (—) 、非 (~) 、与 (V) 、或(^)。

恒等：原因和成果都只能取 2 个值，1 代表条件建立，0 代表条件不建立。恒等相当于原因建立，则成果呈现；若原因不建立，则成果也不呈现。恒等联系“—”来表明。
非：原因和成果相反。若原因建立，则成果不呈现；若原因不建立，则成果呈现。非的联系用 “ ~ ” 表明。
或：有多个原因。若几个原因中有一个建立，则成果呈现；若几个原因都不建立，则成果不呈现。或的联系用 “ ^ ” 来表明。
与：有多个原因。只要几个原因都建立，成果才或呈现；若其中一个原因不建立，则成果不呈现。与的联系用 “ V ” 来表明。

因果图中的束缚条件

因果图中除了 4 种根本联系之外还会有一些束缚条件。从原因考虑有 4 种束缚：互斥、包含、仅有、要求。从成果考虑有 1 种束缚：屏蔽。

互斥 E：a、b、c 只能有一个建立，可是能够都不建立。
包含 I：a、b、c 中至少有一个建立。能够多选但不能不选。
仅有 O：a、b、c 有且仅有一个为 1。也便是说多个原因中有且只要一个建立。
要求 R：假如 a 建立，则要求 b 有必要也建立，其他的不做束缚。一个呈现，另一个也一定呈现
强制屏蔽 M：对于成果的束缚。当 a = 1 时，要求 b 有必要为0，其他的不束缚。a 不建立时，b 的值不一定。
仅有和互斥的区别是：仅有有必要选一个；互斥能够不选，假如选只能选一个，几个原因中有且只要一个建立。

因果图法根本步骤

1.找出一切的原因，原因即输入条件或输入条件的等价类。
2.找出一切的成果，成果即输出条件。
3.清晰一切输入条件之间的限制联系以及组合联系，判别条件是否能够组合。
4.清晰一切输出条件之间的限制联系以及组合联系，判别成果是否能够一起输出。
5.找出不同输入条件组合会发生哪些输出成果。
6.将因果图转换成断定表或决策树。
7.断定表或决策表中每一列表明的状况规划测验用例。