某型导弹测试系统模块化设计

基于1553B及ARINC429总线的导弹系统已经广泛应用,为了在导弹研制及生产阶段检验导弹工作时序的正确性,需要一种测试设备对导弹的工作时序进行检测。阐述了该测试设备的构造及工作原理,硬件设计及软件设计。测试系统的研制成功满足了某型导弹的试验测试需求,也为后续相关型号测试设备的研制提供了基础。     

某型步兵战车导弹综合集成智能故障诊断系统

针对某型步兵战车导弹武器系统的测试与诊断问题,在研究了诊断对象测试参数、故障特点和故障机理的基础上,运用单片机技术、电子测量技术和智能故障诊断技术,研制了集参数测试、技术维护、故障诊断与维修于一体的某型步兵战车导弹武器系统综合集成智能故障诊断设备,设备具有对步兵战车导弹武器系统的自动、快速、实时和在线检测与故障诊断的功能。详细地给出了系统的设计与具体的实现过程。     

SOPC技术在某型导弹故障检测上的应用研究

本文首先阐述了SOPC技术的特点及优势,针对现有某型导弹检测设备在实际应用中存在的不足,提出了SOPC技术在导弹故障检测上的应用前景。考虑到导弹故障检测系统在扩展性、适用范围、检测速度、操作复杂程度等方面的要求,借鉴SOPC技术在其他领域的成功经验,采用软硬件协同设计的方法,设计了导弹检测系统的系统结构,并介绍了该系统的功能及检测过程,用于实现对导弹性能参数的自动化测试和故障诊断。     

确保导弹成功发射的人们

海军航空兵某场站导弹队,是××型导弹的维护单位。几年来,该队不断提高实际操作能力,在较短的时间内完全具备了该型导弹及配套设备的独立保养、检测和维修     

应用VITE的导弹测试信号模拟研究北大核心

现代战争,尤其是高科技、信息化的局部战争,导弹武器发挥的作用日益显著。导弹测试在导弹调试验证过程中具有非常重要的作用,是判定导弹合格与否的关键。基于ATML标准中测试信号的特点和VITE软件平台的功能,提出了将VITE软件应用于导弹的测试信号模拟中。首先介绍了VITE软件及ATML标准中测试信号的基本接口,接着描述了应用软件进行导弹测试信号模拟的方法和步骤,最后给出了应用VITE软件对某型导弹测试信号模拟的实例,为导弹本身及其测试设备的研究提供了重要的理论和技术支撑。     

应用VITE的导弹测试信号模拟研究

现代战争,尤其是高科技、信息化的局部战争,导弹武器发挥的作用日益显著。导弹测试在导弹调试验证过程中具有非常重要的作用,是判定导弹合格与否的关键。基于ATML标准中测试信号的特点和VITE软件平台的功能,提出了将VITE软件应用于导弹的测试信号模拟中。首先介绍了VITE软件及ATML标准中测试信号的基本接口,接着描述了应用软件进行导弹测试信号模拟的方法和步骤,最后给出了应用VITE软件对某型导弹测试信号模拟的实例,为导弹本身及其测试设备的研究提供了重要的理论和技术支撑。     

防空导弹测试技术综述

导弹测试是导弹研制、生产、使用全过程的重要工作项目,用于检测导弹系统的功能和技术性能,进行故障定位。导弹测试的大多是电参数,掌握电子测量技术,熟悉电子测量仪器的工作原理和使用方法是顺利进行导弹测试的必要条件。导弹测试与普通电子测量的最大不同在于,导弹测试中引入了众多的非标准测试设备。测试文件和测试设备是完成导弹测试依据和手段,是导弹测试的软件和硬件支撑。测试文件设计和测试设备研制是在导弹研制过程中逐步完成的,是导弹系统研制工作的重要内容之一。本文综述了导弹测试的地位、作用、分类和特点,导弹测试与系统联试的关系和导弹测试的发展趋势。     

某型导弹舵机电特性检测

在分析某型导弹舵机结构和工作原理的基础上,介绍了该型导弹舵机电特性检测系统,给出了电特性检测参数,并研究了具体检测方法,对确认该型导弹的正常工作状态具有指导意义。     

某型导弹发控通道层次化测试性建模方法

针对某型导弹发控通道等复杂电子设备测试性建模困难的问题,提出了一种层次化的测试性建模方法。首先对某型导弹发控通道进行了系统结构分析;然后依据目前装备的三级维修体制,对该导弹发控通道进行层次化划分,并建立基于多信号模型的系统级和基于改进离散事件系统的元件级的层次化建模策略;最后分别从系统级和元件级进行了实例分析。实例分析结果表明,该方法可以有效解决某型导弹发控通道等复杂电子装备的测试性建模困难的问题。     

地(舰)空导弹测试系统设计思想与原则

导弹综合测试是检测导弹性能质量较为有效的方法和手段。实施综合测试的设备,通常称作导弹测试系统。导弹测试系统的应用范畴,针对性较强,每种型号的导弹,均有其对应型号的测试系统。导弹技术在不断更新和发展,导弹测试系统的性能也必须不断向前发展。如何提高测试系统的技术水平,已日益为科研工作者所关注。就导弹测试系统方案设计的相关问题,进行了概要性讨论。     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的。软件的测试性分析与设计是分析软件测试的复杂性,提高软件测试性的基本方法。本文提出了软件测试性的基本概念、分析与计算方法、以及软件测试性设计的基本思路。这对于高可靠性软件,特别是武器装备软件的设计是有指导意义的。     

武器系统软件靶场测试方法

从软件测试在软件开发过程中的作用出发,阐述了软件测试在武器系统研制试验与鉴定过程中的重要地位,指出武器系统在靶场进行试验过程中,对武器系统软件进行系统测试的重要性。根据靶场的实际条件和武器系统在靶场进行试验时武器系统软件具有的特点,基于现代软件测试理论和软件测试方法,研究探讨了在靶场这一特殊的环境下对武器系统软件进行系统测试的试验方法和进行测试的系统步骤,对武器系统软件的靶场测试具有重要的指导意义。     

FP GA软件测试过程及管理

船舶领域的FPGA软件测试严重滞后于应用增长的速度,部分型号甚至未将其纳入测试范畴。在研制过程中,由FPGA故障导致的修改调试已成为影响进度和增加成本的瓶颈。因此,针对FGPA软件特点及其测试的现状,对其测试过程、测试模型和过程管理进行研究,并给出完整的过程管理体系。通过采用规范化、有序化、系统化、面向工程的、面向任务的文档及配套管理手段进行正确引导、组织和实施测试活动,持续改进测试流程中各个阶段工作质量和效用,及早及时地发现和关闭开发过程中存在的缺陷,提高设计和测试的沟通效率,最终保证FPGA产品的质量,提升客户的满意度。     

基于遗传算法的结构测试数据自动生成

生成测试数据是软件测试的主要过程,将遗传算法引入到测试数据的自动生成中,重点介绍其生成过程,并对遗传操作进行改进,在一定程度上降低算法的过早收敛性.最后构建出基于遗传算法的测试数据生成模型.并用实例证明算法的高效性.     

一种面向对象类级状态测试的形式化方法研究

面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.     

一类安全性苛求软件非规则测试案例自动生成技术

目前,铁路车站计算机联锁软件测试平台包含自动测试和人工测试.人工测试案例是一些复杂的非规则的案例,这部分案例由于难以自动生成而至今没有纳入自动化测试.在对这部分案例进行分析基础上,通过一系列定义,用抽象的脚本语言对其进行描述,并给出脚本的案例还原算法,从而使其能够自动生成.     

军用装备软件需求层次分解及其规格描述

不规范的软件需求是造成无法顺利开展装备软件定型测评的重要原因。介绍了软件需求的基本概念,指出了军用装备软件需求的层次划分和各层需求的产生与描述方法,定义了需求文档的若干质量属性,从形式化、半形式化到自然语言的顺序介绍了软件需求的描述方法,并对用自然语言描述软件需求时应注意的问题列举了实例进行说明。利用该方法开展软件需求分析和规格说明定义,可以缓解当前定型测评所面临的困难,使装备软件定型测评在技术实施上得到保证。     

基于遗传算法的嵌入式软件测试用例生成系统研究

综合考虑了嵌入式软件的特点，将遗传算法应用于搜索全面覆盖软件特殊路径的测试用例生成的问题，合理构建了嵌入式软件测试用例自动生成系统，给出了系统流程图，改进了部分算子，使搜索效果得以加强，并分析了交叉率、变异率等参数的取值范围，通过改变不同的参数值得到对比图，以确定适合该系统的最佳参数值，并针对实际汇编语言编写的嵌入式软件指定路径进行仿真测试，从理论和实践上证明了该思路的正确性和可行性。     

Testing of software with an operational profile

One of the important features of any software system is its operational profile. This is simply the set of all operations that a software is designed to perform and the occurence probabilities of these operations. We present a new model on optimal software testing such that testing is done sequentially using a set of test cases. There may be failures due to the operations in each of these cases. The model parameters, consisting of testing costs and failure rates, all depend on the cases used and the operations performed. Our aim is to find the optimal testing durations in all of the cases in order to minimize the total expected cost. This problem leads to interesting decision models involving nonlinear programming formulations that possess explicit analytical solutions under reasonable assumptions. © 2000 John Wiley & Sons, Inc., Naval Research Logistics 47: 620–634, 2000     

一种基于UML/OCL的软件测试方法

根据UML/OCL和建模环境提供的软件模型信息,以一个武器装备管理信息系统的装备入库顺序图为例,在分析UML/OCL顺序图的语法和对象间的交互信息的基础上产生测试场景,提供了一种基于UML/OCL的面向对象的软件测试方法,并提出测试自动化的设想,对软件测试有一定的借鉴作用。