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

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

基于SCADE的飞控软件的适航验证与确认

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。     

电子飞控飞机的飞行品质适航验证

FAA AC25-7A中的飞行品质评定方法 (HQRM)能够对使用电子飞控系统的民用运输机进行飞行品质评估。分析了HQRM评估程序以及相关适航要求,根据某民用飞机飞控系统功能危险分析,针对单侧升降舵卡阻这一典型故障,提出了在该失效状态下的模拟器飞行品质评估试验程序,分别给出了HQRM和相应军用标准评估方法,对军民评估方法的差异性和一致性进行了分析。研究结果对采用电子飞控系统的现代飞机的飞行品质适航验证具有工程参考意义。     

非侵入式电机能效在线监测系统软件设计

电机是工业系统中的主要动力输出和耗电设备,发展电机节能和在线监测技术具有重要意义。主要介绍了非侵入式电机能效监测软件系统的组成、设计方法和实现的功能,通过对电机运行状态信息的采集和分析,实现了对电机转速、转矩、功率因数、效率等运行参数的在线监测,并对监测结果进行分析,为电机能源管理提供支持。利用C#编程完成串口通讯,labview8.5完善监控界面,SQL server 2005建立电机监控数据库。实验结果表明该系统运行可靠,操作简单,安全性高。     

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

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

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

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

软件总线体系结构的研究与应用

设计一种轻量级软件总线体系结构,将软件总线思想引入到单机软件系统的定制与集成.软件总线技术源于分布式异构环境搭建提出的,应用于分布式系统.对传统软件总线结构进行改进,采用双总线结构,摒除不必要的分布式功能,使轻量级软件总线成为一种适用于单机环境的软件体系结构.通过创建一个基于轻量级软件总线体系结构的模拟银行服务排队系统,验证轻量级软件总线作为单机软件系统的搭建架构具有可行性.     

Sensitivity Analysis for Safety Design Verification of General Aviation Reciprocating Aircraft Engine

This paper presents an application of global sensitivity analysis for system safety analysis of reciprocating aircraft engine. Compared with local sensitivity analysis results, global sensitivity analysis could provide more information on parameter interactions, which are significant in complex system safety analysis. First, a deterministic aviation reciprocating engine thermodynamics model is developed and parameters of interest are defined as random variables. Then, samples are generated by Monte Carlo method for the parameters used in engine model on the basis of definition of factor distribution. Eventually, results from engine model are generated and importance indices are calculated. Based on the analysis results, design is improved to satisfy the airworthiness requirements. The results reveal that by using global sensitivity analysis, the parameters could be ranked with respect to their importance, including first order indices and total sensitivity indices. By reducing the uncertainty of parameters and adjusting the range of inputs, safety criteria would be satisfied.     

CAN总线并发通信时下位机应用软件设计

为满足系统通信中的时间性能要求,设计一种利用中断接收和发送CAN总线数据的通信方法,给出了算法的C语言流程图实现.当增加GPS作为总线主节点发送广播引起CAN并发通信导致硬件中断冲突时,针对并发通信的硬件中断冲突原理作了分析,重新设计了下位机CAN总线通信软件,解决CAN总线并发通信冲突.     

基于Eclipse的航天嵌入式软件集成 开发环境设计与实现

针对当前航天器软件研制过程中需要使用多种开发工具的问题,设计实现了集工程管理、代码编辑、语法检查、编译链接和调试测试于一体的航天嵌入式软件集成开发环境.研究成果已应用于航天器嵌入式软件的研发,缩短了软件研发周期并提高了软件质量,同时也为软件集成开发环境的研发提供借鉴.