浅议加强军用装备软件工程化管理

软件工程化是用工程的方法开发软件,即采用可定义、可量化、可再生产和管理的工程实践方法,实现软件产品的开发过程。软件工程化是系统化、规范化、数量化地进行装备软件开发和维护最为有效的途径,是对装备软件采取有组织的质量保证和全面质量管理的重要方法和手段,是提高软件质量和可靠性水平的必要保证。随着我军向实现机械化和信息化的目标跨越式地迈进,大量新型装备陆续开始研制或投入生产,提高装备软件质量重要性日益突出,积极推进软件工程化,将有效的解决当前装备软件质量管理工作中存在的问题,提高装备软件质量水平。     

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

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

新型装备软件质量军民一体化保障分析

作为军民一体化联合保障的重要内容，新型装备中的软件质量保障与维护对承包商提出了更为严格的要求。分析型号装备研制过程中对软件进行的过程改进与管理，装备交付时进行软件质量检测与评估，以及装备部队后的软件维护与保障的必要性，分别从软件质量约束、监管、验收及软件后期维护等方面进行阐述，提出了型号装备软件全寿命周期中实施军民一体化联合保障的要求及措施，并对其软件保障与维护过程进行归纳。     

军用指挥控制软件可信性分析与验证技术

随着武器装备信息化程度越来越高,军用指挥控制软件的可信性直接关系到装备整体效能的发挥。在对传统软件质量保证技术研究的基础上,结合军用指挥控制软件的特点,提出了基于形式化方法的软件分析与验证技术。分别从安全性质形式化规约技术、基于模型检验的指挥软件验证技术和基于静态分析的控制软件分析技术三方面保证军用指挥控制软件的可信性,最后,提出了适用于指挥控制软件全生命周期开发的形式化分析与验证集成环境。     

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

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

基于质量特性的装备软件定价利润率模型研究

装备软件定价问题是目前我军装备价格工作中亟待解决的重要问题之一,其利润率的确定直接体现装备建设中对装备软件领域的激励以及价格的杠杆作用。为提高装备软件质量,促进装备信息化建设,从装备软件利润率的不确定性入手,以软件的功能性、可靠性、可用性、有效性和可维护性5个质量特性为牵引,构建了装备软件质量的综合评价指标体系,采用模糊综合评价法对装备软件质量进行综合评价,并结合软件行业的平均利润率水平构建了装备软件利润率模型。最后,通过案例对模型进行了验证。     

基于模糊综合评判的装备软件可靠性分析

可靠性是衡量装备软件质量的重要参数,但由于软件可靠性的特点,在实际对装备软件可靠性定量分析往往很难,甚至不可能。从软件质量框架模型出发,结合装备软件的特点,分析了影响装备软件可靠性的几个参数,提出了一种运用模糊综合评判方法对装备软件可靠性进行定性分析的方法。该方法简单,可行性强。最后,给出了一个实例。     

军用软件竞争性采办策略及过程研究

军用软件作为一种特殊的装备，已被我军正式列入武器装备序列进行管理。在其采办和管理过程中，有着区别于一般武器装备的特点，本文在遵循OJB5000—2003中对于军用软件开发过程要求的基础上，结合我军目前军用软件开发承研单位的能力和未来发展的需要，提出一种军用软件竞争性采办策略及采办过程，该方法在军用软件项目招标及原型开发阶段改变现行一个单位独立承担的形式，允许几家单位同时进行军用软件项目初期的并行开发和竞争，通过这种竞争来促进军用软件开发过程的改善并提高软件装备开发质量，满足现实军事斗争准备的需要。     

IEEE软件工程标准简介

IEEE 是美国电气和电子工程师协会的简称,该协会标准化部于1976年成立了一个软件工作组,负责起草软件工程标准。IEEE 自1980年出版了第一个软件工程标准 IEEEStd 730《软件质量保证标准》之后,陆续制     

军用装备软件质量特性的灰色层次评估方法

分析了军用装备软件系统各项质量特性指标的构成,提出了一种基于灰色层次分析法的软件系统质量特性评估模型,研究了相关的评估算法。并以对某一实际系统的软件质量特性进行评估为例,通过具体评估计算,得出了实际计算结果,表明灰色层次分析理论在军用装备软件系统质量特性测试评估工作中是可行的。