软件测试是保障和提高航空嵌入式软件可靠性的主要手段之一。但航空嵌入式软件因其应用领域的特殊性而具有嵌入性、实时性、高可靠性等特点,决定着航空嵌入式软件测试不能简单地沿用传统的软件测试方法。嵌入式软件一般在宿主机上开发,在目标机上运行,与目标硬件环境密切相关。因此,对嵌入式软件进行测试通常采用仿真测试方法。仿真测试需要仿真测试环境的支持。而在航空嵌入式软件测试领域,缺乏必要的测试环境是对嵌入式软件进行测试面临的最大难题。为了解决以上难题,实现嵌入式系统的硬件研发、软件开发及测试的并行性,采用全数字仿真技术,针对具体需求,为测试开发专用的仿真测试环境。基于此,本论文选择对航空嵌入式软件全数字仿真测试技术展开研究。本文首先研究了软件测试理论。然后分析了嵌入式软件及航空嵌入式软件特点,总结了嵌入式软件以及航空嵌入式软件测试的难点,针对航空嵌入式软件测试面临的最大难题,描述了两种航空嵌入式软件测试环境:宿主机仿真测试环境和交联设备仿真测试环境。由此分析了航空嵌入式软件全数字仿真测试环境设计原理、体系结构以及关键技术展开研究,详细论述了硬件接口与模拟、进程管理与调度及测试脚本语言的实现原理,针对测试脚本语言设计与实现,给出了基于python语言,结合嵌入式软件测试的特点对python模块进行扩展来实现满足测试需要的脚本测试语言。最后结合实际项目应用,具体介绍了基于航空全数字仿真测试环境的软件测试过程。