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

• 作者: 刘友林 郑巍 谭莉娟 樊鑫 杨丰玉
• 来源期刊: 计算机工程与应用
• 关键词: 机载软件测试验证工具 适航标准 DO-178C 基于模型 形式化方法
• 年，卷（期）: 2021,（11）
• 所属期刊栏目: 热点与综述|Research Hotspots and Reviews
• 页码范围: 1-10
• 页数: 10页
• 分类号: V247.1|TP311.5
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2101-0280

摘要

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