[发明专利]一种基于变异测试的虚拟原型错误检测方法

权利要求书

1.一种基于变异测试的虚拟原型错误检测方法，其特征在于，该方法包括以下步骤：

步骤1：使用SystemRDL语言描述硬件设备的规约；

步骤2：将硬件设备规约转化为一个能够执行的原始FDM模型；

步骤3：依据变异规则对原始FDM模型中的操作符生成对应的变异约束条件和索引编号；

步骤4：将FDM模型和已有的测试用例集traces作为输入，利用符号执行引擎对虚拟原型进行错误检测。

2.根据权利要求1所述的虚拟原型错误检测方法，其特征在于，步骤1所述SystemRDL语言包括：关键组件field、register、register file、address map、signal、macro和function及设备寄存器的属性；其中，

所述关键组件field用于指定设备寄存器的每一位所具备的属性和名称；

所述关键组件register用于描述硬件设备所具有的寄存器，同时指定对应寄存器的属性、实例名称以及地址偏移量；

所述关键组件register file用于描述寄存器的划分；

所述关键组件address map用于指定寄存器或寄存器组组合成为一个硬件设备地址空间；

所述关键组件signal用于定义一条连线连接其他组件的输入或输出；

所述关键组件macro用于定义在“function”组件中描述设备寄存器行为逻辑时要使用的宏，格式是macro_name=value；

所述关键组件function用于定义硬件设备寄存器的行为逻辑，其格式是在该组件的代码描述部分按照C语言函数定义的格式进行描述；

所述设备寄存器的属性用于指定设备寄存器所应具备的特性，包括读写访问权限、寄存器的位宽。

3.根据权利要求1所述的虚拟原型错误检测方法，其特征在于，步骤2所述能够执行的原始FDM模型，其组成是基于C/C++格式的源代码文件集合，包括了硬件设备模型的主函数和各个接口寄存器的行为逻辑；其中，

所述主函数用于控制硬件设备模型的输入输出；

所述接口寄存器的行为逻辑用于描述接口寄存器在影响设备动作请求后的状态变迁。

4.根据权利要求1所述的虚拟原型错误检测方法，其特征在于，步骤3所述依据变异规则对原始FDM模型中的操作符生成对应的变异约束条件和索引编号是：在原始FDM模型中，依据变异规则对操作符即操作算子进行变异，在含有操作符的语句前插入对应的变异约束条件和索引编号。

5.根据权利要求1所述的虚拟原型错误检测方法，其特征在于，步骤4所述利用符号执行引擎对虚拟原型进行错误检测是：利用符号执行引擎来符号化执行含有变异约束条件的FDM模型并将状态结果和满足的变异约束条件与测试用例trace中的对应状态和变异约束条件分别做对比进行错误检测。