UML在软件可靠性测试数据自动生成中的运用

为了自动生成实时嵌入式软件的可靠性测试数据,利用UML(统一建模语言)提供的建模机 制,从软件可靠性测试的角度建立use-case剖面、接口模型和测试数据实现模型,然后根 据 这些模型的描述进行随机抽样,自动生成可靠性测试数据.利用该方法能够开发出相应的测 试数据自动生成工具,在软件可靠性测试领域有着较大的实用价值.     

嵌入式软件可靠性仿真测试系统研究

 研究嵌入式软件可靠性仿真测试方法和环境.文中给出了仿真测试系统的体系结构,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨.特别地,给出了一个生成测试用例的新方法.     

模糊判别在软件可靠性加速测试中的应用

从软件可靠性测试的基本特点出发,分析软件可靠性测试用例之间存在的相似性;并利用模糊数学中的一系列原理,对软件可靠性测试用例特征进行处理;对测试用例相似性进行组合模糊判别,若相似性达到一定置信度,则对该测试用例进行不执行而累积测试时间的处理过程,从而加速软件可靠性测试.该方法只对软件可靠性测试用例特征进行分析处理,对软件可靠性评估模型没有影响,因此一定程度上减小了评估误差,同时在软件可靠性加速测试方面进行了新的尝试.     

软件可靠性验证测试最小测试量的必要条件

将统计学中样本容量的确定方法引入软件可靠性验证测试中,提出了软件可靠性验证测试最小测试量的必要条件的概念.推荐最小测试量的参考值,使其在满足第一类风险的情况下,第二类风险也不超过某一定值.分析了最小测试量的影响因素,对现有的软件可靠性验证测试方案进行了修正,给出在最小测试量指导下的软件可靠性验证测试流程,弥补了现有方法的判定结论并非在任何情况下都可信的不足.     

仿真技术在滚动阻力测试设备研发中的应用

为保证滚动阻力测试数据的精度,需对影响设备测试性能的关键因素进行评估预测.基于检测设备的测试原理,建立了轮胎滚动阻力的数值仿真模型,通过对采集的传感器输出物理量进行算法处理,模拟多工况下滚动阻力的测试特性.改变转鼓和轮轴中心线的相对基准位置,在对测试数据差异性分析的基础上,采用一次正交回归算法对采集的数据进行误差修正.与实验室的实测数据进行对比验证,趋势性试验表明该测试模型能够正确反映滚动阻力与控制条件之间的响应关系,表明该测试模型具有较高的可靠性;重复性试验表明滚动阻力修正模型能够减小设备的系统误差,提高现有设备的测试精度.仿真结果为相关设备的研发提供了实践依据.     

仿真技术在滚动阻力测试设备研发中的应用

为保证滚动阻力测试数据的精度,需对影响设备测试性能的关键因素进行评估预测.基于检测设备的测试原理,建立了轮胎滚动阻力的数值仿真模型,通过对采集的传感器输出物理量进行算法处理,模拟多工况下滚动阻力的测试特性.改变转鼓和轮轴中心线的相对基准位置,在对测试数据差异性分析的基础上,采用一次正交回归算法对采集的数据进行误差修正.与实验室的实测数据进行对比验证,趋势性试验表明该测试模型能够正确反映滚动阻力与控制条件之间的响应关系,表明该测试模型具有较高的可靠性;重复性试验表明滚动阻力修正模型能够减小设备的系统误差,提高现有设备的测试精度.仿真结果为相关设备的研发提供了实践依据.     

测试有效性对软件可靠性验证测试量的影响

针对传统软件可靠性验证测试方法均不考虑软件测试性可能会对验证测试用例数量产生影响的现状,提出一种引入测试有效性对软件可靠性验证测试最小量进行改进的方法.分析了软件测试性的定义及其对软件可靠性测试集合的影响,提出软件测试有效性的概念.比较了考虑测试有效性前后软件可靠性验证测试集合在数量上的差异,证明经典统计方法和无先验知识的Bayesian统计推断方法确定的均为假定测试有效性为零情况下的保守估计.提出结合测试有效性的验证测试量的量化表示模型和验证测试方案的改进方法,基于统计故障注入的原理,提出测试有效性的定量评估方法,最后通过示例给出定量评估过程和方法.      

基础软件平台集成测试组合选择方法

针对基础软件平台集成测试组合爆炸的问题,研究了组合设计方法,提出了一种基于组合设计选择基础软件平台集成测试组合的方法.该方法将基础软件平台看作是一个多因素的系统,组成平台的每类基础软件用一个对应的因素变量来表示,每类基础软件的不同品牌产品表示为各因素变量的多种取值,构建相应的正交表或基于正交表的覆盖表,采用正交表或覆盖表来选择集成测试组合,按照选择的集成测试组合进行基础软件平台集成测试.应用实例表明该方法保证了集成测试组合对基础软件间两两交互的全覆盖,并有效地降低了集成测试组合数.     

实时嵌入式软件测试输入的可视化建模

实时嵌入式软件仿真测试是一种目前应用较广的测试技术.文中根据实时软件及其输入的特点,结合在软件工程领域有着广泛运用的统一建模语言(UML),提出了一套基于输入类图、输入顺序图并辅以输入描述的测试输入可视化建模方法,在此基础上可以自动生成测试脚本或测试数据,用于驱动实时嵌入式软件测试的进行.      

嵌入式软件可靠性测试平台仿真器分系统研究

研究了嵌入式软件可靠性测试平台中仿真器分系统的实现问题.首先介绍了软件可靠性仿真测试平台的功能及组成框架,然后以通用性和可扩展性为前提,对实现仿真器分系统的关键技术进行了探讨,着重对任务调度功能的实现进行了深入研究,提出了一种新的图型任务链的调度方法.实验结果表明,仿真器分系统的这些实现方法具有较高的可靠性、易扩展性和实用性.      

基于现代实验设计技术的巡航导弹概念设计

采用跳跃弹道空地巡航导弹为算例,研究了新型实验设计技术,即拉丁化近正交海默斯利序列取样法,在多学科设计优化中的应用.应用该实验设计方法进行了实验设计,并对取样结果与传统拉丁方取样进行了对比;基于支持向量机构建了学科近似模型,通过对验证数据的回归分析,检验了支持向量机响应的可靠性.应用该近似模型对算例进行多学科设计优化,并通过与精确模型的对比,检验了该近似模型的准确性.拉丁化近正交海默斯利序列取样法是一种高效的现代实验设计方法,在相似的实验条件下比传统拉丁方设计具有更好的正交性和均匀性,在复杂系统多学科优化设计中具有很大的应用价值.      

基于PXI总线的姿态角变换器高精密测试系统设计

为了验证遥测系统姿态角变换器的功能可靠性,研制了一种基于PXI总线的高精密测试系统。姿态角变换器高精密测试系统以PXI的模块化设计为平台,各功能模块板卡即插即拔,增强了硬件上的可扩展性;整个测试台为一体式设计,内嵌显示器。软件设计中采用针对测试系统的开发软件LabWindows/CVI,采用C语言进行编写,为了充分利用系统资源,采用多线程技术,通过软定时器来控制各个线程的运行和停止,并实时刷新显示数据。实际测试结果验证了设计的可行性。     

基于PXI总线的姿态角变换器高精密测试系统设计

为了验证遥测系统姿态角变换器的功能可靠性,研制了一种基于PXI总线的高精密测试系统。姿态角变换器高精密测试系统以PXI的模块化设计为平台,各功能模块板卡即插即拔,增强了硬件上的可扩展性;整个测试台为一体式设计,内嵌显示器。软件设计中采用针对测试系统的开发软件LabWindows/CVI,采用C语言进行编写,为了充分利用系统资源,采用多线程技术,通过软定时器来控制各个线程的运行和停止,并实时刷新显示数据。实际测试结果验证了设计的可行性。     

一种二浮陀螺仪热仿真分析及试验验证

针对某卫星姿态控制系统中的重要测量部件二浮陀螺仪的精度及可靠性不断提高的要求,为了分析、掌握二浮陀螺仪的热设计及内部温度场分布对其精度和可靠性的影响,利用Ansys Fluent软件对二浮陀螺仪温度场进行仿真分析,得出其内部温度场分布情况,并与热真空试验数据进行比对,验证了二浮陀螺仪有限元模型及边界条件的准确性,根据仿真结果提出改善二浮陀螺仪热设计的优化措施.     

运载火箭三冗余飞行控制软件的数字仿真设计

提出了一种采用三冗余技术保证运载火箭飞行控制软件可靠性的设计方案,选择合适的冗余模式建立了三余度飞控软件的数字仿真平台,并给出了实现余度策略、同步算法等关键技术工程的软件流程。测试结果表明,该方案设计合理,不仅较好地完成了飞控计算机的余度管理任务,而且有效地保证了系统的可靠性与容错能力。     

基于多种并发机制的卫星电子设备地面测试软件设计方法

在卫星电子设备测试系统中,地面测试软件不仅要访问测试系统硬件,而且需要与用户直接交互,并完成测试数据的存储和管理,并发处理能力是测试系统可靠和正确的关键,传统软件设计采用的串行策略无法适应卫星地面测试软件中的并发处理需求.为解决上述问题,提出多线程、消息机制、共享缓冲区、P-V操作4种并发机制相结合进行程序设计的方法.实际应用表明采用这种基于多种并发机制的程序设计方法能可靠实现卫星地面测试软件,有效解决了软件开发中的并行性问题.     

航空装备现场使用质量和可靠性信息管理软件

对航空装备现场使用质量和可靠性信息的特点进行了阐述，并介绍其软件系统的组成和功能。着重讨论系统中用外场数据估计产品可靠性参数的分析、处理方法及此系统数据库的设计     

等离子体诊断中扫描电压源的研制

详细叙述了扫描电压源的硬件和软件组成,并通过采用PCI-6251数据采集卡、PA93功率放大电路和虚拟仪器软件LabVIEW及工控机相结合, 突破了关键技术,成功研制了一套扫描电压源并应用于等离子体诊断,使整个测试过程非常快, 可以在秒级的时间内完成, 相对于手动测试,该实验得到的数据更为精确, 实时获得了等离子体的伏安(I-V)特性曲线和数据处理结果。