因果图分析法实例讲解附带象棋马的走法.pdf

 因果图分析法：

 前面介绍的等价类划分方法和边界值分析方法，都是着重考虑输入条件，但未考虑
输入条件之间的联系, 相互组合等。考虑输入条件之间的相互组合，可能会产生一
（d）与
（c）或
因果图概念—关系
4 种符号分别表示了规格说明中向 4 种因果关系。如上图所示。
①恒等：若 ci 是 1，则 ei 也是 1；否则 ei 为 0。
②非：若 ci 是 1，则 ei 是 0；否则 ei 是 1。
③或：若 c1 或 c2 或 c3 是 1，则 ei 是 1；否则 ei 为 0。“或”可有任意个输入。
④与：若 c1 和 c2 都是 1，则 ei 为 1；否则 ei 为 0。“与”也可有任意个输入。

因果图概念--约束
输入状态相互之间还可能存在某些依赖关系，称为约束。例如 , 某些输入条件本身不可能同
时出现。输出状态之间也往往存在约束。在因果图中 ,用特定的符号标明这些约束。
4 类：
① 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。
M 约束（强制）：若结果 a 是 1，则结果 b 强制为 0。



a a a
E O
b I b b
异 唯一
或
c


a a

R M

b b
要求 强制