黑盒测试中的因果图约束条件解释

1. 因果图的约束条件如下图：

2. 名词解释

互斥、包含、唯一、要求是对原因的约束，屏蔽是对结果的约束。

E:互斥，exclude，表示abc最多只能有一个=1，即abc=000，100，010，001，只能有1个1或者全0（可不选，要选最多选一个）。

I:包含，include，表示abc不能同时=0，即abc=100,010,001,110,101,011,111。abc≠000，可以包含1个1，,2个1，,3个1，但是不能全0（至少选择一个，可以多选）

O:唯一，only，表示abc有且仅有1个=1，即abc=100,010,001,必须有1个1，不能全0（必选，且只能选一个）

R:要求，require，表示a=1则b=1,a=0则b=?，即ab=11,00,01（a出现，b一定出现；反之b不确定）

M:屏蔽，mask，表示结果a=1则结果b=0，即ab=10,00,01,a=1则b=0,a=0则b=?(a成立时，b不成立；a不成立时，b的值不一定)

互斥和唯一的区别：

互斥允许全部=0，唯一不允许全部=0，在程序中的主要区别是，互斥没有默认选项，唯一有一个默认选项。