[发明专利]一种实现虚拟验证系统故障注入的方法

权利要求书

1.一种实现虚拟验证系统故障注入的方法，其特征在于，所述方法包括：

S1、读取用户的操作，选择本次故障用例所针对的故障类型，是寄存器故障、变量故障还是内存数据故障；

S2、针对本次的故障类型，读取用户的触发模式配置信息，判断是时间触发，还地址触发；

S3、根据已读取的故障类型以及故障触发形式，读取用户的故障数据信息，生成专用命令字；

S4、将生成的命令字通过特定命令管道传输至GDB模块；

S5、GDB模块对命令字进行解析，封装成虚拟验证系统能够识别的专用数据结构；

S6、通过虚拟验证系统的事件机制，将故障实例注入到系统当中；

S7、完成一个故障实例的注入。

2.根据权利要求1所述的方法，其特征在于：所述方法还包括在步骤S7之后根据用户需求重新开始下一个实例的配置、注入过程，直至全部满足用户的需求。

3.根据权利要求1所述的方法，其特征在于：所述方法还包括在虚拟验证系统实例进行代码仿真执行过程中，实时检测故障注入的触发条件，一旦满足即根据相应事件内的描述进行故障值的注入，完成用户所期待的故障注入能力。

4.根据权利要求1所述的方法，其特征在于：所述方法还包括面向用户，提供用户操作接口，在所述用户操作接口上用户选择触发模式：若是时间触发，则需设置起始时间、时间间隔以及触发次数；若是地址触发，则需设置起始地址、终止地址以及读写触发形式；之后，用户需要设置故障对象以及故障值：若为寄存器故障，则需选择寄存器编号，并设置10进制或16进制的故障值；若为变量故障，则需选择变量名，并设置10进制或16进制的故障值；若为内存故障，则续设置内存段的起始地址、长度，并选择欲注入的故障数据文件。

5.根据权利要求1所述的方法，其特征在于：所述生成专用命令字具体为根据“故障注入与虚拟验证系统的交互命令字”规范，生成专用命令字。

6.根据权利要求5所述的方法，其特征在于：所述“故障注入与虚拟验证系统的交互命令字”规范包括：时间触发的指定寄存器故障注入RegInj-TimeTrig：寄存器编号+故障值+起始时间+时间间隔+故障次数；时间触发的指定变量故障注入VarInj-TimeTrig：变量名+变量类型+故障值+起始时间+时间间隔+故障次数；时间触发的指定内存段数据故障注入MemInj-TimeTrig：内存起始地址+内存段长度+故障数据文件+起始时间+时间间隔+故障次数；地址触发的指定寄存器故障注入RegInj-AddrTrig：寄存器编号+故障值+起始触发地址+终止触发地址+读写形式；地址触发的指定变量故障注入VarInj-AddrTrig：变量名+变量类型+故障值+起始触发地址+终止触发地址+读写形式；地址触发的指定内存段数据故障注入MemInj-AddrTrig：内存起始地址+内存段长度+故障数据文件+起始触发地址+终止触发地址+读写形式。

7.根据权利要求1所述的方法，其特征在于：所述故障注入，包括：1)时间触发的指定寄存器故障注入；2)时间触发的指定变量故障注入；3)时间触发的指定内存段数据故障注入；4)地址触发的指定寄存器故障注入；5)地址触发的指定变量故障注入；6)地址触发的指定内存段数据故障注入。