基于仿真环境的非侵入式嵌入式软件异常处理验证方法与流程

文档序号:12596968阅读:来源:国知局

技术特征:

1.一种基于仿真环境的非侵入式嵌入式软件异常处理验证方法,包括:

搭建嵌入式软件仿真运行环境;

设计异常处理验证测试用例,包括:

对嵌入式软件的关键要素进行识别和提取;

设计测试用例索引结构设计和异常处理数据;

该测试用例索引结构包括:测试用例编号、测试工程信息、测试时间信息、测试人员信息、测试用例格式以及测试用例存储位置;该异常处理数据包括:异常类型、异常触发位置、异常触发时刻以及异常持续时间;以及

设计异常处理数据触发形式,异常处理数据触发形式包括基于地址读访问的触发、基于地址写访问的触发、基于全局变量的触发、基于时间点的周期性触发以及基于时间点的非周期性触发;

执行异常处理测试用例,包括:

将异常处理测试用例运行于嵌入式软件仿真运行环境之上,嵌入式软件的可执行文件作为目标文件,包括仿真环境复位、目标文件加载与解析、测试用例选择与加载以及基于仿真的测试用例执行;

仿真环境复位包括:理器内核复位以及外围设备复位,复位过程将重置处理器、内存以及外围设备的寄存器为初始状态;

目标文件加载与解析包括:通过仿真运行环境存储系统仿真接口实现目标文件位置和路径的选择,通过解析目标文件实现目标文件到虚拟环境的映射;以及

测试用例选择与加载包括:通过测试用例索引结构,根据需要选择单个测试用例或者多个测试用例;将测试用例加载到仿真运行环境中;在目标文件及测试用例加载完毕后对信息采集结构进行初始化;

采集嵌入式软件异常信息;以及

对采集的嵌入式软件异常信息进行分析与验证。

2.如权利要求1所述的基于仿真环境的非侵入式嵌入式软件异常处理验证方法,其特征在于,该关键要素包括全局变量、寄存器地址、内存排列以及函数地址的信息。

3.如权利要求1所述的基于仿真环境的非侵入式嵌入式软件异常处理验证方法,其特征在于,该嵌入式软件仿真运行环境包括:目标处理器内核指令集仿真模块,用于进行目标指令的动态二进制编译;嵌入式系统外设仿真模块,用于向目标处理器内核指令仿真模块以模拟外设的形式提供输入输出接口;仿真过程控制模块,用于协调目标处理器内核以及外设的仿真过程;测试数据输入接口,用于将测试数据直接输入给目标处理器内核指令集仿真模块。

4.如权利要求1所述的基于仿真环境的非侵入式嵌入式软件异常处理验证方法,其特征在于,基于地址读访问的触发包括:在指令执行过程中对寄存器及内存地址进行监测,在指令执行到达寄存器及内存地址并进行读访问时执行触发过程;基于地址写访问的触发包括在指令执行过程中对寄存器及内存地址进行监测,在指令执行到达寄存器及内存地址时并进行写访问时执行触发过程;基于时间点的周期性触发包括在指令执行过程中对预设时间点进行监测,在指令执行时间到达预设时间点时按照周期性的参数重复执行触发过程;基于时间点的非周期性触发包括在指令执行过程中对预设时间点进行监测,在指令执行时间到达预设时间点时按照非周期性的参数重复执行触发过程。

5.如权利要求1所述的基于仿真环境的非侵入式嵌入式软件异常处理验证方法,其特征在于,该采集嵌入式软件异常信息包括:

在仿真过程控制中每一个指令周期入口对测试用例进行搜索,包括每个指令周期搜索当前测试用例是否有时间注入、每个指令周期搜索当前测试用例中是否有指令地址注入、每个指令周期搜索当前测试用例中是否有时间采集以及每个指令周期搜索当前测试用例中是否有指令地址采集;

若上述任一条件为是,则时采用增量的方式对信息采集结构进行数据刷新。

6.如权利要求1所述的基于仿真环境的非侵入式嵌入式软件异常处理验证方法,其特征在于,对采集的嵌入式软件异常信息进行分析与验证包括:异常处理验证测试用例执行完毕后,将采集到的信息进行解析,得到异常处理执行结果,包括程序执行流、程序执行次数、跳转指令的地址以及软件计算结果;对软件功能逻辑分析或与正常测试用例执行结果比对进行嵌入式软件异常处理机制的验证。

7.如权利要求1所述的基于仿真环境的非侵入式嵌入式软件异常处理验证方法,其特征在于,用增量的方式对信息采集结构进行数据刷新包括:若当前指令不是跳转指令则不记录,否则记录当前的处理器执行信息、测试用例索引以及软件计算结果索引;软件计算结果由嵌入式软件逻辑确定,通过外围设备仿真接口进行输出,通过计算结果索引与采集信息关联。

当前第2页1 2 3 
网友询问留言 已有0条留言
  • 还没有人留言评论。精彩留言会获得点赞!
1