[发明专利]对运算模块进行验证的方法、装置、电子设备和介质

权利要求书

1.一种对运算模块进行验证的方法，包括：

获取初始数据；

经由预运算执行单元对所述初始数据进行预运算操作，以获得预运算结果数据；以及

响应于所述预运算结果数据满足结果约束条件，将所述初始数据作为测试数据，以利用所述测试数据对所述运算模块进行验证，

所述方法还包括：

记录所述预运算执行单元对所述初始数据进行所述预运算操作之前，所述预运算执行单元的初始状态信息；以及

响应于所述预运算结果数据不满足所述结果约束条件，将所述预运算执行单元的状态信息恢复为所述初始状态信息，并丢弃所述初始数据，

响应于所述预运算结果满足所述结果约束条件，将所述预运算执行所述预运算操作之后的状态信息作为所述初始状态信息，以用于对下一个初始数据进行预运算操作。

2.根据权利要求1所述的方法，还包括：

将所述测试数据输入到所述运算模块，使得所述运算模块对所述测试数据执行测试运算操作以获得测试结果；以及

将所述测试结果与所述测试运算操作的理想输出结果进行比较以获得对所述运算模块进行验证的验证结果。

3.根据权利要求1所述的方法，其中，所述预运算结果数据包括最终结果数据或中间结果数据，

所述中间结果数据为在对所述初始数据进行所述预运算操作的过程中所产生的运算结果；

所述最终结果数据为对所述初始数据进行所述预运算操作所产生的最终的运算结果。

4.根据权利要求1所述的方法，其中，获取所述初始数据包括：

根据所述测试数据的数据约束条件，生成所述初始数据，

其中，所述数据约束条件用于对所述初始数据进行约束。

5.根据权利要求1-4任一项所述的方法，还包括：

判断当前对所述运算模块进行验证的验证状态是否满足结束条件；以及

响应于所述验证状态不满足所述结束条件，再次执行获取所述初始数据，对所述初始数据进行预运算操作以获得所述预运算结果数据，以及响应于所述预运算结果数据满足所述结果约束条件，将所述初始数据作为所述测试数据。

6.根据权利要求5所述的方法，还包括：

记录所述预运算结果数据不满足所述结果约束条件的次数；以及

响应于所述次数达到阈值，输出异常信号。

7.根据权利要求1-4任一所述的方法，还包括：

响应于所述预运算结果数据不满足所述结果约束条件，获取产生所述预运算结果数据的运算信息；以及

根据所述运算信息，重新生成所述初始数据。

8.根据权利要求1-4任一所述的方法，其中，对所述初始数据进行预运算操作以获得预运算结果数据，包括：

确定所述预运算操作的操作类型；以及

对所述初始数据进行所述操作类型的预运算操作以获得所述预运算结果数据。

9.根据权利要求1-4任一所述的方法，其中，所述初始数据为浮点数据，所述运算模块配置为对所述初始数据进行浮点运算。

10.一种对运算模块进行验证的装置，包括：

数据获取单元，配置为获取初始数据；

预运算执行单元，配置为对所述初始数据进行预运算操作，以获得预运算结果数据；以及

处理单元，配置为响应于所述预运算结果数据满足结果约束条件，将所述初始数据作为测试数据，以利用所述测试数据对所述运算模块进行验证，

所述装置还包括：

第一记录单元，配置为记录预运算执行单元对初始数据进行预运算操作之前，预运算执行单元的初始状态信息；以及

恢复单元，配置为响应于预运算结果数据不满足结果约束条件，将预运算执行单元的状态信息恢复为初始状态信息，并丢弃初始数据，以及响应于所述预运算结果满足所述结果约束条件，将所述预运算执行所述预运算操作之后的状态信息作为所述初始状态信息，以用于对下一个初始数据进行预运算操作。