杨阳

作品数:1被引量:2H指数:1
导出分析报告
供职机构:北京航空航天大学计算机学院更多>>
发文主题:DO-178符合性适航认证软件测试过程GSN更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算机研究与发展》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-1
视图:
排序:
面向DO-178C软件测试过程的目标符合性论证模式被引量:2
《计算机研究与发展》2017年第3期654-668,共15页杨阳 吴际 苑春春 刘超 杨海燕 邢亮 
安全关键软件已广泛应用于众多领域.鉴于其对防范灾害风险方面的特殊要求,必须符合相关领域的安全性标准.但是目前对于如何建立面向标准的目标符合性论证模型,尚缺乏有效的方法.针对DO-178C标准中关于软件测试过程目标的特征描述,提出...
关键词:安全关键性软件 适航认证 DO-178C GSN 论证模式 
检索报告 对象比较 聚类工具 使用帮助 返回顶部