航天软件测试用例设计方法应用

介绍了航天软件测试中常用的测试用例设计方法,描述了航天软件常采用的可靠性措施(如“三取二”冗余设计、时序冗余控制等),提出了采用等价类划分和因果图进行用例设计的方法,给出了其工程应用实例,并总结了软件测试需求分析、用例设计的基本思路和步骤。     

黑盒测试法在航天器海上测控软件测试中的应用

简要介绍软件黑盒测试的四种方法,并以航天器海上测控软件测试为例,详细介绍等价类划分法、边界值分析法和决策表法在测试用例设计中的具体应用,既使测试更加充分,又提高了测试效率。     

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

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

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

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

基于国产操作系统的软件测试方法研究

国内软件研发平台的国产化趋势,使提高国产操作系统平台下软件的质量已经成为软件测试领域所面临问题的重中之重。通过对中标麒麟操作系统(Kylin)和锐华嵌入式实时操作系统(ReWorks)的发展现状与使用特点的介绍,结合雷达实际人机软件及数据处理软件的开发环境,对基于国产操作系统的软件测试方法进行研究,分析测试结果,总结软件测试方法设计、应用及实践的过程。     

如何设计一个易测试的软件

软件测试性设计是减少软件测试复杂性的重要手段，文中给出了软件测试性设计的分析与计算方法，并据此给出了软件测试性设计的基本原则。     

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

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

实时软件可靠性与软件测试方法

从工程应用角度讨论计算机实时软件的可靠性问题。阐述武器系统实时软件的特点和实时软件可靠性设计技术。介绍软件测试方法。     

飞行软件通用仿真测试平台中1553B接口测试方法的研究

航天飞行软件是航天飞行器控制系统中最重要的部分之一,1553B总线在航天飞行器中的应用越来越广泛,因此模拟一个1553B总线环境成为仿真测试中不可或缺的一部分,然而由于不同型号飞行软件的独立性,各个型号都需要设计专用的仿真测试平台,造成软硬件的浪费.本文在提出一种通用的仿真测试平台的基础上,对平台中1553B总线测试功能模块进行研究,分别在驱动层、逻辑层和用户层上对总线的需求和结构进行了详细设计,使其能够通用于任何一种支持1553B总线的飞行软件,大大节约了软件测试成本,有效缩短了测试周期.     

编队队形的等交点周期设计方法

在分析编队构形一般设计方法设计效果的基础上，提出一种等交点周期法，对一般方法进行了改进。该法编队中卫星以一个相等的角速率运行在轨道上，能实现长期的编队飞行，并给出了编队设计算例及J2摄动下的队形演变，仿真表明，用等交点周期法设计的构形，能部分地消除J2摄动的影响。     

基于正交试验法的故障诊断软件测试方法

针对故障诊断软件代码量大、推理规则多及测试耗时大的问题,提出了基于正交试验法提取有代表性推理规则的测试方法。分析了故障诊断软件的需求特性,介绍了正交试验法的理论依据,阐述了使用正交试验法在故障诊断软件测试中提取代表性推理规则的方法,并说明了根据提取出来的推理规则进行测试用例设计的思路和具体实施效果。     

椭圆轨道卫星编队飞行的构型设计

研究了椭圆轨道卫星编队飞行的构型设计问题。首先给出常用的两类相对运动方程,即基于相对轨道状态的相对运动方程和基于轨道根数的相对运动方程,并推导出两类相对运动方程之间的对应关系。然后,针对卫星编队飞行的构型设计问题,结合两类相对运动方程的优点,提出一种简化的编队飞行构型设计方法,避免了复杂的计算。最后通过数学仿真进行了验证。     

星载软件可靠性设计方法

分析了星载软件及其可靠性的特点，针对空间环境对星载软件的影响，提出了软件工程化、模块化和容错设计、遥测遥控处理，以及异常检查等提高软件可靠性的设计措施，并说明了软件测试对提高可靠性的重要性。     

无人机模拟训练系统中的实时飞行仿真

为了降低无人机的试飞成本,提高操纵手的技能,设计了一种模拟训练系统。介绍了该模拟训练系统的特点和构成,着重对系统中实时飞行仿真的各模块设计方法进行了研究。在DOS操作系统中用C语言实现飞行仿真软件,并讨论了软件实现中的模态切换等关键问题。通过飞行剖面仿真实验,证明该仿真系统可靠性高、实时性好。     

远程弹道导弹射程评定技术研究

针对远程弹道导弹射程评定飞行子样少、涉及专业领域多和工程实施难度大的问题,从分析飞行试验子样特征入手,提出了基于子样生成的评定流程和子样的生成方法,详细阐述了样本一致性检验、假设检验和射程估计方法,据此设计了射程评定软件,分析了所设计软件的基本架构和软件模块间的信息关系。算例表明,所提出的评定流程合理,子样生成方法可行,评定方法可信,易于工程实施。     

基于故障注入技术的航天器系统级软件测试方法研究

针对航天器系统级软件故障模式测试特点及难点,对故障注入技术在航天器系统级软件测试的工程应用进行经验总结。详细说明了系统级软件故障模式测试的基本原理,从应用对象的角度出发将故障注入技术进行合理分类,提出了3种适用于航天器系统级故障注入技术。根据现有工程实践经验,结合系统级故障模式测试设计理论,对系统级故障注入技术从实现原理、地面系统连接方式、故障注入与系统响应时序关系等方面进行了研究,并在此基础上提出了航天器系统级星载软件故障模式测试验证的具体应用方法、适用场景及优缺点,可为航天器系统级电测中的软件测试设计提供参考。     

固体火箭冲压发动机一体化CAD系统设计

针对固体火箭冲压发动机的特点，研制了固体火箭冲压发动机CAD软件，该软件系统包括了燃气发生器设计、助推补燃室设计、进气道设计、发动机性能计算和飞行弹道的计算。使用该系统可进行固体火箭冲压发动机总体方案论证，预估发动机的主要结构尺寸和发动机的整体性能。本文以一假想的空－空弹用固冲发动机方案设计为例，介绍固冲发动机设计步骤和软件系统的特点。     

神舟飞船返回舱气动设计综述

介绍了神舟飞船气动设计的使用情况和进行气动设计的前提条件，从系统工程的角度论述了载人飞船气动设计的目标、方法和工作模式、设计阶段划分、主要设计内容和关键技术，最后对神舟飞船返回舱的气动特性和飞行试验结果进行简单介绍。     

软件工程方法在飞行仿真系统开发中的应用

针对飞行仿真系统开发中存在的问题，通过对飞行系统模型及仿真系统的具体分析，引入软件工程方法，结合仿真软件系统的特点，在仿真系统开发模式，仿真软件设计方法，软件的质量管理方法三方面进行了研究，在面向对象模型的基础上，发展了一套完整的仿真系统开发模式，提出了仿真系统的对象建模方法，仿真系统的软件编码原则和质量管理方法。     

海军战术导弹作战软件仿真测试平台设计

根据新一代武器系统和计算机技术的发展，结合靶场试验地特点，提出了建立海上靶场独立的软件测试评估系统，测试和评估我海军新一代武器系统的作战软件的构想，它的实现将为武器系统的鉴定提供重要依据。