指利用布林差分产生逻辑网路测试码的一种方法。在逻辑网路的故障诊断中，一般是讨论固定型的故障，即固定为0或固定为1。要检测ｘｉ是否有固定为０的故障时，首先应取xi为1，此为测试xi固定为0的取值条件。然后取dF╱dxi＝1，此为使xi的变化在初级输出端反映出来的条件如果此两条件同时满足，即xi?dF╱dxi＝1，就是测试xi固定为0的测试码所要满足的充分必要条件。同样，xi?dF╱dxi＝１即是测试xi固定为1的测试码所要满足的充分必要条件。参【布林差分】（Boolean difference）。