因果图在黑盒测试中的应用

因果图的表示符号(原因→结果)

相等:

if(C) then Ef

非:

if(!C) then Ef

与：if(C1 && C2 && C3)

then Ef

或：if(C1 || C2) then Ef

Exclusive:排他

Either C1 or C2 or C3

C1，C2，C3不会同时成立，最多只能有一个成立

Inclusive:at least C1 or C2

must present

C1,C2至少有一个是1，不能同时为零

Require:C1 requires C2

C1是1时，C2必须是1，即C1为1时，C2不能为0

Only one:One, and Only one of C1 and C2

C1和C2必须有一个，且仅有一个为1

Masking:Ef1 masks Ef2

表示Ef1为1时，Ef2被强制为0

实例分析：

产品说明书：有一个处理单价为1元5角钱的盒装饮料的自动售货机软件。若投入1元5角硬币，按下“可乐”、“雪碧”、或“红茶”按钮，相应的饮料就送出来。若投入的是2元硬币，在送出饮料的同时退还5角硬币。

原因：

1.投入1元5角硬币

2.投入2元硬币

3.按“可乐”按钮

4.按“雪碧”按钮

5.按“红茶”按钮

结果：

1.退还5角硬币

2.送出“可乐”饮料

3.送出“雪碧”饮料

4.送出“红茶”饮料