测试发射控制软件确认测试环境的实现

测试发射控制软件确认测试环境以某型号的测试发射控制软件为对象 ,采用基于功能的测试方法和确认测试技术加以实现。本文介绍了被测软件的体系结构和运行环境 ,阐述了被测软件确认测试方案的设计思想及测试环境的具体实现     

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

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

战略导弹测试发射控制系统的发展和导弹模拟器的应用

战略导弹武器系统采用了快速机动使用方式,控制系统实现了全数控方案,地面各种勤务工作的设备做到了智能化.对地面测试发射控制系统的需求发生了变化,测控系统采用了"弹测"和"地测"相结合,以地面计算机控制为主的体制,采用了分布式计算机网络结构方案,自动化测试系统在"三化"方面也有很大进展.测控系统功能扩大了,系统更为复杂,测控软件在配套设备中的份量越来越大,越显重要,测控系统自检尤其是测控软件的测试尤显突出,文中提出采用导弹模拟器解决测控系统自检和测控软件测试问题,还可作为部队模拟训练装置,提出导弹模拟器的组成和设计方法以及使用问题.     

航天测控软件共用原型系统设计与实现

软件共用是航天测控软件的发展趋势。分析航天测控软件共用的可行性,选取火箭遥测软件作为原型验证系统,提出设计方案,并采用ICE中间件和构件技术加以实现。该原型验证系统的设计与实现对航天测控软件共用研究具有重要的借鉴和指导意义。     

某型号产品惯测组合标定数据自动判读软件

简要介绍了VB5．0软件编程的特点，以及应用VB5．0在型号产品惯测组合测试中，对数据自动判读软件的编制方法。     

小卫星测控的模块化自动测试系统构建

针对现有卫星测控的测试系统不能适应不同卫星型号、无法与外部进行信息交换的问题,文章提出了构建小卫星测控的开放式、模块化自动测试系统。通过开放式硬件设计、模块化软件设计和标准接口设计,模块化测控的自动测试系统实现了适应不同卫星型号测试需求和与外部进行数据共享的功能,增强了测试系统的可操作性和可移植性,提高了测试工作效率和质量。此研究对于构建模块化小卫星自动测试系统具有一定的借鉴意义。     

海基S频段航天测控半实物仿真系统设计

陆、海基统一S频段测控网是我国为适应载人航天任务特殊要求而建立的航天测控骨干网,基于遍布三大洋的远洋航天测量船队实现的海基测控大大提高了对飞船的测控覆盖率.本文仿真系统是根据海基航天测控演练、联调的需要而提出的,明确了仿真系统的构建原则、组成和功能.给出了海基测控目标轨迹仿真的方法和模型,对目标动态模拟设备的设计与实现进行了具体描述.该仿真系统已应用于新一代远洋航天测量船,在神舟七号载人飞船测控任务准备中发挥了重要作用.     

我国航天测控技术的发展趋势与策略

航天测控系统对促进航天事业发展负有重要责任。为适应我国航天事业的发展，测控技术总体水平尚需进一步提高，测控网的整体功能还必须得到增强和拓宽。应尽快提高航天器测轨定位精度，测控通信覆盖率和多星运行管理能力;建成完善的天地一体化航天测控体系，并在天地应用数据传输和空间信息综合处理管理方面发挥作用。本文在分析我国航天测控系统的任务和目前技术差异的基础上，结合实际对未来发展趋势与策略归纳了一些认识。     

基于CAN总线节点的标准化测试系统设计

本文拟对导弹测试系统实现标准化,完成了基于CAN总线节点的标准化测试系统设计过程及功能测试。文章详细讨论了标准化测试系统的设计过程,采用可复用设计思想,对测试系统各设备实现基于CAN总线节点的标准化设计。设计首先针对测试系统中的共有成分进行硬件与配置接口设计,之后重点突破非共有成分的标准化设计与配置接口设计。该标准化测试系统通过控制台确定配置界面和选项,上位机编译程序软件实现具体测试功能。测试结果表明该CAN总线标准化测试系统工作稳定,功能完善,满足设计需求。     

一种提高我国空间站中继测控覆盖率的方法

根据中继卫星的定点位置,对我国中继卫星-空间站的几何覆盖率进行了分析,并对提高空间站中继测控覆盖率的途径进行了研究,提出了一种采用不同舱段的2副中继天线融合使用,并通过调整天线安装布局提高中继测控覆盖率的方法。经理论分析和仿真验证,该方法能够有效地提高空间站中继测控覆盖率,可为我国空间站中继天线的安装布局设计提供参考。     

基于StP CASE工具的软件自动测试环境的设计与实现

在软件开发过程中,软件测试费用占总成本的50％左右,为降低测试费用和进一步提高软件测试质量,软件测试自动化是必要的。本文以 StP CASE为例,构造了基于StP的自动测试环境,并通过实例进行了验证。研究表明,这种自动测试环境具有测试效率高、可靠性好、易维护等优点,对今后开展这方面的测试研究具有一定的参考价值。     

基于修正条件判定覆盖的软件测试技术研究和方法应用

对在航天软件测试过程中广泛应用的修正条件判定覆盖测试技术进行了说明,并在此基础上对修正条件判定覆盖的测试用例设计方法进行举例描述,最后给出了使用工具对修正条件判定覆盖测试的应用情况,对相关领域的技术人员有一定的参考意义。     

XP过程对软件缺陷影响分析

XP方法测试驱动和多版本发布的实践,决定了软件产品集成测试也是一个增量迭代的过程。用户使用测试对提高产品的可靠性有重要作用。本文探讨XP测试过程对软件缺陷的影响及其缺陷改正效率的度量。     

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

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

面向对象软件在工具辅助下确认测试的方法与实践

以某一型号综合测试管理软件的确认测试为例 ,阐述了在TESTBED软件测试工具辅助下 ,对面向对象的软件进行确认测试的实践活动     

基于LDRA TESTBED的汇编语言软件测试方法研究

在航天型号软件的开发过程中 ,充分的测试是软件质量和可靠性的必要保证。本文以软件代码分析工具─LDBATESTBED为背景 ,详细阐述了汇编程序的单元测试方法 ,并研究了测试结果的分析方法及在软件质量度量方面的应用     

软件评审:类型及其实施要求

软件评审可以用于支持项目管理、系统工程、验证和确认、配置管理和质量保证的目标.本文定义了软件评审的5种类型(即管理评审、技术评审、审查、走查和审核),详细比较了它们之间的差异,分别阐述了每一种评审的目的、对象和实施步骤.在软件开发生存周期中,软件评审可以尽早发现并改正软件中的缺陷,减少因软件存在缺陷而造成的返工,提高软件的开发效率和软件产品的质量.     

End-to-end validation process for the INTA-Nanosat-1B Attitude Control System

This paper describes the end-to-end validation process for the Attitude Control Subsystem (ACS) of the satellite INTA-NanoSat-1B (NS-1B). This satellite was launched on July 2009 and it has been fully operative since then. The development of its ACS modules required an exhaustive integration and a system-level validation program. Some of the tests were centred on the validation of the drivers of sensors and actuators and were carried out over the flying model of the satellite. Others, more complex, constituted end-to-end tests where the concurrency of modules, the real-time control requirements and even the well-formedness of the telemetry data were verified. This work presents an incremental and highly automatised way for performing the ACS validation program based on two development suites and an end-to-end validation environment. The validation environment combines a Flat Satellite (FlatSat) configuration and a real-time emulator working in closed-loop. The FlatSat is built using the NS-1B Qualification Model (QM) hardware and it can run a complete version of the on-board software with the ACS modules fully integrated. The real-time emulator, running on an industrial PC, samples the actuation signals and emulates the sensors signals to close the control loop with the FlatSat. This validation environment constitutes a low-cost alternative to the classical three axes tilt table, with the advantage of being easily configured for working under specific orbit conditions, in accordance with any of the selected tests. The approach has been successfully applied to the NS-1B in order to verify different ACS modes under multiple orbit scenarios, providing an exhaustive coverage and reducing the risk of eventual errors during the satellite's lifetime. The strategy was applied also during the validation of the maintenance and reconfiguration procedures required once the satellite was launched. This paper describes in detail the complete ACS validation process that was performed and it shows the most relevant errors detected and fixed during testing. Finally it summarises some of the most significant conclusions.