图7.12 故障在内部节点的电路

　　为了检测内部节点h的故障s-a-1，必须满足下列条件：
　　(1)测试向量保证正常状态下h的值为'0'。要保证正常状态下h的值为'0'，要求
　　　　h(x)=1
　　(2)h的变化向外部输出端传播，要求
　　　　
　　因而其测试输入向量集为
　　　　T(h_s-a-1)=
　　同样，对故障hs-a-0，其测试输入向量集为
　　　　T(h_s-a-1)=
　　在图7.12的电路中，
　　　　
而
　　　　h(x) = ab
　　　　h(x) = ab＝a + b
因而
　　　　T(h_s-a-1) = {(0, X, 0), (X, 0, 0)}
　　　　T(h_s-a-0) = {(1, 1, 0)}
　　对比一下输入端故障与内部故障两种情况下的计算过程，可见从概念上来说后者的方法是前者的扩充。读者不难理解这种方法的由来。
　　本节讲的布尔差分求测试集方法从概念上比较简单，手工运算也不难，但计算机直接实现这些算法比较困难。但可以利用立方体和覆盖表的概念和运算方法得到计算机实现较简单的形式的算法。