[发明专利]基于仿真环境的非侵入式嵌入式软件异常处理验证方法

摘要

本发明公开了一种基于仿真环境的非侵入式嵌入式软件异常处理验证方法，包括：搭建嵌入式软件仿真运行环境；设计异常处理验证测试用例，执行异常处理测试用例，采集嵌入式软件异常信息以及对采集的嵌入式软件异常信息进行分析与验证。

主权项

1.一种基于仿真环境的非侵入式嵌入式软件异常处理验证方法，包括：搭建嵌入式软件仿真运行环境；设计异常处理验证测试用例，包括：对嵌入式软件的关键要素进行识别和提取；设计测试用例索引结构和异常处理数据；该测试用例索引结构包括：测试用例编号、测试工程信息、测试时间信息、测试人员信息、测试用例格式以及测试用例存储位置；该异常处理数据包括：异常类型、异常触发位置、异常触发时刻以及异常持续时间；以及设计异常处理数据触发形式，异常处理数据触发形式包括基于地址读访问的触发、基于地址写访问的触发、基于全局变量的触发、基于时间点的周期性触发以及基于时间点的非周期性触发；执行异常处理测试用例，包括：将异常处理测试用例运行于嵌入式软件仿真运行环境之上，嵌入式软件的可执行文件作为目标文件，包括仿真环境复位、目标文件加载与解析、测试用例选择与加载以及基于仿真的测试用例执行；仿真环境复位包括：理器内核复位以及外围设备复位，复位过程将重置处理器、内存以及外围设备的寄存器为初始状态；目标文件加载与解析包括：通过仿真运行环境存储系统仿真接口实现目标文件位置和路径的选择，通过解析目标文件实现目标文件到虚拟环境的映射；以及测试用例选择与加载包括：通过测试用例索引结构，根据需要选择单个测试用例或者多个测试用例；将测试用例加载到仿真运行环境中；在目标文件及测试用例加载完毕后对信息采集结构进行初始化；基于仿真的测试用例执行包括：首先仿真运行环境从嵌入式软件启动地址开始解析目标文件指令，基于目标处理器内核指令集仿真方法实现目标文件指令与宿主机指令的动态二进制编译，通过外围设备仿真接口实现外部数据的注入，同时在指令执行过程中动态维护程序指令地址和下一程序地址的跳转直至程序结束或者用户中断仿真过程，对于选择多个测试用例的情况则根据测试用例个数按顺序执行，每一次执行过程重复执行仿真环境复位、目标文件加载与解析；采集嵌入式软件异常信息；以及对采集的嵌入式软件异常信息进行分析与验证。