DO-178

作品数：129被引量：150H指数：7
导出分析报告
相关领域：自动化与计算机技术航空宇航科学技术更多>>
相关作者：章晓春牟明邢亮宋青朱怡安更多>>
相关机构：中国航空无线电电子研究所西安航空计算技术研究所上海飞机设计研究院中航工业西安航空计算技术研究所更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中国航空科学基金江西省自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=软件测试x
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向适航标准的机载软件测试验证工具综述被引量：1
《计算机工程与应用》2021年第11期1-10,共10页刘友林 郑巍 谭莉娟 樊鑫 杨丰玉 
国家自然科学基金(61867004);江西省教育厅自然科学基金(GJJ180523)。
机载软件的测试与验证是保障机载软件正确性和可靠性的重要方法。软件的测试与验证离不开工具的支持,使用工具能够提高效率、降低成本,对机载软件的测试验证工具研究是对其进行充分测试验证的保障。对机载软件及适航标准进行了简介;按...
关键词：机载软件测试验证工具 适航标准 DO-178C 基于模型 形式化方法 
在DO-178C标准下对军用信息系统软件测试的考虑被引量：2
《网络安全技术与应用》2020年第10期79-80,共2页陈汉一 刘春明 韩小波 
DO-178C标准是在民航领域对机载软件进行适航认证的权威标准。本文首先对DO-178C标准针对软件测试提出的目标要求进行了阐述,之后考虑在军用信息系统软件测试中参考实施DO-178C标准中强调的几方面内容,初步应用到测试计划、开发、执行...
关键词：DO-178C 软件测试 测试目标 
基于《DO-178B》软件测试的最佳实践
《电子世界》2019年第24期149-150,共2页梁雪 
引言:在过去20多年时间里航空机载电子设备得到了飞速的发展,软件在整个电子设备中占的比重越来越大,在机载系统的研制过程中的地位也越来越重要,无论是民机还是军机都越来越重视软件研制的质量和软件的安全性,纷纷制定了一系列标准来...
关键词：软件研制 软件测试 机载系统 军用软件开发 最佳实践 电子设备 GJB 国军标 
面向DO-178C软件测试过程的目标符合性论证模式被引量：2
《计算机研究与发展》2017年第3期654-668,共15页杨阳 吴际 苑春春 刘超 杨海燕 邢亮 
安全关键软件已广泛应用于众多领域.鉴于其对防范灾害风险方面的特殊要求,必须符合相关领域的安全性标准.但是目前对于如何建立面向标准的目标符合性论证模型,尚缺乏有效的方法.针对DO-178C标准中关于软件测试过程目标的特征描述,提出...
关键词：安全关键性软件 适航认证 DO-178C GSN 论证模式 
基于COCOMO模型的软件测试成本估算被引量：1
《信息安全与技术》2014年第5期70-72,87,共4页董曦 李磊 张鹏 
本文介绍了软件界影响最为广泛、也最著名的软件开发成本估算模型COCOMO,并且根据软件测试工作成本难以估算的特点,将COCOMO估算模型应用于软件测试成本估算工作中,以提高软件测试成本估算效率和成功率。
关键词：成本估算 COCOMO模型 软件测试 DO-178B 
基于DO-178B的软件测试技术研究被引量：3
《计算机测量与控制》2013年第6期1470-1473,共4页何鑫 刘畅 郑军 
为了满足适航要求,航空机载系统软件测试需要遵循DO-178B的要求;然而,传统的软件测试技术和过程并不能完全适应适航标准的要求;同时,国内缺乏基于DO-178B的软件测试研究和工程实践,适航相关领域研究现状与国外成熟的适航标准规范体系相...
关键词：DO-178B 软件测试 
基于DO-178B的结构覆盖分析研究被引量：6
《航空计算技术》2011年第4期67-69,共3页张军才 王娟 潘卫 
航空科学基金项目资助(20101931004)
结构覆盖分析(SCA)是基于DO-178B的软件验证的重要组成部分。由于DO-178B仅提出目标活动要求,不提供具体的工程技术方法,如何进行结构覆盖分析是困扰国内航电软件开发和验证的一大难题。通过与国外航电设备厂商的多年的软件国际合作,以...
关键词：DO-178B 软件测试 结构覆盖分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部