《软件测试艺术》读书笔记(20)

因果图分析法，依作者而言，是为了解决边界值分析和等价划分的一个弱点：未对输入条件的组合进行分析。而因果图恰恰有助于用一个系统的方法选择出此类高效的测试用例集，并且可以指出规格说明的不完整性和不明确之处。

　　因果图，是一种形式语言（有严格语法限制的语言，计算机语言都是形式语言），是将自然语言描述的规格说明转换为因果图。实质上，是一种数字逻辑电路（一个组合的逻辑网络），但没有使用标准的电子学符号，而是使用了稍微简单点的符号。具体有六步（涉及到的每步具体过程及图样，由于篇幅，都在此略去）：
将规格说明分解为可执行的片段；
确定规格说明中的因果关系；
分析规格说明的语义内容，并将其转换为连接因果关系的布尔图，即：因果图；
给图加上注解符号，说明由于语法或环境的限制而不能联系起来的“因”和“果”；
过仔细地跟踪图中的状态变化情况，将因果图转换成一个有限项的判定表；
将判定表中的列转换成测试用例。