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

权利要求书

1.一种结合奇偶校验的三阶征兆测试的方法，其特征在于：测试步骤如下：

    步骤1，从文本中读取电路相应的布尔表达式；

步骤2，分析布尔表达式，生成对应的中间数据，进行奇偶校验；

步骤3，在奇偶校验的基础上，根据相应生成的中间数据，进行一阶征兆测试判断以及二阶征兆测试、三阶征兆测试判断； 

步骤4，输出结果，并将结果记录在文本中，然后结束或者进行下一个布尔表达式的计算。

2.根据权利要求1所述的一种结合奇偶校验的三阶征兆测试的方法，其特征在于：在所述的步骤2中包括：对电路的布尔表达式，首先进行析取化，取代一般输入2ⁿ个组合的穷举方法，其中n代表电路的输入变量总数，进而得到析取范式(DNF)，根据所得到的析取范式来判断电路的奇偶性。

3.根据权利要求1所述的一种结合奇偶校验的三阶征兆测试的方法，其特征在于：在所述的步骤3中包括：

    步骤3.1，根据奇偶校验的结果，针对偶函数电路，判断是否一阶征兆可测，若可测，则跳到步骤3.2准备应用一阶征兆测试；否则进一步检验是否二阶征兆可测；若函数是二阶征兆可测，则就到步骤3.3，并准备使用二阶征兆测试；否则，如果是二阶征兆不可测，则检验是否三阶可测；如果函数是三阶可测，则到步骤3.4并应用三阶征兆测试；否则跳到步骤4，流程结束；

步骤3.2，应用一阶征兆测试所有变量                                               ，其中n代表电路的输入变量总数，然后到步骤4输出或者返回步骤1，准备下一个被测表达式；

步骤3.3，应用二阶征兆测试所有相关变量，其中n代表电路的输入变量总数，然后到步骤4输出或者返回步骤1，准备下一个被测表达式；

步骤3.4，应用三阶征兆测试所有相关变量，其中n代表电路的输入变量总数，然后到步骤4输出或者返回步骤1，准备下一个被测表达式。

4.根据权利要求3所述的一种结合奇偶校验的三阶征兆测试的方法，其特征在于：在所述的步骤3.1中包括：

    步骤3.1.1，针对偶函数电路，对其进行提取一阶征兆测试的征兆值A、B、C ，继而根据一阶征兆测试不可测试判定原理，判断是否一阶征兆可测；若可测，则跳到步骤3.2准备应用一阶征兆测试；

    步骤3.1.2，若一阶征兆不可测，则在一阶征兆值的基础上，提取二阶征兆测试征兆值A、B、C、D、E，根据二阶征兆测试不可测试判定原理，判断是否二阶征兆可测；若可测，则跳至步骤3.3，并准备使用二阶征兆测试；

    步骤3.1.3，若二阶征兆不可测，则继续在二阶征兆值的基础上，提取三阶征兆测试征兆值A、B、C、D、E、F、G、H、I，根据三阶征兆测试不可测试判定原理，判断是否三阶征兆可测；如果函数是三阶可测，则到步骤3.4并应用三阶征兆测试；否则跳到步骤4，流程结束。

5.根据权利要求4所述的一种结合奇偶校验的三阶征兆测试的方法，其特征在于：在所述的步骤3.1.2中包括，判断公式是否成立时，其中任意一个等式不成立，就可得知二阶征兆不可测。

6.根据权利要求4所述的一种结合奇偶校验的三阶征兆测试的方法，其特征在于：在所述的步骤3.1.3中包括，判断公式是否成立时，其中任意一个等式不成立，就可得知三阶征兆不可测。