民机A级软件验证方法综述.pdf
RTCA/DO-178以软件质量为核心目标,严格规定了民用飞机软件设计的各个保障等级的目标和活动.然而由于标准本身的定位,DO-178对目标和活动的实施方法缺少必要的描述,为了保证我机软件特别是A级软件的验证目标得以满足,文章以RTCA/DO-178中要求的活动和目标为出发点,分析和比较了各软件设计保障等级的目标和活动,着重描述了设计保障等级为Ａ级的关键软件验证技术,这些关键验证技术包括软件结构覆盖率分析与MCDC分析方法,目标码验证原理、环境及基于样例工程的验证方法,基于模型的软件开发验证流程等.
作者：张丹涛赵亮
作者单位：中航工业西安自控所,陕西西安
母体文献：2016第五届民用飞机航电系统国际论坛论文集
会议名称：2016第五届民用飞机航电系统国际论坛
会议时间：2016年4月19日
会议地点：上海
主办单位：中国航空学会
语种：chi
分类号：TP3G71
关键词：民用飞机 软件验证 设计保障等级
在线出版日期：2019年4月24日
基金项目：
相似文献
相关博文
- 文件大小:
- 1.33 MB
- 下载次数:
- 60
-
高速下载
|
|
