用算法生成测试码时一般针对指定故障寻找其测试码。指定的故障包括故障位置和故障种类。本节只讨论单固定故障的情况。
对指定故障点的测试码生成算法的基本思想是通过输入端测试向量把故障传播到输出端，使得正常电路的输出与故障情况的输出结果不同。
注意上面这句话，它是所有测试码生成算法的基本思想，是ATPG的精髓。它要找一个测试向量或一个测试向量系列，目的是使得有故障和无故障的情况下其输出值不一致，从而判断有无故障。
以图7.7为例。对指定的一个固定故障gs-a-1，求其测试向量。
图7.7 敏化路径法举例电路  |