| 注册
首页|期刊导航|计算机工程与应用|面向适航标准的机载软件测试验证方法综述

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

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

计算机工程与应用2021,Vol.57Issue(15):9-22,14.
计算机工程与应用2021,Vol.57Issue(15):9-22,14.DOI:10.3778/j.issn.1002-8331.2103-0411

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

Survey of Airborne Software Test and Verification Methods for Airworthiness Standards

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

作者信息

  • 1. 南昌航空大学 软件学院,南昌 330063
  • 2. 南昌航空大学 软件测评中心,南昌 330063
  • 折叠

摘要

关键词

机载软件测试验证/DO-178C/基于需求/基于模型/基于安全性分析/软件验证的测试

分类

航空航天

引用本文复制引用

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

基金项目

国家自然科学基金(61867004) (61867004)

江西省教育厅自然科学基金(GJJ180523). (GJJ180523)

计算机工程与应用

OA北大核心CSCDCSTPCD

1002-8331

访问量0
|
下载量0
段落导航相关论文