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

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

基于代码自动生成的计算机辅助系统设计与实现

主要探讨航天型号中的时序控制软件的辅助生成,结合航天型号时序控制软件的研制现状,针对现行软件研制过程中存在的问题,设计实现基于自动生成的计算机辅助系统,代替人工生成模式,切实提高航天工程中软件的研发效率和可靠性。     

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

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

飞行控制软件可靠性设计探讨

控制系统飞行软件 (飞行控制软件 )是关系到弹箭飞行成败的关键部分 ,本文从一些实例出发对如何提高飞行控制软件设计的可靠性做了探讨。     

实时嵌入式软件系统测试需求建模研究

使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度.UML状态图具有形式化特征,适合复杂系统详细行为的描述.本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法.该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等.并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述.基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试用例.作为示例,本文结合该方法对某飞行器控制功能进行建模,模型具有简洁、直观、易用的特点.     

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

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

SFMEA方法在飞行控制软件中的应用

为提高飞行控制软件的安全性,分析了飞行控制软件的安全性薄弱环节,探讨了影响飞行控制软件安全性的隐患。简要阐述了软件失效模式、影响(SFMEA)方法,给出软件失效模式分类的方法以及飞行控制软件常见的失效模式,给出适用于航天飞行控制软件的软件危害性等级,结合某型号飞行控制软件进行了SFMEA方法的尝试性应用,分析了软件失效的局部影响和最终影响,形成了52个SFMEA的分析表格,总结了302个飞行控制软件的失效模式,发现了部分安全性薄弱环节,并提出了相应的改进措施,结果表明,SFMEA方法对提高飞行控制软件的安全性有一定的工程价值。     

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

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

WL_Net在导弹飞行控制软件安全性分析中的应用

提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。     

一种航天器软件进程堆栈使用深度的动态检测方法

航天器软件进程堆栈溢出往往会导致软件"跑飞"的后果。文章分析了现有堆栈使用深度检测的静态测试方法和动态测试方法的优点和不足,针对航天器数管软件的特点,提出了一种适用于航天器数管软件进程堆栈使用深度的动态检测方法。通过访问应用软件与系统软件的接口,获得进程堆栈的起始地址和大小等信息,将堆栈区初始化为特定标识,对软件执行最大路径测试后,扫描堆栈区特定标识被覆盖情况,获得进程堆栈的使用深度。在嫦娥五号上升器数管软件中,实现了此方法,并通过上注在轨维护指令进行了测试。结果表明:在不借助任何专业检测软件的情况下,该方法能够实时检测出软件进程堆栈的最大使用深度,以利于避免进程堆栈溢出的风险,提高软件的可靠性。     

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

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

真空热试验试件数据测量软件的通用化设计

文章对真空热试验试件数据测量的一般要求进行了分析和归纳,提出了数据测量软件的通用化设计方法,对软件的参数配置文件、程序流程和功能模块的设计进行了说明.     

试验状态信息管理软件设计

简述了试验状态管理的特点,介绍了基于VB和Access开发平台的试验状态信息管理软件的软件设计、功能实现和关键技术.软件采用的C/S结构,实现对试验状态信息的综合评价,为数据库在试验数字化中应用进行有意义地探索.     

六自由度激励台精密高刚度铰链结构设计与试验应用

精密高刚度铰链作为六自由度并联激励平台中的关键组件,其性能高低对激励台的控制精度有直接影响。针对铰链所需满足的高刚度、高基频和无间隙等要求,文章提出了基于虎克铰结构的铰链设计方法。首先根据铰链所处的工况确定选用圆锥滚子轴承作为旋转支撑部件,并通过对轴承的配置和预紧实现无间隙振动运动的要求,从而确定了铰链结构形式。然后,利用有限元法校核了结构的刚度与基频,进而完成铰链结构方案和样机制造,并将样机集成于激励台中。最后,开展了铰链动态特性试验和激励台振动控制试验,分别获取了铰链的基频和激励台控制响应。结果表明,铰链可满足激励台工作频段内的使用要求,铰链设计合理。     

多端口射频开关矩阵单元的设计及应用

多端口射频开关矩阵是卫星有效载荷单机产品自动检测系统的主要组成单元,文章主要介绍了多端口射频开关矩阵产品的射频链路构造设计、控制电路设计和控制软件设计,并给出了应用范围。     

有限元分析在结构设计中的应用

应用有限元分析软件MSC PATRAN和MSC NASTRAN ,对激光捷联惯测组合的机箱结构进行静力分析和模态分析 ,定量地得到机箱厚度和加强筋的截面尺寸对机箱变形量和应力分布以及固有频率的影响 ,进一步将这种方法推广到各弹上仪器的结构设计中 ,从而使弹上仪器达到优化强重比的要求。     

单片宽带频谱分析芯片设计

文章介绍了单片宽带实时频谱分析芯片的设计原理和方法,并在FPGA上进行了原型验证。设计中采用了基于多相滤波器组的下变频方案,并对下变频后每一路数据进行重叠加窗处理。为了减小芯片面积,对后端的FFT分析模块进行了优化设计,提出了将两条蝶形运算级合并为一条流水线的新型FFT设计构架。该设计可以不间断地处理数据,从而实现信号的无缝捕获。     

静力试验空间变形分析方法

液体火箭发动机机架在静力试验中,通常在关键位置布置多个位移传感器来测量机架在静力试验过程中的位移值,对所测的位移数据进行分析以确定机架是否满足刚度设计要求。由于位移传感器较多,无法直观、快速查找到可能存在的异常测点,同时由于无法可视化使得分析机架整体变形存在一定的困难,因此提出了一种静力试验结构变形的三维可视化分析方法。该方法利用结构的几何位置及测点位移信息,通过空间坐标重构连续再现结构在加载过程中的三维变形过程,形成三维变形动画,并基于Matlab软件平台开发了空间变形分析软件,可直观分析结构整体变形、快速查找位移测量异常点,同时软件分析结果可保存为文档文件和视频文件。该方法对于直观分析机架的整体变形过程,快速判断测点位移数据是否异常具有重要的工程实用价值。     

弹载遥测系统模块划分综合分析方法研究

针对系统模块化设计过程中存在的模块划分问题,提出对数据流图进行抽象化建模,得到抽象数据流图,并对抽象数据流图进行规范化定义,描述在抽象数据流图基础上进行模块划分的规则.针对具体的弹载遥测系统问题,利用抽象数据流图和模糊聚类两种方法进行模块划分;然后计算模块之间总耦合度,得到相对统一的模块划分方案;最后通过对系统的分析得...