[发明专利]调试处理器的方法

权利要求书

1.一种调试处理器的方法，所述方法包括：

接收多种测试类型中的每一种的模板文件的输入；

针对所述多种测试类型中的每种特定测试类型：

根据所述特定测试类型的相应模板文件生成第一预定数目的随机化子测试，并且

将所述第一预定数目的随机化子测试编译到所述特定测试类型的测试二进制文件中；

链接所述多种测试类型中的每一种的所述测试二进制文件以形成测试库；

从所述测试库中随机选择测试二进制文件的子集；

根据每个测试二进制文件的控制数据结构，在所述处理器的许多物理线程上执行所选择的测试二进制文件的子集中的每一个，其中所述执行包括：从所述测试二进制文件的子集中的每个测试二进制文件中随机选择特定随机化子测试并且运行所选择的特定随机化子测试中的每一个；

在所述执行中检测一个或多个错误；以及

基于一个或多个所检测的错误重新设计所述处理器。

2.如权利要求1所述的方法，其中所述随机选择特定随机化子测试使用有放回的采样策略来执行。

3.如权利要求1所述的方法，其中所述随机选择特定随机化子测试使用无放回的采样策略来执行。

4.如权利要求1所述的方法，其中所述随机选择特定随机化子测试通过创建任意选取的子测试的临时池且然后从所述临时池中随机挑选来执行。

5.如权利要求1所述的方法，其中所述控制数据结构还指定用于运行所述所选择的特定随机化子测试的分页模式，并且

所述运行根据所述分页模式来执行。

6.如权利要求5所述的方法，其中所述分页模式是贯穿每个测试二进制文件使用的默认分页模式。

7.如权利要求5所述的方法，其中所述分页模式在运行所述特定随机化子测试中的每一个之后随机切换。

8.如权利要求1所述的方法，其中所述执行还包括：在运行所述特定随机化子测试中的每一个之后，使所述特定随机化子测试的物理代码左右移位可变数量的字节。

9.如权利要求1所述的方法，其中所述控制数据结构指定用于所述执行的超时，并且所述方法还包括：

在所述超时已到期之后，从所述测试库中随机选择测试二进制文件的新子集。

10.如权利要求1所述的方法，其中所述特定测试类型的所述相应模板文件包括指定所述模板内的操作的相对频率的加权文件；并且

所述第一预定数目的随机化子测试基于所述相对频率来生成。

11.如权利要求1所述的方法，其中所述特定测试类型的所述相应模板文件包括指定所述模板内的循环的大小和迭代范围的加权文件；并且

所述第一预定数目的随机化子测试基于所述循环的所述大小和所述迭代范围来生成。

12.如权利要求1所述的方法，其中所述特定测试类型的所述相应模板文件包括指定所述模板内的递归代码块的加权文件；并且

所述第一预定数目的随机化子测试基于所述递归代码块来生成。

13.如权利要求1所述的方法，其中所述特定测试类型的所述相应模板文件包括指定所述模板内的寄存器使用的加权文件；并且

所述第一预定数目的随机化子测试基于所述寄存器使用来生成。

14.如权利要求1所述的方法，其中所述特定测试类型的所述相应模板文件包括指定所述模板内的分支预测行为的加权文件；并且

所述第一预定数目的随机化子测试基于所述分支预测行为来生成。

15.如权利要求1所述的方法，其中所述处理器的数据空间在所述执行之前随机化。