航天软件相关论文
对影响型号实时嵌入式软件测试质量的各种实际因素和保证软件测试质量的七个关键环节的质量控制要点进行了分析,同时给出了提高软件......
讨论了保证航天软件质量的困难之处,简要归纳了航天科技集团公司的软件质量工作的实践,对今后加强软件质量保证工作提出了几点建议。......
本文基于GJB 5236-2004《军用软件质量度量》所规定的质量模型,并利用人工智能中的主观Bayes不确定性推理网络,提出了一种新的基于......
为了更好的进行航天软件的测试工作,解决硬件测试环境的局限性,提高测试技术水平,实现测试工作自动化,采用了全数字仿真技术搭建软......
本文简要介绍了半实物仿真软件测试系统的原理,以及半实物仿真测试系统的技术特点,对半实物仿真测试系统在航天软件测试技术中的应......
航天软件是在航天产品中发挥重要作用的组成部分。由于工作环境的特殊性,它的质量非常重要。而软件测试是软件质量保证的重要环节。......
随着航天科学技术的飞速发展,航天软件的规模更大,更复杂,安全问题也日益突出。而数值型运行时错误(Run-time Errors)在实际应用中是......
随着信息技术的发展,嵌入式软件软件在各类航天系统中得到了广泛的应用,这些软件大都承担着系统重要的功能或处在关键的系统控制或......
学位
确保核与辐射安全,关系到国家的发展与稳定,也是保障和改善民生的必然要求。加强核与辐射监管能力建设,一直是保障民众安全的重要课题......
单片机因其很强的控制能力和灵活性,在航天技术上的应用日益广泛。作者以多年软件开发实践中的经验,从工程应用出发,对航天单片机软件......
8月28日,中国航天科技集团公司在北京宣布成立航天软件研发中心。集团公司副总经理马兴瑞亲自启动了研发中心的揭牌仪式。马兴瑞在......
为了充分利用第三方评测数据开展航天软件可靠性度量,研究人工走查数据在软件可靠性度量中的应用.分析度量实体的确定、人工走查数......
软件可靠性要求的实现应是从系统分析和需求阶段就开始进行考虑,通过软件的需求、设计、编码、测试、维护以及相应的组织和管理来保......
<正> 1.引言 目前航天软件测试经常遇到的一个问题是:测试时间短,但被测软件的可靠性和安全性要求高。这就要求测试人员提高测试效......
航天软件评测中心(以下简称评测中心)分别建立了“软件测试实例库”和“软件评测信息数据库”。本文简人介绍了这两个库的管理经验,对......
CATIA是英文Computer Aidedp TriDimensional Interface Application的缩写.是世界著名的航空航天企业--达索公司最早开发并使用的......
欧空局(ESA)原本为测试飞船机载计算机对宇宙辐射的反应而开发的航天软件——Xception,现已被应用于提高汽车的安全性,通过对内部计......
2013年1月26日,我国自主研制的大型运输机在陕西阎良成功首飞,标志着我国成为了继美国、俄罗斯、欧盟之后,少数几个有能力生产大型飞......
如今人们对信息的需求越来越广泛,知识也逐渐成为企业竞争的资本.企业虽有丰富的知识储备,但大部分分散在个人电脑和头脑里,缺乏有......
航天软件一般是航天系统中的一个要害软件.要开发一个合格的航天软件,必须严格遵循软件的配置管理.首先论述了航天软件的基本要求,......
从软件可靠性出发,结合航天软件研制和使用特点,对航天软件的故障模式、机理和提高可靠性措施进行了分析。......
本文介绍了实时多任务操作系统pSOS,在对该微内核利用与二次开发的基础上,实现高可靠的卫星实时多任务软件体系。......
为了更好地保障航天软件的测试质量,本文以最新的软件测试理论为基础,结合自身的航天软件测试实践,总结了航天软件的特点及测试的......
在航天领域,控制技术本身从来不缺乏前进的动力.从有线无线导航,到自主任务装置,再到智能化系统,乃至可演化的任务进化系统,航天控......
2011年4月28日,中国航天科技集团公司第五研究院宇航物资保障事业部与北京神舟航天软件技术有限公司联合举办了单机版航天五院物资......
8月28日,中国航天科技集团公司在北京宣布成立航天软件研发中心。集团公司副总经理马兴瑞亲自启动了研发中心的揭牌仪式。......
针对航天软件高可靠性的特点,构建一种输入与输出模型测试方案,提出基于覆盖测试算法的测试方法,测试覆盖算法主要包含三种功能测......
基于对多种软件可靠性模型的分析,并结合工程软件之特点,提出一种工程软件适用的可靠性定量评估方法,并将其应用于某航天工程软件......
航空制造业由于其所处的特殊地位,被认为是技术含金量高、设备配备最高档、保密程度最高的行业,这使其蒙上许多神秘的面纱。2011年......
为了充分利用第三方评测数据开展航天软件可靠性度量,研究人工走查数据在软件可靠性度量中的应用。分析度量实体的确定、人工走查数......
针对航天软件高可靠性的特点,以发现程序中的错误为重要目的;为了使得整个软件得到多次多层的测试,发现存在于单元间接口的诸多问......
研究了一种面向需求覆盖率的测试用例优化方法,用于提高测试效率,增加航天软件测试的有效性。该测试用例优化方法包括测试用例约简......
本文中笔者结合自身是实践工作经验,对航天软件测试用例设计方法及具体应用的基本思路和基本步骤做出介绍,希望能够进一步的推动航......
为了提高航天软件测试的效率和覆盖率,增加航天软件测试的有效性,提出了一种基于需求模型的软件测试用例设计方法。针对航天软件测......
针对航天软件研制能力和产品质量持续有效保证的管理需求,采用面向航天软件研制与管理应用的持续集成技术及CMMI4管理方法,构建了......