摘要
本发明公开了一种基于模糊测试的航天嵌入式软件接口测试方法,包括以下步骤:步骤一、编译源码;步骤二、解析规则,虚拟机加载待测软件,模糊测试引擎解析规则;三、规则映射;步骤四、信息比较;步骤五、数据输入;步骤六、字段变异;步骤七、耗尽能量;步骤八、终止程序,本发明采用全数字仿真平台作为虚拟机,采用一种基于规则引导的,支持多种数据类型的种子数据生成方法,支持多重嵌套校验数据字段自动生成,采用源码插桩方式,由虚拟外设寄存器处理软件执行过程中生成的数据信息,该方法广泛的支持多种嵌入式芯片和目标码类型的嵌入式软件接口测试,精准检测代码中的运行时缺陷,为保障嵌入式软件质量提供技术支撑。
技术关键词
航天嵌入式软件
接口测试方法
变异方法
校验信息
修补算法
虚拟设备
全数字仿真平台
种子
字段
待测软件
嵌套
指令
接口测试用例
模拟器
定位算法
覆盖率
数据生成方法
日志
阶段
系统为您推荐了相关专利信息
三维点云数据
反演方法
裂隙演化过程
重构
裂隙网络模型
精密激光切割
染色体
路径优化方法
轮廓信息
机械零部件
泄露防护方法
校验信息
服务器
RSA算法
网络接口
任务调度方法
染色体
任务调度程序
队列
物联网设备
麻醉深度监护仪
移动式存储设备
版本更新
摘要算法
校验信息