期末复习 软件测试 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.根据决策表设计测试用例；