航天器测试需求描述及其自动生成

航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.      

航天器控制系统高可信度地面测试技术

随着航天器复杂程度和指标要求的不断提高,高可信系统级地面测试越来越凸显其重要性.以工程应用为出发点,对航天器控制系统高可信地面测试涉及的相关理论和技术进行探讨.提出了测试可信度的定义,并以航天控制工程为背景分析了测试可信度的影响因素.在此基础上,系统介绍了柔性化原型测试、航天器控制系统指标专项测试、高可信动力学建模、高可信信号源技术等方面的初步研究成果.     

空间交会对接GNC软件的自动化测试

介绍一种面向航天器空间交会对接GNC软件的自动化测试方法,通过对测试用例和测试脚本的管理、测试过程的自动执行、测试数据的判读和测试缺陷管理,实现对航天器空间交会对接软件的自动化测试.实践表明所述的自动化测试方法在GNC软件的测试中发挥了重要作用.     

航天器数据管理系统通用测试平台的设计

为加快航天器数据管理系统测试进度,设计和构建了航天器数据管理通用测试平台.该平台通过对被测对象的研究,实现测试方法、系统构架的标准化.在实际开发过程中充分考虑了系统软硬件的通用性,并引入了可移植性良好、基于LUA测试脚本的程序开发环境.经过简单补充与修改,该通用测试平台成为能快速构建满足多型号航天器数据管理系统测试需要的可重构测试平台.通过多个型号任务的检验表明:航天器数据管理通用测试平台可大大缩短测试周期,降低开发成本,运行稳定可靠,达到预期目的.     

航天器电源母线品质地面测试方法浅析

航天器供配电系统作为航天器上用于产生、存储、控制、传输与分配电能的子系统,其地面测试与评价工作是航天器地面电测工作的重要组成部分。航天器电源系统作为典型的直流分布式电源系统,其母线品质与系统稳定性密切相关。通过对航天器电源母线品质地面测试与评价方法进行分析,给出了测试系统的简要设计,并对技术发展趋势进行了预测。     

航天器供配电测试系统通用化设计

供配电测试系统的主要用途是在航天器测试全过程中,为航天器提供电源、向航天器发送有线指令、接收和测量航天器下行有线遥测信号。以往主流的供配电测试系统均为定制型,其研发成本较高、研制周期较长、可靠性较低。以主机-总线-板卡形式的通用供配电测试系统,实现了设备的定型和批量化生产,解决了不同型号需求定义不统一的问题,同时降低了研发成本、缩短了研制周期、提高了产品的可靠性。目前,该系统已成功应用在多个航天器的测试工作中,随着型谱的不断丰富和航天器型号的深入应用,将有着更广阔的应用前景。     

基于开放式结构的航天器控制系统测试技术研究

介绍了国外先进的基于开放式结构的测试技术,总结分析了中国航天器控制系统测试技术的现状和存在的问题.提出了一个基于开放式结构的航天器控制系统的测试系统实施方案,阐述了该系统所采用的各项关键技术,并提出了后续工作的设想.     

基于内部1553B总线的航天器控制系统可测试性框架设计与验证

可测试性设计是提升系统研制效率和测试品质的重要方法.给出基于内部1553B总线的航天器控制系统可测试性设计的分层递阶结构,建立可测试性设计的模型框架,并对基于1553B总线的航天器控制系统可测试性设计的技术实现进行了分析.最后利用TEAMS软件结合实例进行可测试性设计仿真评估,评估结果证明了这种可测试性设计方法的有效性.     

基于拜占庭容错体系构架的航天器控制系统测试性设计与分析

摘要： 飞行控制系统作为航天飞行器的关键机载系统,其运行情况直接关系到飞行任务的成败.通过良好的测试性设计,可以提高系统的可靠性和安全性,减少维修人力及其他保障资源,降低寿命周期费用.对拜占庭容错体系结构的航天器控制系统和分层多信号流图模型的测试性设计和建模方法进行了详细的叙述,并对基于拜占庭容错体系结构的航天器控制系统进行了测试性建模,通过测试性建模和分析系统（TMAS软件）验证控制系统测试性设计的正确性和有效性.     

再入航天器滚速变化引起的落点误差分析

用转子动力学理论研究了再入航天器滚速变化引起的落点误差。通过分析一般攻角方程,给出了再入航天器的进动规律和配平攻角,据此,求出了不旋转航天器的落点误差;将轨迹分段后,推出了常值滚转速率航天器的平均落点误差;在滚速过零一周范围内,通过确定过零高度,分析了过零误差机理,并对该误差进行了计算;最后,分析了低空联锁共振现象,给出了发生联锁共振的条件和误差计算公式,并得出了几个重要结论。     

嫦娥五号探测器热平衡试验方案设计与实现

针对嫦娥五号探测器热平衡试验中面临的难题,在分析以往国内外航天器热平衡试验技术现状基础上,依据验证充分、有效与全面的原则,构建出一套探测器热平衡试验方案,提出一种基于“专用红外吸收式空间外热流模拟方式”的热平衡试验方法,设计了典型试验工况,同时优化了试验技术流程。地面热平衡试验结果结合在轨飞行数据表明：热平衡试验方案能够有效验证热控设计的正确性,专用红外吸收式外热流模拟装置偏差造成的温度影响不超过2℃,热平衡试验工况设置合理,技术流程优化,热分析模型相关性工作可使热分析模型更加准确可信。     

基于XML的自动测试系统资源描述方法

针对当前自动测试系统(ATS,Automatic Test System)信息共享和互操作能力差的问题,应用XML(eX lensibleMarkup Language)语言实现了ATS的模型化描述,模型化的信息包括测试设备、接口连接装置ICA(Interface ConnectorAssembly)、测试适配器和被测设备UUT(UnitUnder Test).对测试设备的性能和UUT测试需求采用统一的信号与测试定义标准STD(signal and test definition)进行描述,实现了测试设备性能与UUT测试需求的自动匹配.通过引入逻辑资源的概念对测试设备性能与仪器通道之间的动态映射关系进行描述,以实现测试过程中仪器资源的合理分配.采用XML作为ATS的建模语言,提高了ATS资源建模的开发效率和系统内信息的互操作程度.     

航天器环境试验和航天产品的质量与可靠性保证

介绍了航天器验证和试验标准近年来的发展现状 ,指出了这些标准在各国航天器验证中所起到的作用 ,同时讨论了在航天器研制中环境试验和可靠性试验的关系。由于航天器的特点 ,在整个验证工作中 ,环境试验和可靠性试验应该是统一的。通过全面的验证工作 ,特别是大量的环境试验 ,航天器的环境适应性和可靠性得到了保证。总的看法是 ,这些标准 ,只要应用得当 ,将能保证航天器的性能要求和在轨可靠性。     

基于缩放实验的Whipple结构撞击特性

针对航天器空间碎片防护问题,基于缩放实验方法,开展了7 km/s以上超高速碰撞仿真研究.建立了单板和Whipple防护结构的仿真模型,并对铝-铝撞击问题和镉-镉撞击问题进行了多工况仿真.通过实验结果与数值仿真的对比,表明了数值仿真技术的正确性,并从仿真角度验证了缩放实验方法的有效性.对缩放实验方法的适用性进行了仿真验证,结果表明该方法对弹丸形状适用性较好,对3～4 km/s以上撞击速度的适用性较好,但对Whipple防护结构后板存在一定误差.分析了Whipple结构后板的失效模式,提出了失效模式的不连续性导致了缩放实验方法的误差.最后通过数值仿真计算了Whipple结构7 km/s以上弹道极限特性,提出了失效模式的不连续性造成了在该速度段弹道极限曲线的分叉现象.     

自动测试技术的发展探讨

介绍了自动测试技术的发展过程.为适应高科技、高效率、高效益市场经济环境的需求,着重从虚拟仪器新概念、测试技术的革新、测试设计和测试方法的策略及被测对象的可测性等方面较详尽阐述了第三代自动测试系统的新思路、新特点和新方向.     

实时嵌入式软件测试执行引擎的设计与实现

自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性.     

基于OWL-S的测试用例生成

提出了一种基于OWL-S(OWL Web Ontology Language for Services)需求模型的测试用例自动生成方法,针对被测系统需求特性产生测试用例,以提高Web服务系统交互测试的自动化程度和效率.测试用例的生成通过3个步骤完成:①对需求特性进行分析,获取与需求特性相关的具体事件集的集合;②对OWL-S描述的应用流程进行搜索,寻找所有与需求特性相关的测试路径;③对测试路径上相关原子过程的IOPE(Inputs,Outputs,Preconditions and Effects)属性及路径条件进行分析,产生相应的测试用例.以金融行业ATM(Automated Teller Machine)示例系统为例对本方法进行了验证,结果表明本方法按要求产生了与需求特性相关的测试用例,覆盖了所有给定的需求特性公式,并有效的检测出被测系统中存在的错误.      

数字电压表自动测试系统

介绍了用ＨＰ－ＶＥＥ软件及现有设备实现数字电压表的自动化测试,提高了测量速度,减少了由于人员因素造成的误差。