【摘 要】
：
RTCA/DO-178以软件质量为核心目标,严格规定了民用飞机软件设计的各个保障等级的目标和活动.然而由于标准本身的定位,DO-178对目标和活动的实施方法缺少必要的描述,为了保证
【出 处】
：
2016第五届民用飞机航电系统国际论坛
论文部分内容阅读
RTCA/DO-178以软件质量为核心目标,严格规定了民用飞机软件设计的各个保障等级的目标和活动.然而由于标准本身的定位,DO-178对目标和活动的实施方法缺少必要的描述,为了保证我机软件特别是A级软件的验证目标得以满足,文章以RTCA/DO-178中要求的活动和目标为出发点,分析和比较了各软件设计保障等级的目标和活动,着重描述了设计保障等级为Ａ级的关键软件验证技术,这些关键验证技术包括软件结构覆盖率分析与MCDC分析方法,目标码验证原理、环境及基于样例工程的验证方法,基于模型的软件开发验证流程等.
其他文献
弓形虫疾病是一种严重的人兽共患病,可感染所有哺乳动物和鸟类。猫是弓形虫的终末宿主,通过粪便排出的弓形虫卵囊是重要的传染源。选取北京市房山区的犬、猫进行血清弓形虫抗
目的总结风湿性多肌痛的中医证型用药规律。方法计算机检索中国知网、万方数据库,检索词为＂风湿性多肌痛＂and＂中医＂,排除重复文献病例文献,共纳入24篇文献,共669例患者。借助EXCE
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
以基质培养的绿色植物所在的半封闭阳台系统为研究对象,设计基于Arduino Uno WIFI +机智云的远程环境控制系统。系统通过传感器实时采集温度、湿度、光照等环境参数,通过WIFI
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
中共中央从今年6月开始,在全党自上而下分两批开展的“不忘初心、牢记使命”主题教育,与之前习近平总书记指出的“党性教育是共产党人修身养性的必修课,也是共产党人的‘心学