面向DO-178C软件测试过程的目标符合性论证模式
适航认证对机载软件来说至关重要,DO-178C是重要的机载软件安全标准,但是目前还未建立成熟的面向DO-178C标准的目标符合性论证模型.本文基于DO-178C标准中针对软件测试过程目标的特征描述,提出了三种面向DO-178C软件测试过程的目标符合性论证模式,分别是:代码-需求符合性论证模式,需求测试覆盖率论证模式,结构测试覆盖率论证模式.并从这些模式解决的问题,解决方案,应用方法,产生效果,四个方面描述每一个目标符合性论证模式.同时提出实例化模式为特定项目目标符合性论证结构的方法.实现了目标符合性论证模型的可重用性,同时为建立面向DO-178C软件测试过程的目标符合性论证结构提供了有效指导.并通过一个嵌入式操作系统的案例说明了本文提出的目标符合性论证模式的可用性和有效性.
机载软件 安全测试 适航认证 论证模式
杨阳 苑春春 刘超 吴际 杨海燕 邢亮
北京航空航天大学计算机学院,北京100191 中国航空工业集团公司西安航空计算研究所,陕西西安710065
国内会议
武汉
中文
1-12
2015-11-06（万方平台首次上网日期，不代表论文的发表时间）