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