专利名称：一种结合奇偶校验的三阶征兆测试方法
技术领域：
本 发明涉及计算机硬件故障测试领域，具体涉及基于穷举测试的固定故障诊断算法领域，提出了一种结合奇偶校验的三阶征兆测试的方法。
背景技术：
基础知识介绍
征兆测试、奇偶校验是已经被使用多年的著名的基于穷举测试的固定故障诊断算法。穷举测试方法需要对一个电路测试所有可能的组合，即对一个有n输入变量的电路来说，是将所有2"个输入组合全部加载到电路上，然后根据输出响应来确定该电路是否正常。穷举测试方法的一个的优点就是在在不必知道电路的具体设计的条件下，对任意电路做出较为可靠的测试结果。征兆测试很好的继承了这一优点。奇偶校验的定义给出一个布尔函数仏其奇偶性/Y砂被定义为 P(If) = K(If) mod 2
这里#(的为函数V的最小项的个数。电路"对应的布尔函数为"Cr1,七，...，& )，其奇偶性产奴)可以通过布尔差分计算得出
权利要求
1.一种结合奇偶校验的三阶征兆测试的方法，其特征在于测试步骤如下 步骤I,从文本中读取电路相应的布尔表达式； 步骤2，分析布尔表达式，生成对应的中间数据，进行奇偶校验； 步骤3，在奇偶校验的基础上，根据相应生成的中间数据，进行ー阶征兆测试判断以及ニ阶征兆测试、三阶征兆测试判断； 步骤4，输出結果，并将结果记录在文本中，然后结束或者进行下ー个布尔表达式的计算。
2.根据权利要求I所述的ー种结合奇偶校验的三阶征兆测试的方法，其特征在于在所述的步骤2中包括对电路的布尔表达式，首先进行析取化，取代一般输入Y个组合的穷举方法，其中/ 代表电路的输入变量总数，进而得到析取范式(DNF)，根据所得到的析取范式来判断电路的奇偶性。
3.根据权利要求I所述的ー种结合奇偶校验的三阶征兆测试的方法，其特征在于在所述的步骤3中包括 步骤3. 1，根据奇偶校验的结果，针对偶函数电路，判断是否ー阶征兆可测，若可测，则跳到步骤3. 2准备应用ー阶征兆测试；否则进一歩检验是否ニ阶征兆可测；若函数是ニ阶征兆可测，则就到步骤3. 3，并准备使用ニ阶征兆测试；否则，如果是ニ阶征兆不可測，则检验是否三阶可测；如果函数是三阶可测，则到步骤3. 4并应用三阶征兆测试；否则跳到步骤4，流程结束； 步骤3. 2，应用ー阶征兆测试所有变量,其中/7代表电路的输入变量总数，然后到步骤4输出或者返回步骤1，准备下ー个被测表达式； 步骤3. 3，应用ニ阶征兆测试所有相关变量％ (1ぬ<./ざ《)，其中/ 代表电路的输入变量总数，然后到步骤4输出或者返回步骤1，准备下ー个被测表达式； 步骤3.4，应用三阶征兆测试所有相关变量、￥み(1ぬ<ノ<た5 ),其中/7代表电路的输入变量总数，然后到步骤4输出或者返回步骤1，准备下ー个被测表达式。
4.根据权利要求3所述的ー种结合奇偶校验的三阶征兆测试的方法，其特征在于在所述的步骤3. I中包括 步骤3. I. 1，针对偶函数电路，对其进行提取ー阶征兆测试的征兆值ん从C，继而根据ー阶征兆测试不可测试判定原理，判断是否ー阶征兆可测；若可测，则跳到步骤3. 2准备应用ー阶征兆测试； 步骤3. I. 2，若一阶征兆不可測，则在ー阶征兆值的基础上，提取ニ阶征兆测试征兆值ん从G 根据ニ阶征兆测试不可测试判定原理，判断是否ニ阶征兆可测；若可测，则跳至步骤3. 3，并准备使用ニ阶征兆测试； 步骤3. I. 3，若ニ阶征兆不可測，则继续在ニ阶征兆值的基础上，提取三阶征兆测试征兆值ん从C、D、E、F、G、H、ム根据三阶征兆测试不可测试判定原理，判断是否三阶征兆可测；如果函数是三阶可测，则到步骤3. 4并应用三阶征兆测试；否则跳到步骤4，流程结束。
5.根据权利要求4所述的ー种结合奇偶校验的三阶征兆测试的方法，其特征在于在所述的步骤3. 1.2中包括，判断公式是否成立时，其中任意ー个等式不成立，就可得知ニ阶征兆不可測。
6.根据权利要求4所述的ー种结合奇偶校验的三阶征兆测试的方法，其特征在于在所述的步骤3. 1.3中包括，判断公式是否成立时，其中任意ー个等式不成立，就可得知三阶征兆不可測。
全文摘要
本发明涉及一种结合奇偶校验的三阶征兆测试的方法。其测试步骤如下步骤1从文本中读取电路相应的布尔表达式；步骤2分析布尔表达式，生成对应的中间数据，进行奇偶校验；步骤3在奇偶校验的基础上，根据相应生成的中间数据，进行一阶征兆测试判断以及二阶征兆测试、三阶征兆测试判断；步骤4以文本形式记录测试结果。本发明的特点在于提高测试效率的同时提高征兆测试的故障覆盖率，使得原来征兆不可测的电路也可以进行征兆测试。其主要思想是在传统征兆测试的基础上首先引进奇偶测试，对被测电路进行预处理，提高测试效率；然后，对征兆测试作进一步升华处理，成为二阶、三阶征兆测试，提高测试的故障覆盖率。
文档编号G06F11/10GK102981923SQ201210438579
公开日2013年3月20日 申请日期2012年11月7日 优先权日2012年11月7日
发明者吴悦, 童纯纯, 徐拾义 申请人:上海大学