软件测试 thirdday（因果图法）

一、因果图法的背景

为了解决由以定义域划分带来的局限性，因果图法被提了出来；

二、因果图法

1.因果图法的基本符号

2.对于输入条件的约束有以下四类：

E约束（Exclusive，异或）：ab不能同时为1，可以同时为0；

I约束（Inclusive，或）：abc至少一个为1，不能同时为0；

O约束（Only，唯一）：ab有且只有一个为1；

R约束（Require，要求）：a是1时，b必须是1；

3.对输出条件只有一种约束：

M约束（Mask，强制）：若a是1，b必须是0；

三、因果图法的原理

1.确定软件规格中的原因和结果；（首尾圆圈）

2.确定原因和结果之间的逻辑关系；（中间连线以及中间圆圈）

3.确定因果图中的各个约束；（首尾虚线）

4.把因果图转换为决策表；

5.根据决策表设计测试用例；