浅析提高信息系统软件测试质量的途径

随着信息技术为核心的高新技术在军事信息系统中应用的不断深入,作为信息系统核心部分的软件系统质量成为影响系统效能与可靠性的关键。如何有效保证软件系统质量、提高信息系统的可靠性成为目前我军亟需解决的重要问题。本文从软件工程的角度出发,针对信息系统中的软件系统,结合软件测试技术的发展和我军信息系统的现状,提出了提高军事信息系统软件测试质量的几种途径。     

弹丸速度的数字化激光幕测试技术

针对传统弹丸速度测量方法的局限,提出一种新的弹丸速度测试技术——数字化激光幕结合互相关速度测量算法的测试技术,并给出了激光总体测速方案、测速原理以及互相关测速方法,经靶场试验验证测试效果良好。     

装备可测性设计与评估技术综述

可测性设计对于提高装备的测试水平、缩短故障检测和隔离时间,进而降低使用保障费用具有重要的意义。论文综述了装备可测性技术的国内外发展现状,阐述了可测性的技术体系,对其关键技术进行了分析研究,提出了目前亟待解决的关键问题和难点问题,并对进一步的研究发展给出了建议。     

一种基于语义推理的多智能体协同功能设计框架

在功能设计知识本体表示模型的基础上,提出了一种基于语义推理的多智能体协同功能设计框架。该框架分为两个部分,其中,基于Multi-agent的通信协作平台将OWL本体嵌入到FIPAACL中以实现产品设计Agent之间的设计知识通信;基于本体的功能建模方法则将本体表示与本体推理结合以支持功能设计本体的存储与检索。最后,对该框架所包含的协同功能设计本体语义推理模型进行了分析与实现,以证明所建议框架的有效性。     

基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

一种基于组件的DEVS建模与仿真方法研究

针对当前DEVS建模仿真中存在的一些主要问题,将XML和组件技术开发方法引入到仿真系统开发中.提出了基于组件的DEVS建模仿真框架,可以很好地支持仿真模型组件从静态模型描述到动态模型的调用,支持模型组件的重用和组合.     

利佩茨克航空中心——俄新型战机的摇篮

今年3月,俄空军参谋长宣布,俄首架第五代战机T-50将于2013年交付利佩茨克航空中心测试,并表示今后俄所有新型战机都要在那里进行全面测试。此言一出,利佩茨克迅速成为空军界和新闻媒体关注的焦点。     

便携式电磁辐射检测仪的研制与测试

研制一款便携式电磁辐射检测仪,详细阐述了其内部结构及部分电路组成,该检测仪采用单片机处理采集信号,方便实用。通过大量实验对其进行测试,结果表明,液晶显示屏上显示的电磁辐射电场强度的测量精度在±2.5 dB之内,达到了设计标准,能够对电磁环境进行有效监测。     

什么是测试性、测试性工程和测试性工程标准

测试性指产品能及时、准确地确定其状态（可工作、不可工作或性能下降）并隔离其内部故障的一种设计特性。     

测试轮直径对路面不平度测试精度的影响

在加速度信号的路面不平度测量过程中,由于测试轮的几何外形对路面的滤波作用,会对功率谱密度的测量产生误差。为解决这一问题,在仿真环境下,通过测量在给定路面等级的随机路上行驶的测试装置测试轮的响应,研究不同直径的测试轮对同一路面不平度的滤波作用,分析其影响关系,从而为路面不平度测试装置测试轮轮径的选择提供参考。