一种测试激励生成方法、测试方法及相关设备技术

本申请实施例提供一种测试激励生成方法、测试方法及相关设备，所述测试激励生成方法包括：获取测试方案，所述测试方案至少包括目标操作数及其对应的目标参数范围，其中，所述目标操作数的数据类型为浮点数类型，所述目标参数范围为浮点数范围；调用参数转换函数，将所述目标参数范围转换为整型约束界限，所述整型约束界限为所述目标参数范围的整型表示；基于所述整型约束界限，产生对应所述目标操作数的随机数；至少基于所述目标操作数的随机数，形成测试激励。本申请实施例能够形成具有验证意义的测试激励，实现精准验证浮点运算单元的运算功能。算功能。算功能。

【技术实现步骤摘要】
一种测试激励生成方法、测试方法及相关设备


[0001]本申请实施例涉及计算机
，具体涉及一种测试激励生成方法、测试方法及相关设备。

技术介绍

[0002]随着人工智能的快速发展，人们对计算机运算能力的要求越来越高。其中，计算机的运算能力取决于浮点运算单元的浮点运算能力。而随着应用场景的不断丰富，不同的浮点数据类型和操作指令被加入到浮点运算单元，为了验证设计的浮点运算单元对不同浮点数据类型和操作指令的运算均能达到预期，需要使用能够准确验证的测试激励，对浮点运算单元的浮点运算功能进行测试。
[0003]但是，目前对浮点运算单元的功能验证，大多是采用随机生成的整型变量，而不能随机化浮点数，从而不能产生对浮点运算单元具有测试意义的测试激励。

技术实现思路

[0004]有鉴于此，本申请实施例提供一种测试激励生成方法、测试方法及相关设备，以产生具有测试意义的测试激励，实现精准验证浮点运算单元的浮点运算功能。
[0005]为实现上述目的，本申请实施例提供如下技术方案。
[0006]第一方面，本申请实施例提供一种测试激励生成方法，包括：
[0007]获取测试方案，所述测试方案至少包括目标操作数及其对应的目标参数范围，其中，所述目标操作数的数据类型为浮点数类型，所述目标参数范围为浮点数范围；
[0008]调用参数转换函数，将所述目标参数范围转换为整型约束界限，所述整型约束界限为所述目标参数范围的整型表示；
[0009]基于所述整型约束界限，产生对应所述目标操作数的随机数；
[0010]至少基于所述目标操作数的随机数，形成测试激励。
[0011]可选的，在所述测试方案包括待定操作数时，所述基于所述整型约束界限，产生对应所述目标操作数的随机数之后，还包括：
[0012]确定测试方案中待定操作数与所述目标操作数的运算关系；
[0013]调用运算函数，基于所述目标操作数的随机数和所述运算关系，确定所述待定操作数的值；
[0014]所述至少基于所述目标操作数的随机数，形成测试激励，具体为，基于所述目标操作数的随机数和所述待定操作数的值，形成测试激励。
[0015]可选的，所述浮点数的精度至少包括半精度格式，单精度格式或双精度格式。
[0016]第二方面，本申请实施例提供一种测试方法，包括：
[0017]获取测试激励，所述测试激励根据如第一方面所述的测试激励生成方法生成；
[0018]根据所述测试激励，对浮点运算单元的运算操作进行测试。
[0019]可选的，所述根据所述测试激励，对浮点运算单元的运算操作进行测试包括：
[0020]将所述测试激励输入到所述浮点运算单元，使所述浮点运算单元对所述测试激励执行所述浮点运算操作，确定所述测试激励对应的实际运算结果；
[0021]将所述实际运算结果与模型运算结果相比较，以验证所述浮点运算单元执行的浮点运算操作是否达到预期。
[0022]可选的，还包括：
[0023]若所述实际运算结果等于所述模型运算结果，确定所述实际运算结果是否满足预设条件，所述预设条件至少包括所述实际运算结果对应的运算次数。
[0024]第三方面，本申请实施例还提供一种测试激励生成装置，包括：
[0025]获取模块，用于获取测试方案，所述测试方案至少包括目标操作数及其对应的目标参数范围，其中，所述目标操作数的数据类型为浮点数类型，所述目标参数范围为浮点数范围；
[0026]调用模块，用于调用参数转换函数，将所述目标参数范围转换为整型约束界限，所述整型约束界限为所述目标参数范围的整型表示；
[0027]执行模块，用于基于所述整型约束界限，产生对应所述目标操作数的随机数；至少基于所述目标操作数的随机数，形成测试激励。
[0028]可选的，在所述获取模块获取的测试方案包括待定操作数时，所述执行模块用于基于所述整型约束界限，产生对应所述目标操作数的随机数之后，还包括：
[0029]确定模块，用于确定测试方案中待定操作数与所述目标操作数的运算关系；
[0030]所述调用模块，还用于调用运算函数，基于所述目标操作数的随机数和所述运算关系，确定所述待定操作数的值；
[0031]所述执行模块，至少基于所述目标操作数的随机数，形成测试激励的步骤，具体为，基于所述目标操作数的随机数和所述待定操作数的值，形成测试激励。
[0032]第四方面，本申请实施例还提供一种测试装置，包括：
[0033]获取模块，用于获取测试激励，所述测试激励如上述第三方面所述的测试激励生成装置执行如上述第一方面所述的测试激励生成方法生成；
[0034]测试模块，用于根据所述测试激励，对浮点运算单元的运算操作进行测试。
[0035]第五方面，本申请实施例还提供一种计算机设备，包括如上述第三方面所述的测试激励生成装置，和/或如上述第四方面所述的测试装置。
[0036]第六方面，本申请实施例还提供一种存储介质，所述存储介质存储一条或多条计算机可执行指令，所述一条或多条计算机可执行指令被执行时，实现如上述第一方面所述的测试激励生成方法，或者，如上述第二方面所述的测试方法。
[0037]本申请实施例所提供的测试激励生成方法、测试方法及相关设备，所述测试激励生成方法中，通过获取测试方案，所述测试方案至少包括目标操作数及其对应的目标参数范围，其中，所述目标操作数的数据类型为浮点数类型，所述目标参数范围为浮点数范围，进而调用参数转换函数，将所述目标参数范围转换为整型约束界限，所述整型约束界限为所述目标参数范围的整型表示，从而能够基于所述整型约束界限，产生对应所述目标操作数的随机数，至少基于所述目标操作数的随机数，形成测试激励。
[0038]可以看出，本申请实施例的测试激励生成方法，通过调用参数转换函数，能够将浮点数类型的目标操作数对应的浮点数范围，转换为整型约束界限，从而在整型约束界限中
产生对应目标操作数的随机数，在对浮点运算单元进行浮点运算功能测试时，形成具有验证意义的测试激励，实现精准验证浮点运算单元的运算功能。
附图说明
[0039]为了更清楚地说明本申请实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本申请的实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据提供的附图获得其他的附图。
[0040]图1是本申请实施例提供的测试激励生成方法的可选流程图；
[0041]图2是本申请实施例提供的测试激励生成方法的又一可选流程图；
[0042]图3是本申请实施例提供的测试方法的可选流程示意图；
[0043]图4是本申请实施例提供的步骤S32的可选流程示意图；
[0044]图5是本申请实施例提供的测试激励生成装置的可选框图；
[0045]图6是本申请实施例提供的测试装置本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种测试激励生成方法，其特征在于，包括：获取测试方案，所述测试方案至少包括目标操作数及其对应的目标参数范围，其中，所述目标操作数的数据类型为浮点数类型，所述目标参数范围为浮点数范围；调用参数转换函数，将所述目标参数范围转换为整型约束界限，所述整型约束界限为所述目标参数范围的整型表示；基于所述整型约束界限，产生对应所述目标操作数的随机数；至少基于所述目标操作数的随机数，形成测试激励。2.根据权利要求1所述的测试激励生成方法，其特征在于，在所述测试方案包括待定操作数时，所述基于所述整型约束界限，产生对应所述目标操作数的随机数之后，还包括：确定测试方案中待定操作数与所述目标操作数的运算关系；调用运算函数，基于所述目标操作数的随机数和所述运算关系，确定所述待定操作数的值；所述至少基于所述目标操作数的随机数，形成测试激励，具体为，基于所述目标操作数的随机数和所述待定操作数的值，形成测试激励。3.根据权利要求1所述的测试激励生成方法，其特征在于，所述浮点数的精度至少包括半精度格式，单精度格式或双精度格式。4.一种测试方法，其特征在于，包括：获取测试激励，所述测试激励根据如权利要求1
‑
3任一项所述的测试激励生成方法生成；根据所述测试激励，对浮点运算单元的运算操作进行测试。5.根据权利要求4所述的测试方法，其特征在于，所述根据所述测试激励，对浮点运算单元的运算操作进行测试包括：将所述测试激励输入到所述浮点运算单元，确定所述测试激励对应的实际运算结果；将所述实际运算结果与模型运算结果相比较，以验证所述浮点运算单元执行的浮点运算操作是否达到预期。6.根据权利要求5所述的测试方法，其特征在于，还包括：若所述实际运算结果等于所述模型运算结果，确定所述实际运算结果是否满足预设条件，所述预设条件至少包括所述实际运算结果对应的运算次数。7.一种测试激励生成装置...

【专利技术属性】
技术研发人员：范相东，陈俊，潘于，
申请(专利权)人：海光信息技术股份有限公司，
类型：发明
国别省市：