虚拟验证技术在弹载软件测试中的应用  

作　　者：石磊[1] SHI Lei

机构地区：[1]中国空空导弹研究院,河南洛阳471000

出　　处：《信息技术与信息化》2023年第9期98-103,共6页Information Technology and Informatization

基　　金：航空科学基金(2017ZD12013)。

摘　　要：为解决以往实物弹载嵌入式系统软件测试验证很难实现异常故障注入导致测试充分性无法保证的缺点,通过基于目标码的嵌入式软件系统虚拟验证技术开展应用研究,针对弹载软件特征,利用CPU虚拟化、外设虚拟化和测试数据注入等技术构建测试虚拟验证模型,对建立的单板、多板、单核、多核虚拟系统进行通信故障、内存故障、软硬件故障等测试验证。试验结果表明,CPU指令虚拟化正确率达到100%、正确模拟外设执行行为、量化分析测试覆盖率,该技术对提高武器装备软件的可靠性、安全性和健壮性,有着非常重要的工程应用价值。

关 键 词：目标码 虚拟验证 CPU虚拟化 外设虚拟化 测试数据注入 异常故障测试 

分 类 号：TJ760.6[兵器科学与技术—武器系统与运用工程] TP311.53[自动化与计算机技术—计算机软件与理论]