基于平台支撑流程驱动的军用软件测试过程实施

为了解决在军用软件测试过程中各项活动的生命周期过度依赖人工驱动的问题,在相关的国/军标指导下,基于军用软件测试和项目管理相关技术和理论,设计了一种基于平台支撑流程驱动的军用软件测试过程实施模型.该模型有利于在平台支撑下军用软件测试过程的自动化实施,可以提高测试效率和降低测试成本,提升军用软件测评实验室的管理能力,在军民融合的大背景下提高军费使用效率.     

作战软件的测试技术

软件测试是软件质量保证的一项关键活动。防空导弹武器系统作战软件的测试工作量相当大,比普通软件的测试工作大３至５倍,因而必须加强作战软件的测试技术的研究。文章结合作战软件的特点,重点介绍面向测试环境的测试工具──软件测试台,面向测试细则的测试用例的产生方法。     

基于数据库新技术的武警作战指挥自动化系统研究

结合武警部队的特点.论述了武警部队指挥自动化系统建立中应采用的最新数据库技术.提出了运用数据仓库、数据挖掘和虚拟数据仓库技术构建武警部队作战指挥自动化系统的思想.     

面向二十一世纪的C^3I系统环境

本文从自动化指挥系统的发展过程入手,描述了21世纪C~3I系统技术特点,着重阐述了未来C~3I系统所处的对抗环境,硬件环境及技术环境。从而引伸出研制自动化指挥系统应解决的关键技术。     

聚焦俄军防空指挥自动化系统

探讨了俄军防空指挥自动化系统的发展状况,介绍了俄军防空指挥自动化系统的分类、组成、结构特点及各系统采用的技术。指出了目前旧有的两种分类,提出了新的分类方式。也介绍了俄军战略、战役和战术三个层次防空指挥自动化系统组成及其结构特性。最后举例介绍了俄军无线电技术兵所装备的指挥自动化系统。     

单片机软件测试方法研究

单片机(Single Chip Microcomputer:SCM)软件的可靠性是影响系统和设备可靠性的关键因素.以80C51单片机系统一个C51应用为例,针对单片机软件测试的特点,提出了单片机软件测试方法.     

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

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

舰空导弹武器系统软件靶场综合测试分析

针对舰空导弹武器系统的特点以及舰空导弹武器系统软件定型试验的现状,指出了舰空导弹武器系统软件靶场测试的必要性、特殊性。通过靶场软件测试综合试验,总结了舰空导弹武器系统软件靶场定型的试验方法。并指出了靶场软件测试的发展方向。     

某火控系统技术特点分析

某火控系统集两个频率波段的搜索雷达、跟踪雷达和电视跟踪器、激光测距机于一体,分系统控制处理计算机与系统主计算机相结合,采用了数据融合技术,是一部多传感器集成的现代化防空系统,具有搜索性能好、反应时间快、抗干扰能力强、自动化程度高、使用性能好等特点。从抗干扰性能、自动化工作操控模式、系统高度集成化以及装备使用性能对系统的技术特点进行了分析,对今后雷达设计有一定的借鉴作用。     

军用软件的测试与实践方法

首先分析了民用软件存在的问题,然后结合军用软件的特点,对影响军用软件可靠性的因素进行分析,最后提出提高军用软件质量的几种测试与实践方法.     

软件的测试性分析与设计

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

基于邻接矩阵的软件测试环境规划设计方法

在分析软件测试环境的基础上，研究了软件试验中测试用例设计面临的突出问题，从软件测试环境的规划出发，基于有向图的邻接矩阵，设计满足一定覆盖度标准的软件测试环境规划方法，可为软件试验提供技术参考和研究方向。     

基于数据库的自动测试系统软件平台的设计与实现

采用基于数据库的模式构建系统软件平台,综合各种技术通过数据库控制测试过程。测试程序集的开发借鉴IVI-MSS和面向信号ATS的软件结构,利用功能接口技术实现仪器可互换性,运用模块化技术解决测试程序集的可移植性问题。实验表明:该软件平台设计合理,适用于多种装备测试与诊断系统的快速开发。     

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

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

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

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

某型导发架通用测试系统软件复用性设计

测试软件的复用性是摆在测试界面前亟待解决的重要问题。运用统一建模语言(Unified Modeling Language,UML)对测试软件进行建模,包括:测试系统的类图、软件功能分解、功能子系统的上下文模型、测试软件需求特征树以及软件功能子系统的顺序交互视图。在Visual C++6.0环境中,采用"应用程序框架+可复用构件"开发方式,实现了基于可复用构件的某型导发架测试系统应用软件组装,成功解决了导发架测试领域内同一系列产品间测试软件的可复用问题。     

软件可靠性考核试验方法研究

分析了软件可靠性考核的时机 ,提出了软件可靠性的验证试验方法 ,并对基于经典方法和 Bayes方法的无故障运行考核方法进行了研究     

火控系统软件的一种测试方法

基于火控系统的“黑箱”特征,提出了一种软件测试模型,并由此建立了有关的评价方去。从而可为火控系统软件测试的定量评价提供依据。