因果图设计用例的步骤_用例设计之因果图

1. 因果图的介绍

    因果图法是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。

1.1 主要的因果关系

    因果图中主要有两种节点：原因节点与结果节点，这两种节点分别有两种状态：0状态，1状态。若原因为假，则为0状态，否则为1状态；若结果发生，则为1状态，否则为0状态。通常情况下，原因节点用符号ci(i≥1)表示，结果节点用符号ei(i≥1)表示。

    在因果图中，原因与结果的主要关系有：与，或，非，恒等。

恒等关系表示原因与结果的一对一关系。若原因为真，则结果就为真；若原因为假，则结果就为假。  非关系表示原因与结果间的否定，若原因为真，结果就为假；若原因为假，结果就为真。  或关系表示只要有一个原因为真，结果就为真；当且仅当所有的原因为假，结果才为假。  与关系表示当且仅当所有原因都为真，结果才为真；只要有一个原因为假，结果就为假。

1.2 原因之间的约束