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

摘要：

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

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

所属期刊栏目：57

分类号：V247.1;TP311.5(航空仪表、航空设备、飞行控制与导航)

资助基金：国家自然科学基金;国家自然科学基金

在线出版日期：2021-06-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：1-10