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

标签：

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

相等:

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.退还5角硬币

2.送出“可乐”饮料

3.送出“雪碧”饮料

4.送出“红茶”饮料

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

标签：

原文地址：http://www.cnblogs.com/panbosponge/p/4474475.html