查看完整版本: 请问因果图中E，O约束符的不同？

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

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

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

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

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

[quote]Originally posted by [i]Cynthia[/i] at 2005-3-1 09:17 AM:
我知道，能不能借用例子具体说明一下，谢了 [/quote]
坛子里有例子啊，看看jackei的帖子去
[url]http://bbs.51testing.com/viewthread.php?tid=2181&fpage=1[/url]

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

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

① 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。

明白？

[quote]原帖由 [i]jiang860718[/i] 于 2008-3-11 09:43 发表 [url=http://bbs.51testing.com/redirect.php?goto=findpost&pid=899388&ptid=9078][img]http://bbs.51testing.com/images/common/back.gif[/img][/url]
① E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。
   ② I约束（或）：a、b和c中至少有一个必须是1，即 a、b 和c不能同时为0。
   ③ O约束（唯一）；a和b必须有一个，且仅有1个为1。
   ④R约束（ ... [/quote]
这四个是输入条件的约束，还有一个是输出条件约束。
M约束（强制）：若结果a是1，则结果b强制为0。

[quote]原帖由 [i]irenesjnj[/i] 于 2008-3-11 15:28 发表 [url=http://bbs.51testing.com/redirect.php?goto=findpost&pid=900797&ptid=9078][img]http://bbs.51testing.com/images/common/back.gif[/img][/url]

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

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

一点自己的理解

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