基于IPC的航空嵌入式系统软件测试研究

摘要

航空嵌入式系统软件的测试验证工作对于飞机的研发和生产来说都起着非常关键的作用,对提高整个飞行系统的安全性和可靠性有着不可忽视的作用。机载航电系统是航空嵌入式软件中最复杂的软件组成部分，其实现原理及处理信号的种类各不相同，测试难度很大。
　　针对嵌入式测试过程中遇到的难题和瓶颈，论文在阐述了航空嵌入式软件测试验证的基本概念、原理和方法的基础上，介绍了基于综合处理器（Integrated Processing Computer，IPC）的航空嵌入式系统软件测试验证的相关技术；分析了基于IPC的航空嵌入式系统软件测试验证的过程和应用需求，分别利用分层体系架构和数据传输对系统的数据和过程进行建模；给出了系统的测试平台架构，设计了系统多个不同功能模块测试用例；实现了基于IPC的航空嵌入式系统软件测试脚本的设计写规范和模式。
　　基于IPC的航空嵌入式软件测试的过程表明，依据功能需求设计和编写测试用例，能够发现系统和需求中存在的大量软件设计与实现缺陷，并帮助测试人员搭建测试平台，选择更合理的测试脚本设计方式，有效提升航空嵌入式软件测试过程的质量，达到预期的目标。