软件的测试性分析与设计

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

一个战术软件测试编码一体化系统的设计与实现

战术应用软件 (以下简称战术软件 )是舰载指控系统的重要组成部分 ,是舰艇作战系统的灵魂。为了确保战术软件的质量与可靠性 ,提高战术软件的开发效率 ,必须实现战术软件测试的自动化 ,战术软件测试和编码的一体化。本文结合战术软件测试编码一体化系统 (以下简称一体化系统 )的研制 ,说明了该系统的研究意义及设计思想 ,研究方法与关键技术     

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

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

军用软件测试现状及对策

随着我军信息化建设深入发展,军用软件的规模和数量空前增长,军用软件的质量建设成为极端重要而紧迫的任务。软件测试是保证软件质量、提高软件可靠性的重要途径和必备手段,但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面,仍然存在着许多问题,软件测试工作形势依然严峻,急需得到改进和加强。在深入分析军用软件测试现状、存在的问题和原因的基础上,综合设计体系结构,研究提出对策措施,为整体推进软件测试工作提供了可行的解决方案。     

软件密集型装备的软件保障与测试

软件密集型装备是属于信息化武器装备范畴的,而软件是软件密集型装备的核心。通过建立软件保障的静态模型,从三维体系结构上分析了与软件保障相关的要素,进一步明确了软件保障过程的各项工作,并对贯穿软件密集型装备保障全过程的软件测试工作提出测试计划和要求。     

软件测试质量管理设计分析与思考

本文介绍了软件生存周期的概念和特点,论述了软件测试质量管理设计的目标和主要内容,提出了软件测试质量管理设计的总体方案,并简要地阐述了测试质量管理的7个关键库的主要内容。     

单片机软件测试方法研究

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

指控软件可用性工程生命周期模型

针对当前装甲指控软件的应用现状和存在的问题,运用可用性工程理论和方法,提出了指控软件的可用性工程生命周期模型,该模型包括可用性需求分析、模型构建、可用性设计、可用性测试与评估、安装部署与使用体验、用户反馈等过程。通过与一般软件测试的比较,强调可用性测试实验环境的作用。该模型突出用户的作用,重视用户反馈,可为指控软件的设计和开发提供理论指导。     

军用软件自测试实践与分析

随着军用软件规模和数量的不断增长及其在信息能力方面的提升,军用软件质量已成为确保军事工程质量的关键,而推行软件测试以提高军用软件质量更是成为紧迫之举。通过对军用软件自测试现状进行分析,以软件承制方的身份对某军用软件进行自测试,并将测试结果与专业测评机构三方测试的结果做对比分析,论述了军用软件自测试是保证军用软件质量的重要途径和必备手段。     

软件排错费用研究

软件可靠性费用包括避错费用、排错费用和容错费用．在研究了软件排错费用的概念及构成,并重点对软件测试费用进行了分析后,提出了软件测试时间及费用模型,并对软件测试费用投入进行了优化．     

目标系统的测试软件设计

阐述了自动测试目标系统的软件设计,介绍了目标在移动过程中偏离瞄准线,产生偏差的情况下,自动测角仪与主控计算机之间的通信必要测试条件,相关的信号处理和控制手段,及如何提高自动测角仪测试系统的检测精度。     

基于组合设计的软件可靠性测试方法

提出了将实验设计中的组合设计方法应用于软件可靠性测试。分析了组合设计方法在软件可靠性测试用例设计中应用的理论基础和基于组合设计的软件可靠性测试的一般方法。同时指出了利用软件操作剖面信息和失效数据进行可靠性评估的方法。     

火控系统软件测试和质量评估

在火控系统硬件技术日益成熟的今天,软件的质量问题愈发显得突出。如何测试火控系统的软件和评估软件质量是当前亟待解决的问题。该文提出了火控系统软件生存周期各阶段的质量工作,着重研究了火控系统的软件测试的方法和进行质量评估的基本原则。     

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

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

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

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

一种基于任务-系统结构的软件可靠性建模方法

针对军用软件特点,提出并定义一种基于任务剖面的软件系统结构准则;基于该准则,给出一种从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法。与侧重于数学建模的相关工作不同,该方法更注重在建模中融合软件可靠性设计、测试和管理,成为可靠性保证的一种途径。     

某型机载雷达抗干扰效果评估软件实现

抗干扰效果评估软件系统是电子对抗试验环境系统的重要组成部分,是机载雷达抗干扰效果评估系统的核心,在靶场电子对抗试验环境建设中具有重要作用和地位.采用软件工程设计方法对该雷达抗干扰评估软件系统进行了概要设计,建立了评估软件系统的评估模型、模块结构、逻辑流程和主要人机界面,基于VB.net进行了抗干扰效果评估软件系统的初步设计与调试.     

开放式自动测试系统软件设计

实现测试程序的可移植性、改善测试系统仪器互换性和提高ATS新技术注入能力是通用ATS研制的热点问题,遵循标准和实现开放式系统是解决问题的途径,软件系统是当前通用ATS实现开放性的制约因素.根据领域需求软件采用层体系结构模式,合理划分各层功能,在高层提供面向信号的编程接口,资源控制层提供了面向功能的接口,资源管理实现了系统对资源控制层构件开放的动态集成方式,实现了开放式的系统软件构架.     

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

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