测控软件测试用例库管理系统的研发

遥测遥控系统在航天领域中的作用举足轻重,测控系统软件测试的特点通常是项目多、周期短、要求高。为有效管理和快速复用历史测控软件项目的测试用例,提高软件测试工作的效率和质量,本文构建了测控软件测试用例数据库,并设计实现了软件测试用例库管理系统,已将其应用于多个测控系统工程项目,取得了良好的效果。     

航天远洋测控软件质量模糊综合评估模型研究

研究层次分析法和模糊评判法在航天远洋测控软件测试质量评估中的应用问题。根据建立的航天远洋测控软件测试质量综合评估指标体系,采用基于AHP-Fuzzy方法建立的模糊综合评判模型,对型号任务软件测试质量进行分析评估。应用结果表明,该方法可以较为全面地评估航天远洋测控软件测试质量,而且结果合理。     

航天器电测中软件测试用例设计与实践

提出了在航天器电测中,以电测大纲和软件用户需求为依据,使用软件测试设计理论创建测试用例库,在此基础上完成了软件测试及实现方法。文章简介了应用背景,以某卫星为例,介绍了该方法应用到某卫星数管及热控软件测试的情况,并采用测试技术进行测试用例设计,最终生成航天器电测中软件测试用例库。此方法可以作为航天器AIT阶段软件测试设计的参考。     

冗余航天火工装置可靠性评估方法及应用

火工装置在航天领域有着广泛的应用,是航天关键产品,本身具有价格昂贵、高可靠性（多数要求达到0.9999以上）等特点。火工装置工作的成败,关系着人员的安危和任务的完成。产品在使用前,必须要通过试验来评估可靠性。因此对火工装置可靠性评估方法的研究有着重要的实际工程意义。针对冗余设计航天用火工装置,结合应力-强度等可靠性相关理论,采用强化试验思想提出了冗余设计航天火工装置的可靠性试验评估原理和可靠性试验验证方案。根据提出的原理及验证方案,首次通过试验评估并验证了冗余设计火工装置--某拔销器的功能可靠性,同时两种加严方式的试验也实现了相互验证,从而证明了提出的可靠性评估原理和试验验证方案的正确性及有效性,解决了小子样评估冗余类航天火工装置高可靠性的工程难题。     

多层多腔体高压气囊设计

高压气囊在航天领域有很广泛的应用。文中介绍了一种设计高压气囊的方法，用多层面弥补材料本身的不足，以多腔体实现冗余设计。     

全数字仿真技术在航天型号软件测试中的应用

为了更好的进行航天软件的测试工作,解决硬件测试环境的局限性,提高测试技术水平,实现测试工作自动化,采用了全数字仿真技术搭建软件仿真测试环境的方法。本文描述了目前航天软件进行确认测试过程中使用的测试环境,介绍了硬件测试环境和用全数字仿真技术搭建的软件仿真测试环境在航天型号软件测试中的应用情况,重点通过对软、硬件测试环境的实际使用,对2种测试环境进行了分析,指出了软件仿真测试环境相对于硬件测试环境的优势。     

多层多腔体高压气囊设计

高压气囊在航天领域有很广泛的应用。文中介绍了一种设计高压气囊的方法,用多层面弥补材料本身的不足,以多腔体实现冗余设计。文中对如何进行多腔体的设计、如何实现多层优化,作了详细的论述。     

LDRA TESTBED在航天软件测试中的应用

提出采用LDRA(Liverpool Data Research Associates Ltd.)TESTBED测试工具辅助完成高可靠性的军用软件测试工作,并通过测试实例阐述了该工具在航天软件测试中的应用方案。结果证明,合理使用该工具,能够有效避免人为失误,提高软件测试的效率和信息采集的准确度。     

航天测控软件测试过程新模型的应用研究

对几种传统的软件测试过程模型进行分析和比较,结合航天测控软件的特点,提出蝴蝶模型的软件测试新模型,对基于蝴蝶模型的航天测控软件测试过程进行探索和研究,旨在提高软件开发的质量和软件测试的效率.     

飞行软件测试用例设计方法及应用

飞行软件测试用例设计首先按等价类划分法的原理划分等价类，并结合边值分析和因果图等方法设计测试用例，能较好地达到软件功能覆盖准则要求，文中结合飞行软件的特点拓宽了等价类的内涵，使等价类划分法成为飞行软件测试用例设计的普遍适用的方法，从而为习行软件确认测试的充分必提供技术和方法的保证。     

航天型号软件工程化十年回顾与展望

从上世纪90年代初开展软件工程化工作以来,至今已有十多年的时间。本文介绍了航天系统对型号软件质量问题的认识过程,概述了国外在解决软件危机方面的经验,阐述了保障航天型号软件质量的技术措施,并对未来将采取的措施进行了初步的展望。     

软件项目估算与测量的工程实践

在开发过程中软件估算和测量非常重要,如果没有合理而准确的估算和实测数据,就不能对软件项目进行有效的管理和控制。本文阐述了在航天软件过程改进实施过程中工作产品规模、工作量和进度的估算和测量方法,分析了3个航天软件项目的测量结果,总结了项目的管理情况。并且证明基本的CO-COMO模型比较适合航天软件项目。     

TlcsVTE原型中功能覆盖率算法的实现

TlcsVTE原型是针对某型号上位测控软件研制的测试环境,旨在对该型号的上位测控软件进行确认测试。本文重点阐述TlcsVTE中功能覆盖率算法的实现思路。该算法是基于被测软件运行环境的体系结构以及被测软件的功能分解进行设计的。该原型中采用了本文所述的算法辅助测试人员对被测软件进行功能测试以及覆盖率的实时统计。应用该原型测试被测软件,功能覆盖率可达100%。     

适用于航天软件开发的可靠性度量

介绍了软件可靠性和软件度量的概念 ,阐述了航天控制软件的特点 ,提出了可靠性度量的选择准则 ,推荐了 14种适用于航天控制软件的可靠性度量     

软件可靠性度量在航天控制软件中的应用

在软件开发中如何使用软件可靠性度量是航天软件开发过程中亟待解决的问题,为了解决这个问题,本文对11个软件可靠性度量在航天某型号控制软件中进行了应用,度量的结果验证了推荐出的软件可靠性度量具有可操作性和实用性。     

飞行控制软件测试用例辅助设计系统原型的设计与实现

BranchTCase原型是针对飞行控制软件中分支结构的测试用例辅助生成系统,它可以分析统计被测软件中的分支结构,生成覆盖所有可达分支的执行路径集合,从而辅助测试人员基于分支覆盖设计测试用例。BranchTCase采用纯静态技术,不依赖动态插装,通过扫描被测软件的源代码,得到软件的基本静态信息,并构造程序的执行流程图,最后遍历得到执行路径集合。本文阐述了BranchTCase原型的设计思路,讨论了其中的静态扫描分析、结构分析、分支结构遍历等主要算法。最后以某型号飞行控制软件为分析实例,得到了覆盖其所有分支结构的执行路径集合。     

软件潜在分析技术及其应用

软件潜在分析技术的概念及方法在文中作了讨论．对此技术在航天软件中开展和应用前景及具体实施方法作了分析和介绍。     

卫星控制仿真数据库管理系统软件的自动化测试

介绍了“卫星控制仿真数据库管理系统”软件的自动化测试工作。重点分析了测试脚本生成方法,指出基于记录-回放的测试脚本生成技术的缺陷在于测试脚本与数据及实现细节的耦合。最后,应用基于数据驱动的脚本设计技术和模块化脚本设计思想实现了一个自动化测试脚本框架,解决了测试脚本与数据及实现细节的耦合问题,从而提高了脚本设计质量,降低了脚本维护成本。