题目：显控处理机飞行作战嵌入式软件测试技术的研究和应用

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