第4章4 黑测试之因果图测试.pptVIP

4.4 因 果 图 4.4.1 因果图的概念　　　因果图中使用了简单的逻辑符号，以直线连接左右节点。左节点表示输入状态(或称原因)，右结点表示输出状态(或称结果)。通常用ci表示原因，一般置于图的左部；ei表示结果，通常在图的右部。ci和ei均可取值“0”或“1”，其中“0”表示某状态不出现，“1”表示某状态出现。 　　因果图中包含四种关系：　　(1) 恒等：若c1为1，则e1也为1；若c1为0，则e1也为0。　　(2) 非：若c1为1，则e1为0；若c1为0，则e1为1。　　(3) 或：若c1或c2或c3为1，则e1为1；若c1、c2和c3都为0，则e1为0。“或”可有任意多个输入。　　(4) 与：若c1和c2都为1，则ei为1；否则ei为0。“与”也可有任意多个输入。　　因果图的四种关系如图4-4-1所示。 图4-4-1 因果图的四种关系 图4-4-1 因果图的四种关系 　　在实际问题中输入状态相互之间、输出状态相互之间可能存在某些依赖关系，称为“约束”。为了表示原因与原因之间，结果与结果之间可能存在的约束条件，在因果图中可以附加一些表示约束条件的符号。对于输入条件的约束有E、I、O、R四种约束，对于输出条件的约束只有M约束。输入输出约束图形符号如图4-4-2所示。为便于理解，这里设c1、c2和c3表示不同的输入条件。　　E(异)：表示c