请问因果图中E，O约束符的不同？

Cynthia · 发表于 2005-2-25 14:43:14

黑盒测试设计方法中，在因果图上使用若干个特殊的符号标明特定的约束条件。
据我看到有五种约束符号，分别是：异（E)，或(I)，唯一(O)，强制(M)。
各位可以讲讲这五中符号具体的含义吗？并举例说明一下，
最好能重点举例说明E,O 这两种的不同。谢谢！

Nio · 发表于 2005-2-28 10:10:37

建议看看C语之类的书或许有用……

yumiao · 发表于 2005-2-28 15:28:13

E表示两个条件互异，O表示两个条件不能同时出现。

Cynthia · 发表于 2005-3-1 09:17:51

我知道，能不能借用例子具体说明一下，谢了

snake · 发表于 2005-3-1 11:36:48

Originally posted by Cynthia at 2005-3-1 09:17 AM:
我知道，能不能借用例子具体说明一下，谢了

坛子里有例子啊，看看jackei的帖子去
http://bbs.51testing.com/viewthread.php?tid=2181&fpage=1

Lennon · 发表于 2006-4-26 17:44:22

这个帖子并没有很好的说明约束条件的用法。我对此也一直没有很清晰的了解。望前辈赐教

carry1986 · 发表于 2008-3-11 09:37:04

不是说有五种吗,但怎么只有四种呀...还有一种什么意思,,,,这些有什么意义吗???

jiang860718 · 发表于 2008-3-11 09:43:09

① E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。
② I约束（或）：a、b和c中至少有一个必须是1，即 a、b 和c不能同时为0。
③ O约束（唯一）；a和b必须有一个，且仅有1个为1。
④R约束（要求）：a是1时，b必须是1，即不可能a是1时b是0。

jiang860718 · 发表于 2008-3-11 09:43:45

明白？

irenesjnj · 发表于 2008-3-11 15:28:53

原帖由 jiang860718 于 2008-3-11 09:43 发表
① E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。
② I约束（或）：a、b和c中至少有一个必须是1，即 a、b 和c不能同时为0。
③ O约束（唯一）；a和b必须有一个，且仅有1个为1。
④R约束（ ...

这四个是输入条件的约束，还有一个是输出条件约束。
M约束（强制）：若结果a是1，则结果b强制为0。