[发明专利]一种结合奇偶校验的三阶征兆测试方法

说明书

技术领域

      本发明涉及计算机硬件故障测试领域，具体涉及基于穷举测试的固定故障诊断算法领域，提出了一种结合奇偶校验的三阶征兆测试的方法。 

  

背景技术

基础知识介绍： 

征兆测试、奇偶校验是已经被使用多年的著名的基于穷举测试的固定故障诊断算法。穷举测试方法需要对一个电路测试所有可能的组合，即对一个有n输入变量的电路来说，是将所有2ⁿ个输入组合全部加载到电路上，然后根据输出响应来确定该电路是否正常。穷举测试方法的一个的优点就是在在不必知道电路的具体设计的条件下，对任意电路做出较为可靠的测试结果。征兆测试很好的继承了这一优点。

奇偶校验的定义：给出一个布尔函数U，其奇偶性P(U)被定义为 

P(U) = K(U) mod 2

这里K(U)为函数U的最小项的个数。

电路U对应的布尔函数为U(x₁, x₂, ...,x_n )，其奇偶性P(U)可以通过布尔差分计算得出： 

征兆值的定义：布尔函数U(x₁, x₂, …, x_n)所对应的有n个输入变量的组合电路的征兆值S被定义为，

这里k表示电路U的最小项个数；对任何一个n变量的布尔函数U(x₁, x₂, …, x_n)，可以按照其中任何一个变量x_i (1≤ i ≤ n)，表示成。其中A、B、C分别是函数U(x₁, x₂, …, x_n)中变量x_i和的系数以及不含该变量的部分。该函数的征兆可以用下式计算得到，

征兆测试的主要思想：电路的单故障会引起其征兆值的变化，由此可以检测到这个故障。假设一个固定故障α发生在电路U上，，如果可以得到S(U) ≠ S(U_α)，则认为该电路U是征兆可测的，反之，称为征兆不可测。

下面给出一条常用的判断电路是否征兆可测的定理： 

设为实现一个组合电路U的函数，则U为征兆不可测试的充要条件是，

这条定理表明，并不是所有的故障都是征兆可测的，也就是说，征兆测试法并不是完备的测试法。

输入线x征兆不可测的重要原因是对应的最小项个数和对应的最小项个数相等，而为了满足故障α征兆可测，必须满足U ≠ U_α。换句话说，故障前后对应的最小项个数必须有所差别。因此，可以进一步将最小项分为以下四个集合：U_x=0,y=0; U_x=0,y=1; U_x=1,y=0; U_x=1,y=1。假设原来ΣU_x=0 =ΣU_x=1的话，函数U为征兆不可测，而进一步划分后，很可能变得征兆可测。也就是说，当用多个变量取代一个变量对电路进行征兆测试的时候，可以把征兆不可测电路，变为征兆可测电路。 

x和y是组合函数U的两个变量，则输出U可以被改写为，