请问因果图中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 发表 http://bbs.51testing.com/images/common/back.gif
① 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。

jiang860718 发表于 2008-3-11 16:24:39

原帖由 irenesjnj 于 2008-3-11 15:28 发表 http://bbs.51testing.com/images/common/back.gif

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

恩，忘记写了。。。谢谢补充

liangxiaolong86 发表于 2008-3-21 18:11:32

一点自己的理解

E是只两个条件互斥，就是不能同时出现但是最多有一个可能出现，
O是唯一的意思，有且只能有一个成立，

thyme2000 发表于 2011-3-21 10:21:39

E表示两个条件互异，最多有一个成立，但可能都不成立；
O表示两个条件不能同时成立，但必须有一个成立。

wangdpzhouj 发表于 2013-10-21 12:12:50

看到上面有说M约束关系的，他应该叫屏蔽还是强制呢？
而且也有两种说法：
第一种：若结果a是1，则结果b强制为0。
第二种：若结果a是1，则结果b强制为0。而当a为0时，b的值不确定。
那种对？？求大侠指教

页: [1]

51Testing软件测试论坛 's Archiver

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

一点自己的理解