组合电路求测试码的D算法

二、D算法 算法
立方运算实现的敏化路径法步骤： 用D立方运算实现的敏化路径法步骤： 立方运算实现的敏化路径法步骤 1》根据故障原始 立方确定一个初始测试 立方．初始测试 立方中包含故 立方确定一个初始测试D立方 》根据故障原始D立方确定一个初始测试 立方．初始测试D立方中包含故 障点的D或 障点的 或~D 驱赶。 2》从初始测试 立方出发，将故障 或~D向输出端传播，称D驱赶。传播 立方出发， 向输出端传播， 》从初始测试D立方出发 将故障D或 向输出端传播 驱赶 时根据测试D立方中的 立方中的D或 查找相应信号节点的负载元件 查找相应信号节点的负载元件． 时根据测试 立方中的 或~D查找相应信号节点的负载元件．对这些元件 进行计算：用测试D立方与元件的传播 立方作D交 从而得到新的测试D 立方与元件的传播D立方作 进行计算：用测试 立方与元件的传播 立方作 交，从而得到新的测试 立方。 立方。 对每个测试D立方需要作 驱赶的负载元件的集合，称为D前沿 立方需要作D驱赶的负载元件的集合 前沿。 对每个测试 立方需要作 驱赶的负载元件的集合，称为 前沿。 3》D驱赶过程中，对某些己经能够确定的值要及早确定．称为求蕴函。同 驱赶过程中， 求蕴函。 》 驱赶过程中 对某些己经能够确定的值要及早确定．称为求蕴函 线确认。 时要对没有赋值的信号节点确定值，称为线确认 时要对没有赋值的信号节点确定值，称为线确认。 在求蕴函线确认的过程中要检查所求的值是否有予盾， 在求蕴函线确认的过程中要检查所求的值是否有予盾，统称为一致性操作或 C驱赶。在每次求得新的测试 立方时都要做一致性操作的元件集合称为 驱赶。 驱赶 在每次求得新的测试D立方时都要做一致性操作的元件集合称为 C前沿． 前沿． 前沿 4》D驱赶和一致性操作过程中都会出现测试 立方为空。这时要回溯，返 驱赶和一致性操作过程中都会出现测试D立方为空 回溯， 》 驱赶和一致性操作过程中都会出现测试 立方为空。这时要回溯 回最近的选择点重新进行D驱赶和一致性操作 回最近的选择点重新进行 驱赶和一致性操作 5》如果 出现在输出端， 》如果D/~D出现在输出端，输入端的值也已经确定，同时一致性操作也 出现在输出端 输入端的值也已经确定， 已成功， 算法成功． 已成功，则D算法成功．找到测试向量。如果在回溯过程中已无任何选择 算法成功 找到测试向量。 可能，则算法失败，未找到测试。 可能，则算法失败，未找到测试。
二、D算法 算法
(1)开始，将故障e的一个故障 立方 X|~D}作为初始测试 立方 开始，将故障 的一个故障 立方{0 的一个故障D立方 作为初始测试D立方 开始 作为初始测试 立方tc0, 前沿为{G}，C前沿为空。 前沿为空。 其D前沿为 前沿为 ， 前沿为空 (2)做D驱赶，用G的传播 立方 ~D|~D}与tc0作D交, 得tc1,g的负载 驱赶， 的传播D立方 做 驱赶 的传播 立方{0 与 作 交 的负载 原件有J和 ，作为新的D前沿 前沿， 前沿仍为空 前沿仍为空。 原件有 和I，作为新的 前沿，C前沿仍为空。 (3)选J做D驱赶，用J的传播 立方 ~D|D}与tc1作D交, 得tc2,又得新 驱赶， 的传播D立方 选 做 驱赶 的传播 立方{1 与 作 交 又得新 前沿元素L，放入D前沿栏中 前沿栏中， 前沿仍为空 前沿仍为空。 的D前沿元素 ，放入 前沿栏中，C前沿仍为空。 前沿元素 (4)选L做D驱赶，得tc3。D到达输出端，但C前沿中有 ，需要做一致 驱赶， 到达输出端， 前沿中有K， 选 做 驱赶 。 到达输出端 前沿中有 性操作。 性操作。 (5)选K的一个质立方与 作D交, 得tc4。这时 前沿中又有元素 ，再 的一个质立方与tc3作 交 前沿中又有元素I， 选 的一个质立方与 。这时D前沿中又有元素 做一致性操作。 做一致性操作。 (6)选I的质立方 的质立方{1|0}与tc4作D交, 结果为空。 选 的质立方 与 作 交 结果为空。 (7)回溯到 ，选K的另一个质立方再做一致性操作，得tc6。 回溯到tc3， 的另一个质立方再做一致性操作， 回溯到 的另一个质立方再做一致性操作 。 (8)这时 前沿中又出现新元素 ，再做一致性操作，得tc7。 这时C前沿中又出现新元素 这时 前沿中又出现新元素H，再做一致性操作， 。 (3)这时 前沿为空，所有信号的值已经确定，输出端也出现了 。D 这时C前沿为空 这时 前沿为空，所有信号的值已经确定，输出端也出现了D。 算法成功，得测试向量T={1001}。 算法成功，得测试向量 。
二、D算法 算法
例：下图，求e点s-a-1的测试向量 下图， 点 的测试向量
二、D算法 算法
先求故障e的故障原始 立方，以及各原件的质覆盖和传播D立 先求故障 的故障原始D立方，以及各原件的质覆盖和传播 立 的故障原始 立方 方
源自文库
二、D算法 算法
D算法执行过程如下表： 算法执行过程如下表： 算法执行过程如下表
G B 0 1 X 0 0 q 0 1 q 1 1 X 0 1 x
一、D立方及其运算 立方及其运算
一、D立方及其运算 立方及其运算
一、D立方及其运算 立方及其运算
3、传播D立方 、传播 立方 立方(pdc)（描述一个元件对D/~D的传播特性） 元件的输入和输出端都有D/~D出现 出现 元件的输入和输出端都有 一重传播 立方 求法： 一重传播D立方 传播 立方(pdc) （输入方只有一个D/~D）求法： 1>求元件的质覆盖 输出为 的g0, 输出为 的g1) 求元件的质覆盖G(输出为 输出为1的 求元件的质覆盖 输出为0的 2>g0,g1作pdc交(规则如下表） 规则如下表） 作 交 规则如下表
组合电路求测试码的D算法 组合电路求测试码的 算法
D算法（D-algorithm）是一种用形式化运算求测试码的多 算法（ 算法 ） 路径敏化法。 路径敏化法。 D算法的基本思想与单路径敏化法同。也是把故障传播到输 算法的基本思想与单路径敏化法同。 算法的基本思想与单路径敏化法同 出端、同时确定输入向量和其他信号值，区别在于D算法采用立 出端、同时确定输入向量和其他信号值，区别在于 算法采用立 方体运算，并考虑到多路径的情况 的情况。 方体运算，并考虑到多路径的情况。
一、D立方及其运算 立方及其运算
1、布尔函数的立方体表示 、 设布尔函数的一般表达式为： 其中y 设布尔函数的一般表达式为：y=f(X1,X2,……Xi……Xn) 其中 为输入变量。 （=0/1/u）为输入变量 ）为输入变量,Xi(=0/1/X)为输入变量。令每一个输入变量和 为输入变量 一个坐标轴相对应，则可得到函数y的空间图形 即立方体表示。 的空间图形， 一个坐标轴相对应，则可得到函数 的空间图形，即立方体表示。
输入为三变量时，卡诺图和立方体符号的对立关系如下图： 输入为三变量时，卡诺图和立方体符号的对立关系如下图：
一、D立方及其运算 立方及其运算
2、故障原始D立方 (pdcf) 、故障原始 立方 记号D和 记号 和~D 1/0--- D 正常 故障 ，即故障 正常=1,故障 故障=0，即故障s-a-0 0/1--- ~D 正常 故障 ，即故障 正常=0,故障 故障=1，即故障s-a-1 故障原始D立方 表示故障点作为输出端的元件， 故障原始 立方 (pdcf)表示故障点作为输出端的元件，当输 表示故障点作为输出端的元件 出端为D或 时的输入端向量组成的立方体集合 时的输入端向量组成的立方体集合。 出端为 或~D时的输入端向量组成的立方体集合。 的方法:无故障元件覆盖 求 pdcf的方法 无故障元件覆盖 与有故障元件覆盖 作 的方法 无故障元件覆盖G 与有故障元件覆盖B作 pdcf交. 交
0 X |1 G = X 0 |1 11| 0
一、D立方及其运算 立方及其运算
多重传播D立方 求法: 多重传播 立方（输入方有两个以上D/~D） 求法 1>先对元件的质覆盖中的各个立方体两两相交 得到各个 先对元件的质覆盖中的各个立方体两两相交,得到各个 先对元件的质覆盖中的各个立方体两两相交 面 ，进而求出立方复合体K=C∪（C∩C） 2>g0,g1作pdc交(规则同一重传播 立方） 规则同一重传播D立方 作 交 规则同一重传播 立方） 例：与非门多重传播D立方 与非门多重传播 立方
一、D立方及其运算 立方及其运算
例:与非门 质覆盖 已给出 与非门 质覆盖G已给出 g1与g0作pdc交{~D1|D,1~D|D} 与 作 交 相反: 与 作 相反 g0与g1作pdc交 交 {D1|~D,1D|~D} 两者互补 表示任一输入端为1时 可以将 表示任一输入端为 时,可以将 D/~D传到输出端。 传到输出端。 传到输出端 若有一个输入端为1时 若有一个输入端为 时，另一个 输入端的D或 可以传到输出端 可以传到输出端， 输入端的 或~D可以传到输出端， 分别为~D或 分别为 或D
一、D立方及其运算 立方及其运算
pdcf交的规则 交的规则: 交的规则 1>输入部分 输入部分pdcf交的规则如右表 输入部分 交的规则如右表 2>输出部分 pdcf交的规则如下表 输出部分 交的规则如下表 3>若步骤 ，2中交的结果出现 则 若步骤1， 中交的结果出现 中交的结果出现q则 若步骤 故障原始D立方为空 故障原始 立方为空
一、D立方及其运算 立方及其运算
4、测试D立方 对电路中的各信号依次排列 、测试 立方 立方:对电路中的各信号依次排列
5、D交: 、 交 求各个路径上D的传播的一种运算， 求各个路径上 的传播的一种运算，一般是测试立方与 的传播的一种运算 其它立方体（包括故障原始D立方 传播D立方 质立方等） 立方． 立方， 其它立方体（包括故障原始 立方．传播 立方，质立方等） 立方。 作D交，得到新的测试 立方。 交 得到新的测试D立方