数字电路的测试生成，就是要寻找若干输入矢量使被测故障激活，并且能将故障的效应传播到原始输出端测量出来 。测试生成的基本目标是确定测试矢量，当将其施加到被测电路时，测试者能区分正常电路和故障电路。