因果图中的约束关系

wangdpzhouj

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

wakey

当a是1时，则b必须为0.

wangdpzhouj

回复 2# wakey
那当a为0时，b的值是多少呢？

此岸花开

学习学习

此岸花开

采用因果图法设计测试用例的步骤：
1)分析软件规格说明描述中, 那些是原因(即输入条件或输入条件的等价类),那些是结果(即输出条件), 并给每个原因和结果赋予一个标识符。
2)分析软件规格说明描述中的语义，找出原因与结果之间, 原因与原因之间对应的关系，根据这些关系,画出因果图。
3)由于语法或环境限制, 有些原因与原因之间,原因与结果之间的组合情况不可能出现，为表明这些特殊情况, 在因果图上用一些记号表明约束或限制条件。
4)把因果图转换为判定表。
5)把判定表的每一列拿出来作为依据,设计测试用例。

wangdpzhouj

楼上所说的只有原因与原因之间，原因与结果之间的关系，那么结果与结果之间的关系呢？