Ada动态测试中遗传算法的参数编码方法

介绍了将遗传算法应用在Ada程序结构测试中,被测单元参数按照遗传算法的运算规则进行编码的原则与方法.首先,介绍了包括枚举类型和变长数组的基本数据类型的参数编码方法.由于Ada语言允许使用动态数据结构类型的参数,如何在一个较高自动化的动态测试工具中实现对动态数据结构的自动测试,成为首要关注的问题.因此文中着重介绍了Ada程序的动态数据结构在遗传算法中的编码方法.     

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

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

基于安全性的航空发动机控制软件测试技术

针对航空发动机控制软件安全性需求的验证问题,提出了基于需求模型与安全性分析结果的软件测试技术。从软件需求的结构化描述和软件安全性分析结果中的失效和危险因果关系链出发,研究并制定了符合航空发动机控制软件特点的测试用例生成方案,给出了程序化的自动实现算法,并描述了在某重点发动机型号的工程实践情况。     

光纤陀螺多通道并行自动测试工艺技术

针对光纤陀螺测试过程中,测试项目多、步骤复杂、测试时间长、人为记录数据容易出错等问题,在分析测试内容的基础上提出多通道并行测试方案,设计测试工装、电缆、电路等硬件系统,开发相应的测试软件。与单只光纤陀螺测试方法相比,能够有效地减少光纤陀螺的测试时间,提高测试效率。     

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

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

NNW-TopViz流场可视分析系统

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

一种基于有限K近邻的强度帕累托进化算法

在航天器控制计算机的软硬件协同设计过程中,需要解决多目标优化问题。当前的强度帕累托进化算法在求解高维多目标优化问题时具有优势,但是在环境选择阶段的计算时间复杂度仍然较大。文章针对这一问题,提出了一种改进算法。新的算法采用有限K近邻方法,减少了原算法中K近邻策略的比较次数,使时间复杂度由O(M3)下降为O(max(l,logM)M2。试验结果表明文中算法的计算速度更快,并且具有更优的收敛性和分布多样性特征。     

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

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

嵌入式软件测试开发环境的框架设计

采用软件设计上的复用思想,对嵌入式软件仿真测试环境进行框架的设计,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件,节省设计的时间和费用.论述了由框架开发软件的过程,并把此过程应用于测试环境;对嵌入式软件仿真测试环境进行总体分析,确定了它的3个主要组成部分;归纳出作为测试环境重要组成部分的测试开发环境的基本功能,并使用专门针对框架开发的UML-F建模语言设计了一个框架;对已开发成功的测试开发环境框架,提出了具体的框架适配方案.本设计已在实际工程中得到了应用.     

基于S型测试工作量函数的软件可靠性增长模型

软件测试工作量随时间的变化情况对于软件可靠性增长曲线的形状具有显著影响,因此将测试工作量函数(TEF,Testing Effort Function)引入软件可靠性增长模型(SRGM,Software Reliability Growth Model)中以提高软件可靠性评估性能.分析了软件结构特征及学习因素对实际测试过程的综合影响,研究增长速率为先增后减的S型增长趋势的TEF,提出两种S型TEF,即延迟S型TEF与变形S型TEF,并提出考虑延迟S型TEF的SRGM(DSTEF-SRGM)以及变形S型TEF的SRGM(ISTEF-SRGM).在两组真实失效数据集上,进行了这两种SRGM与经典SRGM及其它考虑TEF的SRGM的对比研究.结果表明,ISTEF-SRGM的模型拟合效果最优,同时验证了该模型具有优越的软件可靠性评估性能及模型适应性.