现代电路技术――故障检测D算法

1、故障检测D算法、d算法和d算法是通过形式运算寻找测试代码的多路径敏化方法，是基于立方体理论的路径敏化，是第一个完整的测试代码生成算法。它因其计算机可操作性和解决问题的通用性而被广泛使用。基本思想：采用单路敏化方法，故障点的正常值与故障值不同，敏化到输出端。同时，确定输入向量和其他信号值，以确保每个信号值的一致性。采用三次运算，并考虑多径效应。立方：n个变量的二元布尔函数可以看作n维单位立方的2n个顶点。每个顶点对应一个最小项和乘积项(线段、平面等)。)表示为一个奇异的立方体。多维数据集：正常值为1，故障值为0，用于表示s-a-0；正常值为0，故障值为1，用于表示s-a-1。立方体的交集定义了两

2、个维度相同的立方体的交集：每个元素的交集规则如上表所示。如果一个或几个元素相互交叉，这意味着立方体不存在。fault d cube，它定义了在元件输出端产生误差信号的最小输入条件。操作：pdcf交集，表示故障元件的输入和输出之间的关系。设无故障立方体的集合为g，故障立方体的集合为b。在g中，0的输出表示为g0，1的输出表示为G1。在b中，输出0表示为b0，输出1表示为b1。Pdcf相交规则：输入部分的规则与普通立方体相交；输出部分的规则如下：也就是说，让与门在故障状态下充当或门，并找到它的pdcf。解决方案：正常状态下的G和故障状态下的B分别为：首先是g1和b0的pdcf交集；结果为空。然后在

3、g0和b1之间进行pdcf相交：得到与门的故障D立方体为：传播D立方体，定义一些误差信号从输入端传播到输出端的最小输入条件，并表示故障信号的传播特性。计算：计算xi线上的故障仍然传播到输出端的情况；(2)找出xi线上的故障传播到输出端的情况；构造传播d立方体(x1，x2，f)。定义：依次排列电路中的每个信号节点，它们的动态值形成一个包含或的值向量。它是一个被操作的多维数据集，例如，测试多维数据集是操作期间每个节点的逻辑值(包括D值)的动态列表。具有未确定值的节点都由x值表示。d驱动，定义：逐步将故障信号感知到可测量输出的过程。想法：具有输入但未确定输出的元素(称为D激活元素)的传播D立方体与测

4、试立方体相交(规则见下表)，因此它的输出是or，也就是说，它将通过元素被驱动。如果存在通信，则表示驱动器成功，否则，驱动器失败。驱动步骤，在该步骤中，从活动元素人工智能中选择人工智能，并且人工智能的传播d立方体与先前的测试立方体tcI-1相交。如果交集存在，构造tcI，表明它已经通过元素EI，并继续步骤2。如果移交不存在，转到3。从人工智能中删除人工智能，添加一个新的活动元素形成人工智能1，并重复步骤1，直到它到达输出端。从人工智能中选择另一个组件EI，并重复步骤1。如果人工智能中的所有元素都不敏感，返回人工智能-1。一致性操作意味着操作。前向驱动完成后，应进行后向一致性检查，以检查获得的测试

5、立方体是否与每个组件的单个立方体一致。方法：将D驱动器中未使用组件的单个立方体与测试立方体相交。如果一个组件找不到一致的单个立方体，一致性检查将失败，前一步应该颠倒过来。含义：某些线路上的值是在d驱动器中确定的，因此唯一地确定了某些部件的输出值。方法：将与新确定值相关的每个分量的奇异立方体与测试立方体相交。正向含义：先确定输入值，相交后确定输出值；反向含义：输出值先确定，输入值在相交后确定。d算法步骤，准备工作：电路节点号；Ente选择一个故障传播三维立方体作为初始测试立方体tc0。选择任意一个活动元素A0作为E0，找到它的传播D立方体，并找到传播D立方体和tc0的交集。如果存在交集，则意味着它与tc0一致，并且获得TC1=TC0t(d)。如果它们不一致，将返回它们，并选择另一个传播三维立方体。如果所有元素都传播三维立方体并且不一致，则从A0中选择另一个元素作为E0。选择任何一个新激活的元素A1作为E1，并重复上述步骤，直到d被驱动到输出端。举一个D算法的例子：以下图为例，用D算法找出e(s-a-1)的测试代码。解决方案：与故障相关的组件是E，其故障的D立方体是：所有组件的原始立方体是：E:F:G:H:I:J: K 33