航天软件相关论文
随着信息技术的发展,嵌入式软件软件在各类航天系统中得到了广泛的应用,这些软件大都承担着系统重要的功能或处在关键的系统控制或......
学位
8月28日,中国航天科技集团公司在北京宣布成立航天软件研发中心。集团公司副总经理马兴瑞亲自启动了研发中心的揭牌仪式。马兴瑞在......
为了充分利用第三方评测数据开展航天软件可靠性度量,研究人工走查数据在软件可靠性度量中的应用.分析度量实体的确定、人工走查数......
CATIA是英文Computer Aidedp TriDimensional Interface Application的缩写.是世界著名的航空航天企业--达索公司最早开发并使用的......
如今人们对信息的需求越来越广泛,知识也逐渐成为企业竞争的资本.企业虽有丰富的知识储备,但大部分分散在个人电脑和头脑里,缺乏有......
航天软件一般是航天系统中的一个要害软件.要开发一个合格的航天软件,必须严格遵循软件的配置管理.首先论述了航天软件的基本要求,......
从软件可靠性出发,结合航天软件研制和使用特点,对航天软件的故障模式、机理和提高可靠性措施进行了分析。......
本文介绍了实时多任务操作系统pSOS,在对该微内核利用与二次开发的基础上,实现高可靠的卫星实时多任务软件体系。......
针对航天软件高可靠性的特点,构建一种输入与输出模型测试方案,提出基于覆盖测试算法的测试方法,测试覆盖算法主要包含三种功能测......
基于对多种软件可靠性模型的分析,并结合工程软件之特点,提出一种工程软件适用的可靠性定量评估方法,并将其应用于某航天工程软件......
针对航天软件高可靠性的特点,以发现程序中的错误为重要目的;为了使得整个软件得到多次多层的测试,发现存在于单元间接口的诸多问......
研究了一种面向需求覆盖率的测试用例优化方法,用于提高测试效率,增加航天软件测试的有效性。该测试用例优化方法包括测试用例约简......
本文中笔者结合自身是实践工作经验,对航天软件测试用例设计方法及具体应用的基本思路和基本步骤做出介绍,希望能够进一步的推动航......
为了提高航天软件测试的效率和覆盖率,增加航天软件测试的有效性,提出了一种基于需求模型的软件测试用例设计方法。针对航天软件测......
针对航天软件研制能力和产品质量持续有效保证的管理需求,采用面向航天软件研制与管理应用的持续集成技术及CMMI4管理方法,构建了......