项目来源：基于适航标准的软件验证是航空机载软件在民用飞机上投入使用的必经过程，是保证航空机载软件质量的重要步骤，适航验证需要满足相关的DO-178B/C要求。我所承接了C919飞机 基于ARINC664的交换机研制项目，本课题就是对适航验证技术进行研究，并将研究成果应用于ARINC664交换机基于适航标准的软件验证项目实践中。 所属科学技术领域：航空电子系统软件测试。 主要内容：本成果应用于基于适航标准以及ARINC664规范符合性的软件验证过程中。研究内容主要包括： （1）软件评审技术研究：研究如何提高评审质量，以及评审的关注要点和难点，评审对象包括软件需求、软件设计、源代码、软件集成过程输出等。 （2）软件分析技术研究：明确分析的目的和方法，开发自动化分析工具，以提高分析水平和效率，创新内容主要包括分区分析、数据耦合和控制耦合分析、最差情况执行时间分析等。 （3）软件测试技术研究：对基于适航标准的软件测试技术进行研究；研究自动化测试方法；研究测试过程中技术难点的解决方案。实现基于XML形式化描述测试场景的针对ARINC664的自动测试技术。 （4）工具论证方法研究：包括对软件开发、软件验证过程中所使用工具的分析，研究如何确定对这些工具的论证要求，以及按什么标准进行论证。 应用推广情况： 目前该方法已经初步运用于C919飞机交换机软件的验证工作中，得到相关咨询公司技术专家的认可，并通过了商飞适航团队的审查，在项目中进行了运用，取得了良好的效果。此外，该成果同样适用于其它符合DO-178B/C要求的适航验证项目，对推动基于适航标准的软件验证规范性、完整性、有效性具有重要指导作用。