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

采用软件设计上的复用思想,对嵌入式软件仿真测试环境进行框架的设计,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件,节省设计的时间和费用.论述了由框架开发软件的过程,并把此过程应用于测试环境;对嵌入式软件仿真测试环境进行总体分析,确定了它的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的模型拟合效果最优,同时验证了该模型具有优越的软件可靠性评估性能及模型适应性.      

对象驱动的软件测试性度量

为了使用统一的方式度量各种软件的测试性,降低测试性度量的难度和费用,提出一种对象驱动的软件测试性度量方法. 方法基于一个由测试性度量、易测试特性度量、测试性因素度量及其关系构成的软件测试性度量框架,首先分析度量的对象,确定对象的类型、对象所属软件的类型和测试情况;然后根据软件的类型和测试情况,从度量框架中选取匹配的元素,构造一个专用的软件测试性度量框架;最后根据度量对象的类型,使用专用软件测试性度量框架中的元素计算测试性因素、易测试特性或测试性. 应用表明方法能够得到软件测试性的定量结果,预计测试资源,为软件测试提供帮助.      

航天器红外成像检漏方法研究

红外成像检漏技术以其独特的优势在航天器检漏领域有良好的发展应用前景。文章分析了红外光谱吸收成像检漏方法、红外光声成像检漏方法及红外热成像检漏方法的基本原理与应用实例,分析研究了这几种不同红外检漏方法的特点及在航天器检漏中的应用范围,并为实施航天器红外检漏方法提供了研究思路与途径。     

基于非参数假设检验的程序缺陷定位方法

调查了西门子测试集中的程序失败用例的规模和谓词评估偏差的分布.结果表明,中心极限定理的前提和参数假设检验的假设条件无法得到普遍满足.所以,已有的基于参数假设检验的方法存在潜在的问题.针对这一现象,提出了基于非参数假设检验定位程序缺陷的方法.实验结果表明,该方法在非正态分布的样本集上仍具有较好的适用性,且在缺陷定位效率上优于已有的基于程序谓词的缺陷定位技术.同时比较了基于2种常用的非参数假设检验模型的缺陷定位方法的效率.一种方法基于Kolmogorov-Smirnov检验,另一种方法基于Cramér-von-Mises准则.比较结果表明,在西门子测试集上,基于Kolmogorov-Smirnov检验的方法在缺陷定位效率上优于基于Cramér-von-Mises准则的方法.     

不同迎角的翼型气弹特性风洞实验研究

基于可在不同迎角下作沉浮、俯仰两自由度运动的翼段振动装置,在低速风洞中分别针对普通薄翼型NA-CA0012和风力机翼型NREL S809进行气动弹性测试,得到不同实验状态的气动弹性振动时域响应。分别观察到经典颤振和失速颤振现象,并证明了迎角改变对两种翼型颤振特性的影响。     

综合模块化航电软件仿真测试环境研究

 伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。     

基于SOC的卫星姿轨控系统通用电模拟器设计

在某型卫星地面电联试过程中,对该卫星的姿态轨道控制系统进行接口分析及信号统计,针对其接口复杂性、信号多样性的特点,提出采用片上系统(Systemona Chip,SOC)芯片对所有部件模拟器进行通用化设计。文中给出了该型卫星通用型电模拟器硬件平台设计方案以及陀螺、反作用轮和通用接口模块的硬件配置说明,针对该型卫星姿态轨道控制系统电联试要求,对所有部件按真实接口配置成电模拟器,形成通用接口箱、敏感器电模拟器箱和执行机构电模拟器箱,并通过CAN(Controller Area Network)总线接入闭环仿真,对太阳捕获、地球捕获及正常模式进行了仿真测试,仿真结果表明通用电模拟器满足设计要求,对其他卫星的地面电联试有很好的参考价值。     

卫星虚拟振动试验仿真效果研究

对振动台关键部件建模后,获得了包括动圈、扩展头、滑板、加强板、牛头等部件的较为准确的有限元模型。针对某卫星模型与振动台模型集成后的组合模型进行了有限元振动响应计算。将虚拟试验结果与实际试验结果、卫星传统仿真结果进行对比,通过分析卫星频率及响应量级来评价虚拟振动试验对卫星研制的意义。