组合逻辑电路测试生成的一种隐式枚举算法

D算法(DALG)对那些执行纠错和翻译功能(ECAT)的组合电路是无效的。PODEM(面向通路决策)是组合电路的一种新的测试生成算法。PODEM采用的是一种隐式枚举的方法,它与解0-1整数规划问题所采用的方法相类似。可以看到PODEM对ECAT电路是非常有效的,并且对一般组合电路比D算法更为有效。与D算法相比,PODEM的显著特点就是简单。PODEM是一种完全的算法,即只要存在一个测试就一定能把它生成。为了对所有可能的初级输入模式空间进行有效地隐式查找,采用试探的方法,直到找到一个测试或者空间穷举完为止。术语索引:组合逻辑,D算法,决策树,纠错,隐式枚举,固定故障,测试生成,不可测故障。