民机A级软件验证方法综述
RTCA/DO-178以软件质量为核心目标,严格规定了民用飞机软件设计的各个保障等级的目标和活动.然而由于标准本身的定位,DO-178对目标和活动的实施方法缺少必要的描述,为了保证我机软件特别是A级软件的验证目标得以满足,文章以RTCA/DO-178中要求的活动和目标为出发点,分析和比较了各软件设计保障等级的目标和活动,着重描述了设计保障等级为Ａ级的关键软件验证技术,这些关键验证技术包括软件结构覆盖率分析与MCDC分析方法,目标码验证原理、环境及基于样例工程的验证方法,基于模型的软件开发验证流程等.
民用飞机 软件验证 设计保障等级
张丹涛 赵亮
中航工业西安自控所,陕西 西安
国内会议
上海
中文
58-63
2016-04-19（万方平台首次上网日期，不代表论文的发表时间）