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

doi:10.3778/j.issn.1002-8331.2103-0411

计算机工程与应用 ›› 2021, Vol. 57 ›› Issue (15): 9-22.DOI: 10.3778/j.issn.1002-8331.2103-0411

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

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

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

出版日期:2021-08-01 发布日期:2021-07-26

Survey of Airborne Software Test and Verification Methods for Airworthiness Standards

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

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

摘要/Abstract

摘要：

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

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

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

谭莉娟，郑巍，刘友林，樊鑫，杨丰玉. 面向适航标准的机载软件测试验证方法综述[J]. 计算机工程与应用, 2021, 57(15): 9-22.

TAN Lijuan, ZHENG Wei, LIU Youlin, FAN Xin, YANG Fengyu. Survey of Airborne Software Test and Verification Methods for Airworthiness Standards[J]. Computer Engineering and Applications, 2021, 57(15): 9-22.

[1]	刘友林，郑巍，谭莉娟，樊鑫，杨丰玉. 面向适航标准的机载软件测试验证工具综述[J]. 计算机工程与应用, 2021, 57(11): 1-10.
[2]	刘正尧. 物理设计可制造性优化的研究[J]. 计算机工程与应用, 2013, 49(19): 54-57.
[3]	曾蕴波1，周竞涛1，范海涛2. 模型驱动的卫星产品变更范围提取技术[J]. 计算机工程与应用, 2013, 49(10): 62-67.
[4]	陈登科，孔繁胜. 基于高斯pLSA模型与项目的协同过滤混合推荐[J]. 计算机工程与应用, 2010, 46(23): 209-211.
[5]	周景才，杨家红，陈毅波. 模型驱动的自动化测试架构[J]. 计算机工程与应用, 2010, 46(2): 66-68.
[6]	周鹏. 管道流量泄漏时间序列分类的算法研究[J]. 计算机工程与应用, 2009, 45(13): 166-169.
[7]	陈付龙¹,樊晓桠². 嵌入式系统建模理论与方法[J]. 计算机工程与应用, 2009, 45(13): 8-12.
[8]	刘大光^1,2，林惠民¹，吴鹏³. 一种基于模型的并发系统测试目的描述[J]. 计算机工程与应用, 2007, 43(25): 105-110.

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

Survey of Airborne Software Test and Verification Methods for Airworthiness Standards

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 8

编辑推荐

Metrics