10.3969/j.issn.1005-3085.2008.02.003
边界扫描测试生成的数学基础
本文以边界扫描测试的布尔矩阵描述模型为基础,证明了边界扫描测试生成的两个一般性定理.其中,定理一给出了能检测所有故障的测试矩阵的紧凑性条件,定理二给出了能隔离所有故障的测试矩阵的完备性条件.以定理为基础,提出了两种边界扫描测试生成的一般性策略,为进一步研究边界扫描测试生成优化算法奠定了理论基础.
可测试性、边界扫描、测试生成、布尔矩阵
25
O157.5;TN70(代数、数论、组合理论)
2008-06-24(万方平台首次上网日期,不代表论文的发表时间)
共7页
204-210