因果图+判定表法+场景法分析

一、

因果图

1、原因和结果的关系
1）恒等，原因A成立，b一定成立
2）非，原因A成立时，结果b一定不成立
3）或，原因ABC只要一个成立，D成立
4）与，原因ABC只有都成立，D成立

二、加上约束条件，原因之间的约束

原因成立用1表示，不成立用0表示，

1）互斥(enclusive)：表示不同时为1，即a,b,c至多只有一个1，A+B+C小于等于1
2）包含(include）：小于等于3A+B+C≥1
3）唯一（only）：A+B+C==1
4）要求（request）：原因A成立，B一定要先成立
3、结果之间的约束
成立用1表示，不成立用0表示

1）屏蔽（mask）：
A结果出现，B结果一定不出现。当你收到了注册成功的提示，就一定不会收到注册提示的错误。

因果图法测试用例的设计步骤

（1）确定软件规格(需求)中的原因和结果

（2）确定原因和结果之间的逻辑关系

（3）确定因果图中的各个约束(constraints)

（4）画出因果图并转换为决策表

（5）根据决策表设计测试用例

4、因果图实例分析

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

（1）确定需求中的原因与结果

2）确定原因与结果的逻辑关系

     C1 与 C2 需要一个中间结果Cm1, C3、C4、C5 需要一个中间结果Cm2.

（3）确定因果图中的约束

<