-
题名面向适航标准的机载软件测试验证方法综述
被引量：11
- 1
-
-
作者
谭莉娟
郑巍
刘友林
樊鑫
杨丰玉
-
机构
南昌航空大学软件学院
南昌航空大学软件测评中心
-
出处
《计算机工程与应用》
CSCD
北大核心
2021年第15期9-22,共14页
-
基金
国家自然科学基金(61867004)
江西省教育厅自然科学基金(GJJ180523)。
-
文摘
机载软件测试是指机载系统中嵌入式软件执行的测试验证过程,目的是为了挖掘出软件缺陷从而提高机载系统的可靠性。随着机载嵌入式系统功能的多样化需求,软件的规模和复杂程度不断增加,同时因为其实时性、嵌入性、高可靠性等特殊性,因此对机载软件进行充分测试成为当前的一个挑战。为了满足要求,机载系统的测试需要遵循最新的适航标准DO-178C,针对机载软件生命周期过程提出了一系列目标要求和设计考虑。为此,简介了机载软件适航认证标准的发展及其测试环境;根据DO-178C对机载软件测试的各个过程从基于需求、基于模型、基于安全性分析以及软件验证的测试研究机载软件的测试验证方法,并进行小结;对相关领域的发展进行总结和展望。
-
关键词
机载软件测试验证
DO-178C
基于需求
基于模型
基于安全性分析
软件验证的测试
-
Keywords
Airborne software testing and verification
DO-178C
requirement-based
model-based
security analysis based
software verification testing
-
分类号
V247.1
[航空宇航科学与技术—飞行器设计]
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向适航标准的机载软件测试验证工具综述
被引量：1
- 2
-
-
作者
刘友林
郑巍
谭莉娟
樊鑫
杨丰玉
-
机构
南昌航空大学软件学院
南昌航空大学软件测评中心
-
出处
《计算机工程与应用》
CSCD
北大核心
2021年第11期1-10,共10页
-
基金
国家自然科学基金(61867004)
江西省教育厅自然科学基金(GJJ180523)。
-
文摘
机载软件的测试与验证是保障机载软件正确性和可靠性的重要方法。软件的测试与验证离不开工具的支持,使用工具能够提高效率、降低成本,对机载软件的测试验证工具研究是对其进行充分测试验证的保障。对机载软件及适航标准进行了简介;按照系列适航标准,从DO-178C、基于模型的开发与验证(DO-331)和形式化方法(DO-333)三个维度对工具的功能、特性及应用进行了详细介绍,并对其发展现状进行小结;总结机载嵌入式软件测试验证及其工具研发中存在的问题,并对其发展趋势进行了分析。
-
关键词
机载软件测试验证工具
适航标准
DO-178C
基于模型
形式化方法
-
Keywords
airborne software testing and verification tools
airworthiness standards
DO-178C
model-based
formal methods
-
分类号
V247.1
[航空宇航科学与技术—飞行器设计]
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
