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

doi:10.3778/j.issn.1002-8331.2101-0280

计算机工程与应用 ›› 2021, Vol. 57 ›› Issue (11): 1-10.DOI: 10.3778/j.issn.1002-8331.2101-0280

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

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

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

出版日期:2021-06-01 发布日期:2021-05-31

Summary of Airborne Software Testing and Verification Tools for Airworthiness Standards

LIU Youlin, ZHENG Wei, TAN Lijuan, 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-06-01 Published:2021-05-31

摘要/Abstract

摘要：

机载软件的测试与验证是保障机载软件正确性和可靠性的重要方法。软件的测试与验证离不开工具的支持，使用工具能够提高效率、降低成本，对机载软件的测试验证工具研究是对其进行充分测试验证的保障。对机载软件及适航标准进行了简介；按照系列适航标准，从DO-178C、基于模型的开发与验证（DO-331）和形式化方法（DO-333）三个维度对工具的功能、特性及应用进行了详细介绍，并对其发展现状进行小结；总结机载嵌入式软件测试验证及其工具研发中存在的问题，并对其发展趋势进行了分析。

关键词: 机载软件测试验证工具, 适航标准, DO-178C, 基于模型, 形式化方法

Abstract:

The testing and verification of airborne software is an important method to ensure the correctness and reliability of airborne software. Software testing and verification are inseparable from the support of tools. The use of tools can improve efficiency and reduce costs. Research on testing and verification tools for airborne software is a guarantee for adequate testing and verification. Firstly, it introduces the airborne software and airworthiness standards. Secondly, in accordance with the series of airworthiness standards, the functions, characteristics, and characteristics of the tools are analyzed from the perspectives of DO-178C, model-based development and verification（DO-331）, formal methods（DO-333）. The application is introduced in detail, and its development status is summarized. Finally, the problems in the testing and verification of airborne embedded software and the development of tools are summarized and the trends are analyzed.

Key words: airborne software testing and verification tools, airworthiness standards, DO-178C, model-based, formal methods

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

LIU Youlin, ZHENG Wei, TAN Lijuan, FAN Xin, YANG Fengyu. Summary of Airborne Software Testing and Verification Tools for Airworthiness Standards[J]. Computer Engineering and Applications, 2021, 57(11): 1-10.

[1]	谭莉娟，郑巍，刘友林，樊鑫，杨丰玉. 面向适航标准的机载软件测试验证方法综述[J]. 计算机工程与应用, 2021, 57(15): 9-22.
[2]	唐伟. 一种有效的模糊关联规则挖掘的形式化方法[J]. 计算机工程与应用, 2015, 51(18): 114-119.
[3]	刘正尧. 物理设计可制造性优化的研究[J]. 计算机工程与应用, 2013, 49(19): 54-57.
[4]	曾蕴波1，周竞涛1，范海涛2. 模型驱动的卫星产品变更范围提取技术[J]. 计算机工程与应用, 2013, 49(10): 62-67.
[5]	邢洪智1，罗颖2，罗长远1，霍士伟1. 移动环境中多级网络安全切换策略设计[J]. 计算机工程与应用, 2011, 47(36): 127-130.
[6]	曾一，孙政，周吉，胡小威. 一种状态图到B规格说明的自动转换方法研究实现[J]. 计算机工程与应用, 2011, 47(35): 77-80.
[7]	陈登科，孔繁胜. 基于高斯pLSA模型与项目的协同过滤混合推荐[J]. 计算机工程与应用, 2010, 46(23): 209-211.
[8]	胡海波，张雷. 基于SWRL的软件需求一致性验证方法[J]. 计算机工程与应用, 2010, 46(21): 72-75.
[9]	周景才，杨家红，陈毅波. 模型驱动的自动化测试架构[J]. 计算机工程与应用, 2010, 46(2): 66-68.
[10]	王向云¹,赵雷²,蔡开元². 基于监控理论的EFSM设计方法[J]. 计算机工程与应用, 2009, 45(6): 20-24.
[11]	陈付龙¹,樊晓桠². 嵌入式系统建模理论与方法[J]. 计算机工程与应用, 2009, 45(13): 8-12.
[12]	周鹏. 管道流量泄漏时间序列分类的算法研究[J]. 计算机工程与应用, 2009, 45(13): 166-169.
[13]	胡启敏^1,2,薛锦云^1,2. 形式化方法Designware、B的比较[J]. 计算机工程与应用, 2007, 43(31): 96-99.
[14]	刘大光^1,2，林惠民¹，吴鹏³. 一种基于模型的并发系统测试目的描述[J]. 计算机工程与应用, 2007, 43(25): 105-110.
[15]	王全来^1,2，王亚弟¹，韩继红¹. 密码协议形式化分析的计算合理性[J]. 计算机工程与应用, 2007, 43(21): 8-11.

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

Summary of Airborne Software Testing and Verification Tools for Airworthiness Standards

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics