面向适航标准的机载软件测试验证方法综述

作者：谭莉娟; 郑巍; 刘友林; 樊鑫; 杨丰玉

来源：计算机工程与应用, 2021, 57(15): 9-22.

DOI：10.3778/j.issn.1002-8331.2103-0411

• 机载软件测试验证
• DO-178C
• 基于需求
• 基于模型
• 基于安全性分析
• 软件验证的测试

机载软件测试是指机载系统中嵌入式软件执行的测试验证过程,目的是为了挖掘出软件缺陷从而提高机载系统的可靠性。随着机载嵌入式系统功能的多样化需求,软件的规模和复杂程度不断增加,同时因为其实时性、嵌入性、高可靠性等特殊性,因此对机载软件进行充分测试成为当前的一个挑战。为了满足要求,机载系统的测试需要遵循最新的适航标准DO-178C,针对机载软件生命周期过程提出了一系列目标要求和设计考虑。为此,简介了机载软件适航认证标准的发展及其测试环境;根据DO-178C对机载软件测试的各个过程从基于需求、基于模型、基于安全性分析以及软件验证的测试研究机载软件的测试验证方法,并进行小结;对相关领域的发展进行总结和展望。

• 单位
  南昌航空大学