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

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