51Testing软件测试论坛

标题: 因果图法中的约束条件 [打印本页]

作者: 碎片 时间: 2007-5-26 23:33
标题: 因果图法中的约束条件
对于输入条件的约束有4种
I约束（或）：ＡＢＣ中至少有一个必须是真（１），即ＡＢＣ不能同是为假（０）
E约束（异）：Ａ和Ｂ中最多有一个可能为真（１），即Ａ和Ｂ不能同时为真（１）
O约束（惟一）：A和B必须有一个且仅有一个为真（1）
R约束（要求）：A是真（1）时，B必须是真（1），即A是真（1）时，B不能是假（0）

对于输出条件的约束只有M约束
M约束（强制）：若结果A是真（1），则结果B强制为假（0）

E（异）
A=1  B=0
A=0  B=1
A=0  B=0

I（或）
A=1  B=1  C=1
A=1  B=1  C=0
A=1  B=0  C=1
A=1  B=0  C=0
A=0  B=1  C=1
A=0  B=1  C=0
A=0  B=0  C=1
（以上情况允许）
A=0  B=0  C=0  (这种情况不允许)

O（惟一）
A=1  B=0
A=0  B=1

R（要求）
A=1  B=1
A=0  B=1
A=0  B=0

作者: zlbox 时间: 2007-5-27 14:36
标题: 回复 #1 碎片的帖子
对于输出条件的约束只有M约束？谁说的，不对吧

作者: zhawhz 时间: 2007-5-27 21:38
M约束（屏蔽）：当结果A是1时，B必须为0；而当A为0时，B的值不定。

欢迎光临 51Testing软件测试论坛 (http://bbs.51testing.com/)