作战软件的测试技术

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

干扰信号的软件处理方法

在测量过程中,干扰信号直接影响测量精度。本文讨论三种干扰信号分别造成的系统误差、随机误差以及粗大误差的软件处理方法,并给出了相应算法和处理流程。     

TURBO PROLOG 2.0开发环境的汉化

本文讨论了目前广泛使用的编译型逻辑程序设计语言TURBO PROLOG2.0开发环境的汉化问题。文中分析了TURBO PROLOG 2.0显示程序的一些特点以及目前使用的汉化版本存在的几个主要问题和汉化时应注意的几个问题,最后给出了2个典型程序段汉化的例子。     

军用软件采办风险管理

从军用软件采办实际出发,给出了军用软件采办风险管理的定义、结构以及过程模型,在此基础上探讨了军用软件采办风险管理的流程模型和军用软件采办的寿命周期划分,并将军用软件采办风险管理流程与采办寿命周期过程相结合,描述了采办主体各方的风险管理活动.最后,构建了军用软件采办风险管理指标体系,并提出了分层负责的风险管理机制,对提高军用软件采办风险管理水平具有一定的推动作用.     

军用软件需求分析研究

需求分析是军用软件开发中重要的环节,也是项目成功的基础。在深入探讨军用软件需求分析现状和存在问题的基础上,详细阐述了做好军用软件需求分析的一些基本思路和方法。     

新型武器装备软件保障性研究

软件是现代战争的灵魂,软件保障问题已经成为装备保障发展过程中的重点与难点。而软件保障性是软件的重要质量特性,也是武器装备系统的重要质量特性。本文介绍了美军软件保障的原则和保障模式,分析了软件保障的特点和软件保障过程,针对国内军用传统软件维护模型的局限性,提出了基于过程的软件保障模型,为提高软件维护保障提出了有效途径。     

优越的CCRP算法研究

CCRP是重要的空对地攻击方式,该文以向量三角形描述空对地瞄准,结合弹道回归多项式的三元Honer 处理,提出了一种高精度的CCRP 实时算法。     

基于GQM的装备软件可靠性参数选取方法

针对装备软件无可靠性定量要求以及开发过程缺少监管的问题,提出基于GQM(Goal-Question-Metric)的装备软件可靠性参数选取方法。首先构建了软件可靠性通用参数集和装备软件可靠性特有参数集,然后按照GQM方法的框架,从不同角度出发,制定装备软件可靠性度量目标,列出为实现目标需要回答的一系列问题,进而以回答问题的方式,确定不同情况下适用的软件可靠性参数,最终建立装备软件可靠性参数体系。