滋的已篮日景型士R州名继名 第二章D算法的原理及实现方法 为了把故障传播到外部输出，要有两个条件： ·输入测试矢量能够使得故障点在正常情况下与故障情况下的状态值不同： 有至少一个外部输出端的正常值与有故障是的值不同。为了能做到这一点， 要求从故障点出发能找到一条或几条路径到达输出端，使得该路径上每个节 点的正常值与有故障时的值不同，这条路径称为敏化路径。 下面通过一个例子，说明如何通过敏化路径法求得测试矢量。 固定型0故障 D 输 1 0/1 G3 入 激 1/0 0 G2>0 励 B 0 图2.2G2输出端有固定型0故障 图21中，非门G2的输出端有固定0故障。为了检测出这处故障，必须控 制激励信号使得G2的输出为1（与故障值相反）。所以，需在C端输入0。 为了保证故障的影响能传播到输出端Z口，必须控制电路其它输入的值，使 得最后的输出Z只决定于G2的输出值。分两步做： ·使得输入端D为1，则G3的输出之决定于G2的输出： 使得输入端A和B为0，则G4的输出也只决定于G2的输出。 于是，得到了针对G2输出端固定型0故障的测试矢量T={(0,0,0,1):(1)}, 其故障输出为0。 2.3D算法简介 单路敏化法方法简单，缺点是不能保证对任一非冗余故障都能找到测试矢量。 典型的情况是故障处于再会聚路径(RECONVERGENT PATH)。而D算法则可 以做到。 D算法是一种多路径敏化法，是在立方体理论的基础上实现路径敏化的。它数 字 电 路 可 测 性 设 计 方 法 的 探 讨 第二章 D算法的原理及实现方法 4 为了把故障传播到外部输出，要有两个条件： • 输入测试矢量能够使得故障点在正常情况下与故障情况下的状态值不同； • 有至少一个外部输出端的正常值与有故障是的值不同。为了能做到这一点， 要求从故障点出发能找到一条或几条路径到达输出端，使得该路径上每个节 点的正常值与有故障时的值不同，这条路径称为敏化路径。 下面通过一个例子，说明如何通过敏化路径法求得测试矢量。 D Z A B C G2 G3 G1 G4 0/1 1/0 1/0 1 0 0 0 图 2.2 G2 输出端有固定型 0 故障 图 2.1 中，非门 G2 的输出端有固定 0 故障。为了检测出这处故障，必须控 制激励信号使得 G2 的输出为 1(与故障值相反)。所以，需在 C 端输入 0。 为了保证故障的影响能传播到输出端 Z 口，必须控制电路其它输入的值，使 得最后的输出 Z 只决定于 G2 的输出值。分两步做： • 使得输入端 D 为 1，则 G3 的输出之决定于 G2 的输出； • 使得输入端 A 和 B 为 0，则 G4 的输出也只决定于 G2 的输出。 于是，得到了针对 G2 输出端固定型 0 故障的测试矢量 T={(0，0，0，1)；(1)}， 其故障输出为 0。 2.3 D 算法简介 单路敏化法方法简单，缺点是不能保证对任一非冗余故障都能找到测试矢量。 典型的情况是故障处于再会聚路径(RECONVERGENT PATH)。而 D 算法则可 以做到。 D 算法是一种多路径敏化法，是在立方体理论的基础上实现路径敏化的。它 固定型 0 故障 输 入 激 励