因果图中的约束关系

最新推荐文章于 2023-06-05 14:59:03 发布

chde2Wang

最新推荐文章于 2023-06-05 14:59:03 发布

阅读量3.2k

点赞数 4

分类专栏：软件测试文章标签：软件测试

原文链接：https://blog.csdn.net/weixin_42612178/article/details/116985886

版权

软件测试专栏收录该内容

25 篇文章 4 订阅

订阅专栏

这篇博客探讨了在程序设计中四种关键的约束条件：互斥（exclude）、包含（include）、唯一（only）和要求（require）。互斥允许最多一个变量为1，包含则规定至少一个变量为1，不允许全0。唯一约束强调必须且仅有一个变量为1，而要求约束则表明一个变量的存在强制另一个变量也出现。这些概念对于理解和实现复杂的逻辑控制具有重要意义。

摘要由CSDN通过智能技术生成

在这里插入图片描述

E:互斥，exclude，表示abc最多只能有一个=1，即abc=000，100，010，001，只能有1个1或者全0（可不选，要选最多选一个）。
I:包含，include，表示abc不能同时=0，即abc=100,010,001,110,101,011,111。abc≠000，可以包含1个1，,2个1，,3个1，但是不能全0（至少选择一个，可以多选）
O:唯一，only，表示abc有且仅有1个=1，即abc=100,010,001,必须有1个1，不能全0（必选，且只能选一个）
R:要求，require，表示a=1则b=1,a=0则b=?，即ab=11,00,01（a出现，b一定出现；反之b不确定）
M:屏蔽，mask，表示结果a=1则结果b=0，即ab=10,00,01,a=1则b=0,a=0则b=?(a成立时，b不成立；a不成立时，b的值不一定)
互斥和唯一的区别：
互斥允许全部=0，唯一不允许全部=0，在程序中的主要区别是，互斥没有默认选项，唯一有一个默认选项。