面向DO-178C软件测试过程的目标符合性论证模式

来源：计算机研究与发展杂志2017年第3期北京时间：

作者：杨阳,吴际,苑春春,刘超,杨海燕,邢亮,

摘要：安全关键软件已广泛应用于众多领域.鉴于其对防范灾害风险方面的特殊要求，必须符合相关领域的安全性标准.但是目前对于如何建立面向标准的目标符合性论证模型，尚缺乏有效的方法.针对DO-178C标准中关于软件测试过程目标的特征描述，提出了一个基于GSN的目标论证模式描述框架，分别从解决问题、解决方案、应用方法和产生效果4个方面对目标论证模式进行描述；同时使用一种扩展的安全案例模式描述方式，用以描述面向标准的目标符合性论证模式.在此基础上，提出了3种面向DO-178C软件测试过程的目标符合性论证模式，分别是代码-需求符合性论证模式、需求测试覆盖率论证模式、结构测试覆盖率论证模式，并提出基于这些模式建立针对特定项目的目标符合性论证结构的实例化方法，为建立面向DO-178C软件测试过程的目标符合性论证结构提供了有效指导.通过一个机载嵌入式实时操作系统的案例，说明了提出的目标符合性论证模式的可用性和有效性.

关键词：安全关键性软件, 适航认证, DO-178C, GSN, 论证模式,