软件测试的艺术：因果图

• 因果图是一种形式语言，用自然语言描述的规格说明可以转化为因果图。因果图实际上是一种数字逻辑电路（一个组合的逻辑网络），但没有使用标准的电子学符号，而是使用了稍微简单点的符号，它有助于用一个系统的方法选择出高效的测试用例集，它还有一个额外的好处就是可以指出规格说明的不完整和不明确之处。
• 生成测试用例采用的过程：

1. 将规格说明分解为可执行的片段。这是必须的步骤，因为因果图不善于处理较大的规格说明。
2. 确定规格说明中的因果关系。所谓因是指一个明确的输入条件或输入条件的等价类，所谓果是指一个输出条件或系统转换（输入对程序或系统状态的延续影响）。通过逐字逐句地阅读规格说明，同时标识出描述“因”和“果”的文字或句子，就可以将“因”和“果”确定出来。因果关系一旦确定下来，每个“因”和“果”都被赋予一个唯一的编号。
3. 分析规格说明的语义内容，将其转换为连接因果关系的布尔图，这就是所谓的因果图。
4. 给图加上注解符号，说明由于语法或环境的限制而不能炼器起来的“因”和“果”。
5. 通过仔细地跟踪图中的状态变化情况，将因果图转换为一个有限项的判定表。表中的每一列代表一个测试用例。
6. 将判定表中的列转换为测试用例。