7.6 故障模拟 

 故障模拟(Fault Simulation )是检验输入向量(或序列 )是否是有效测试码的手段。故障模拟的方法主要从逻辑模拟发展而来。对于指定的输入向量(或序列 )在无故障情况下进行模拟,得到无故障输出。如果插入故障,使某一故障信号线固定为故障值,用同样的输入向量(或序列 )能得到与无故障情况下不同的输出结果,则所用的输入向量(或序列 )就可作为这个故障的一个测试输入。
 指定输入向量这一点,故障模拟本身不能解决。为此需要按一定规则或按一定的算法首先决定输入向量,例如穷举法、随机数法以及前面介绍的各种算法。在进行一系列模拟之后,计算测试码的故障覆盖率,识别哪些故障还不能检测。如果故障覆盖率达不到要求,则继续对未检测出的故障用测试码生成算法来生成测试码。如果达到了所要求的故障覆盖率,则将测试输入做成故障字典,以供测试时用。这样把故障模拟和测试生成算法结合起来,可以提高效率。