文献“Software Testing in Space Programs”[1]点评

作者以他个人的观点,对该文献中重要部分进行了点评,指出:空间软件地面可靠性测试尽管困难重重且有诸多限制,但不能放松甚至放弃执行现有的软件地面测试标准;应从"精神号"火星探测器飞行失败中吸取教训,加强软件地面测试,包括传统软件黑盒和白盒测试方法中的典型测试项目(如:健壮测试、应力测试、极值测试、随机测试等);已经公布的新软件研发标准——Aerospace Report No.TOR-2004(3909)-3537,Software Development Standard for Space Systems值得我们参考。     

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

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

国防军工计量科研项目管理等系统获计算机软件著作权

由二中心自主开发的国防军工计量科研项目管理系统、实验室管理信息系统、计量管理信息系统、科研生产管理系统四款计算机软件获国家版权局颁发的计算机软件著作权登记证书。     

脉冲多卜勒引信实时校准技术初步研究

脉冲多卜勒引信实时校准技术主要对引信回波模拟源的无线电引信技术指标进行准确评定,以达到校准的目的。目前对该类专用测试设备的校准仍停留在分项校准的状态,无法全面地对整个专用测试设备进行评定,本文利用"宽带数字接收+软件无线电"技术和解调算法,实现对引信回波模拟源的系统级校准的目的。     

航空发动机控制软件质量量化控制的应用

为实现安全关键软件的零缺陷泄漏的目标,依据航空发动机控制软件的特点,采用能力成熟度模型集成(CMMI)4级量化管理的方法,设立量化控制模型,定义过程性能指标。在项目中利用蒙特卡洛模拟来预测和控制质量目标实现情况的应用,进行航空发动机控制软件的质量量化控制,能够在项目研制过程中,基于过程质量的符合性,预测缺陷泄漏的概率并实施有效控制,为研制高质量的控制软件提供了可靠保障。     

某伺服实时控制软件SFMEA/SFTA

对某助推伺服控制软件开展失效模式影响分析(SystemFailureModeandEffectsAnalysis,SFMEA) 和故障树分析(SoftwareFailureTreeAnalysis,SFTA)。SFMEA 是一种自下而上的分析方法,用以辨识出一系列可能的软件潜在故障模式,并评估其对系统工作的危害性。SFTA 是一种自上而下的分析方法,其目标是识别出基本事件(底事件),而基本事件可导致系统产生其所不希望发生的顶事件。应用SFMEA和SFTA的主要目的是提高软件和系统的安全性及可靠性。     

NNW-TopViz流场可视分析系统

流场可视化技术采用图形图像直观地表现CFD数值模拟的计算结果,使用户能够方便地对这些数据进行分析、比较和研究。然而,CFD数值模拟的流动复杂,其产生的流场数据规模巨大、数据类型复杂、特征提取困难,传统的串行可视化软件效率低、交互手段单一,难以满足数据分析的需求。国家数值风洞（NNW）工程研制了一套流场数据处理可视化软件系统（NNW-TopViz,简称TopViz）,具有对流场数据处理与特征提取、几何图形绘制等可视化与交互功能。根据可视分析效率需求,TopViz实现了线程并行,在多核计算环境下有效提高了可视化计算和交互效率;针对流场特征提取困难、常规方法效率低的问题,TopViz实现了基于卷积神经网络的流场旋涡特征提取方法,提升了特征提取准确率和效率;为提高软件交互效率并提供便捷的交互方式和体验,基于头戴式显示设备和体感控制器构建沉浸式虚拟显示与交互平台,TopViz实现了手势和眼球凝视2种交互方法,提供沉浸式环境下多视图、多角度流场探测方式。     

考虑喷油润滑的附件机匣温度场分析

附件机匣作为航空发动机重要部件之一,其产热和散热的问题比较复杂.针对以往附件机匣相关研究只关注固体域的产热、散热分析,而对滑油散热作用不能充分考虑这一问题的现状,提出了基于流体仿真思想的稳态温度场分析方法.首先,通过分析附件机匣产热、散热问题的基本规律和特点,进一步采用k-ε湍流模型来模拟机匣内的情况,多相流模型模拟滑油,并且使用多参考坐标系模拟滑油在运动过程中的换热.最后,以某附件机匣作为具体应用案例,验证了方法的正确性和可行性,从而形成了一套行之有效的使用FLUENT软件对附件机匣进行稳态温度场仿真分析的模型和方法.研究的成果对于后续附件机匣的可靠性与寿命分析有重要支撑作用.      

软件故障树分析实例研究

软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析.本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议.     

航天器软件质量模型及度量指标

分析了航天器软件的研制技术流程和关注的质量特性,提出了航天器软件质量模型,明确了质量特性和子特性,结合航天器软件研制过程中产生的可度量数据,提出了各质量特性的度量指标。