计算机工程与应用2021，Vol.57Issue(11)：1-10,10.DOI:10.3778/j.issn.1002-8331.2101-0280
面向适航标准的机载软件测试验证工具综述
Summary of Airborne Software Testing and Verification Tools for Airworthiness Standards
摘要
关键词
机载软件测试验证工具/适航标准/DO-178C/基于模型/形式化方法分类
航空航天引用本文复制引用
刘友林,郑巍,谭莉娟,樊鑫,杨丰玉..面向适航标准的机载软件测试验证工具综述[J].计算机工程与应用,2021,57(11):1-10,10.基金项目
国家自然科学基金(61867004) （61867004）
江西省教育厅自然科学基金(GJJ180523). （GJJ180523）
