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。
 下面我们分别讨论这三种情况。