51Testing软件测试论坛

标题: 请问因果图中E,O约束符的不同? [打印本页]

作者: Cynthia    时间: 2005-2-25 14:43
标题: 请问因果图中E,O约束符的不同?
黑盒测试设计方法中,在因果图上使用若干个特殊的符号标明特定的约束条件。
据我看到有五种约束符号,分别是:异(E),或(I),唯一(O),强制(M)。
各位可以讲讲这五中符号具体的含义吗?并举例说明一下,
最好能重点举例说明E,O 这两种的不同。谢谢!
作者: Nio    时间: 2005-2-28 10:10
建议看看C语之类的书或许有用……
作者: yumiao    时间: 2005-2-28 15:28
E表示两个条件互异,O表示两个条件不能同时出现。
作者: Cynthia    时间: 2005-3-1 09:17
我知道,能不能借用例子具体说明一下,谢了
作者: snake    时间: 2005-3-1 11:36
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
这个帖子并没有很好的说明约束条件的用法。我对此也一直没有很清晰的了解。望前辈赐教
作者: carry1986    时间: 2008-3-11 09:37
不是说有五种吗,但怎么只有四种呀...还有一种什么意思,,,,这些有什么意义吗???
作者: 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约束(要求):a是1时,b必须是1,即不可能a是1时b是0。
作者: jiang860718    时间: 2008-3-11 09:43
明白?
作者: irenesjnj    时间: 2008-3-11 15:28
原帖由 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。
作者: jiang860718    时间: 2008-3-11 16:24
原帖由 irenesjnj 于 2008-3-11 15:28 发表

这四个是输入条件的约束,还有一个是输出条件约束。
M约束(强制):若结果a是1,则结果b强制为0。


恩,忘记写了。。。谢谢补充
作者: liangxiaolong86    时间: 2008-3-21 18:11
标题: 一点自己的理解
E是只两个条件互斥,就是不能同时出现但是最多有一个可能出现,
O是唯一的意思,有且只能有一个成立,
作者: thyme2000    时间: 2011-3-21 10:21
E表示两个条件互异,最多有一个成立,但可能都不成立;
O表示两个条件不能同时成立,但必须有一个成立。
作者: wangdpzhouj    时间: 2013-10-21 12:12
看到上面有说M约束关系的,他应该叫屏蔽还是强制呢?
而且也有两种说法:
第一种:若结果a是1,则结果b强制为0。
第二种:若结果a是1,则结果b强制为0。而当a为0时,b的值不确定。
那种对??求大侠指教




欢迎光临 51Testing软件测试论坛 (http://bbs.51testing.com/) Powered by Discuz! X3.2