空空导弹在现代空战中起着越来越重要的作用,作为空空导弹核心控制系统,嵌入式系统及软件将集成更多的功能,完成更多的任务,其软件质量是保证系统质量的重要因素,所以对于嵌入式软件的测试就越来越重要。因此,深入研究空空导弹嵌入式软件测试技术,并将研究成果应用到测试实践中,是空空导弹各种型号任务软件研制中亟待解决的重要课题。论文的主要工作与成果如下:1)本文首先综述了软件测试基本理论和通用测试技术,掌握了空空导弹软件测试常用测试工具,对当前国内外软件测试研究现状和软件测试热点做了综合分析,为下一步研究工作打下了测试理论基础。2)针对空空导弹嵌入式软件的高可靠性、高安全性、高实时性及嵌入式特点,重点研究了空空导弹嵌入式软件测试过程、测试技术和测试策略。在研究通用软件测试技术基础上,结合我院空空导弹软件测试实践,提出了空空导弹嵌入式软件测试基本测试策略和各阶段测试策略。3)分析了空空导弹嵌入式软件特点对软件测试的影响,针对嵌入式特点,提出了宿主机和目标机交叉测试策略,较好解决了质量保证与成本控制的矛盾;提出了改进的空空导弹软件测试V字模型,在模型中强调了静态分析和代码走查的独立性,为改进空空导弹软件测试流程提供了理论依据;结合空空导弹软件测试的基本活动,应用软件测试自动化技术以及嵌入式软件测试工具设计了空空导弹软件测试自动化流程模型,为实现空空导弹软件测试自动化提供了切实可行的技术支持。 最后,本论文遵循课题研究的软件测试思想和方法成果,针对一个典型的空空导弹嵌入式软件测试,进行了独立的软件测试设计和测试实施全过程,验证了所提出的测试策略和测试模型,在确保空空导弹软件质量的同时,提高了测试效率。