计算机工程与应用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
摘要
关键词
机载软件测试验证/DO-178C/基于需求/基于模型/基于安全性分析/软件验证的测试分类
航空航天引用本文复制引用
谭莉娟,郑巍,刘友林,樊鑫,杨丰玉..面向适航标准的机载软件测试验证方法综述[J].计算机工程与应用,2021,57(15):9-22,14.基金项目
国家自然科学基金(61867004) (61867004)
江西省教育厅自然科学基金(GJJ180523). (GJJ180523)