利用因果图导出测试用例的步骤：

①     分析程序规格说明的描述中，哪些是原因，哪些是结果。原因常常是输入条件或是输入条件的等价

   类，而结果是输出条件。

②     分析程序规格说明的描述中语义的内容，并将其表示成连接各个原因与各个结果的“因果图”。

③     由于语法或环境的限制，有些原因和结果的组合情况是不可能出现的。为表明这些特定的情况，在因

   果图上使用若干个特殊的符号标明约束条件。

④     把因果图转换成判定表。

⑤     把判定表中每一列表示的情况写成测试用例。

因果图示例

因果图的基本符号

约束符号