7.4 多故障的测试码生成 7.4.2 高阶布尔差分法 用布尔差分法求多故障测试码,其原理与求单故障测试码基本相同。 仍以图7.13所示电路为例,其含故障点的布尔函数为: f(a,b,c,d,g)=g·[(a+b)·d]=adg+bdg g(a,b,c,d)=(a+b)·c=ab+c g(a,b,c,d)=(a+b)·c=ac+bc 前面我们已经看到,当两个故障点故障情况下为a = 1, g = 0时, 要求正常情况下的值有下面三种组合: a = 0, g = 1; a = 0, g = 0; a = 1, g = 1。 下面我们分别讨论这三种情况。 |