Computer Engineering and Applications ›› 2021, Vol. 57 ›› Issue (15): 9-22.DOI: 10.3778/j.issn.1002-8331.2103-0411

Previous Articles     Next Articles

Survey of Airborne Software Test and Verification Methods for Airworthiness Standards

TAN Lijuan, ZHENG Wei, LIU Youlin, FAN Xin, YANG Fengyu   

  1. 1.School of Software, Nanchang Hangkong University, Nanchang 330063, China
    2.Software Testing and Evaluation Center, Nanchang Hangkong University, Nanchang 330063, China
  • Online:2021-08-01 Published:2021-07-26

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

谭莉娟,郑巍,刘友林,樊鑫,杨丰玉   

  1. 1.南昌航空大学 软件学院,南昌 330063
    2.南昌航空大学 软件测评中心,南昌 330063

Abstract:

Airborne software testing refers to the testing and verification process of embedded software in airborne system. The purpose is to find out software defects and improve the reliability of airborne system. With the diversified requirements of airborne embedded system functions, the scale and complexity of software are increasing. At the same time, due to the particularity of real-time, embeddedness and high reliability, it is a challenge to fully test airborne software. In order to meet the requirements, airborne system testing needs to follow the latest airworthiness standard DO-178C. A series of objectives and design considerations are proposed for airborne software life cycle process. For this reason, this paper introduces the development of airborne software airworthiness certification standards and its test environment. According to DO-178C, the paper studies the test and verification methods of airborne software from the aspects of requirements based, model-based, security analysis based and software verification testing. It summarizes and prospects the development of related fields.

Key words: Airborne software testing and verification, DO-178C, requirement-based, model-based, security analysis based, software verification testing

摘要:

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

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