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

Summary of Airborne Software Testing and Verification Tools for Airworthiness Standards

作　　者：刘友林 郑巍[1,2] 谭莉娟 樊鑫[1,2] 杨丰玉[1,2] LIU Youlin;ZHENG Wei;TAN Lijuan;FAN Xin;YANG Fengyu(School of Software,Nanchang Hangkong University,Nanchang 330063,China;Software Testing and Evaluation Center,Nanchang Hangkong University,Nanchang 330063,China)

机构地区：[1]南昌航空大学软件学院,南昌330063 [2]南昌航空大学软件测评中心,南昌330063

出　　处：《计算机工程与应用》2021年第11期1-10,共10页Computer Engineering and Applications

基　　金：国家自然科学基金(61867004);江西省教育厅自然科学基金(GJJ180523)。

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

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

分 类 号：V247.1[航空宇航科学与技术—飞行器设计] TP311.5[自动化与计算机技术—计算机软件与理论]