杨阳
- 作品数：2 被引量：2H指数：1
- 供职机构：北京航空航天大学计算机学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向DO-178C软件测试过程的目标符合性论证模式被引量：2
- 2017年
- 安全关键软件已广泛应用于众多领域.鉴于其对防范灾害风险方面的特殊要求,必须符合相关领域的安全性标准.但是目前对于如何建立面向标准的目标符合性论证模型,尚缺乏有效的方法.针对DO-178C标准中关于软件测试过程目标的特征描述,提出了一个基于GSN的目标论证模式描述框架,分别从解决问题、解决方案、应用方法和产生效果4个方面对目标论证模式进行描述;同时使用一种扩展的安全案例模式描述方式,用以描述面向标准的目标符合性论证模式.在此基础上,提出了3种面向DO-178C软件测试过程的目标符合性论证模式,分别是代码-需求符合性论证模式、需求测试覆盖率论证模式、结构测试覆盖率论证模式,并提出基于这些模式建立针对特定项目的目标符合性论证结构的实例化方法,为建立面向DO-178C软件测试过程的目标符合性论证结构提供了有效指导.通过一个机载嵌入式实时操作系统的案例,说明了提出的目标符合性论证模式的可用性和有效性.
- 杨阳吴际苑春春刘超杨海燕邢亮
- 关键词：适航认证GSN
- 面向DO-178C软件测试过程的目标符合性论证模式
- 适航认证对机载软件来说至关重要,DO-178C是重要的机载软件安全标准,但是目前还未建立成熟的面向DO-178C标准的目标符合性论证模型.本文基于DO-178C标准中针对软件测试过程目标的特征描述,提出了三种面向DO-1...
- 杨阳苑春春刘超吴际杨海燕邢亮
- 关键词：机载软件安全测试适航认证
- 文献传递
