软件质量保证技术研究综述

概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试、形式化方法方面有待进一步研究的问题     

目前军用软件研制过程中存在的问题及对策

本文首先指出了目前装备软件研制中存在的主要问题,借鉴软件能力成熟度模型(CMM)的概念,就其中的主要关键问题提出了相应的对策。     

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

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

军用软件研制过程存在问题与对策研究

<正>通过分析当前军用软件在研制过程中存在的几个较为普遍的问题,结合日常开展软件质量管理的工作经验,提出了军代表在研制过程应该分别注意的环节以及采取的对策。引言随着武器装备信息化、自动化程度的提高,军用软件在武器系统中占有的比重和作用越来越大。软件产品规模和层次的提高,带来了软件研制、生产、使用和维护中的一系列技术、管理问题。按照传统"手     

军用软件能力成熟度评价认证的运行机制设计

论文探讨军用软件能力成熟度评价认证工作的必要性,设计评价认证工作的基本过程和认证组织的相互关系,提出实施评价认证工作的基本组织机构及其职能,为顺利实施军用标准<军用软件能力成熟度模型>提供组织理论基础.     

军用软件项目风险管理过程域的优化研究

要成功完成军用软件研制项目,承研单位必须在军用软件项目的全过程中贯彻实施风险管理。目前没有形成针对性强的军用软件风险管理体系,尤其GJB5000A三级标准正逐步作为军用软件总体承研单位研制开发工作的基本要求,使得风险管理过程更具特殊性。通过明确军用软件相关的概念及属性特点,进行军用软件项目风险分类和成因分析,梳理军用软件研制风险管理实践框架,规划军用软件研制风险评价路径,建立军用软件项目风险管理模型,实现军用软件项目风险管理过程域的优化,为军用软件风险管理实践提供理论支撑和模型工具。     

面向EUP的军用软件保障机制研究

软件保障是软件密集型装备和系统持续可靠地发挥作战效能的有力保证。从软件保障原则、保障组织和保障过程等方面,研究了面向EUP过程(Enterprise Unified Process,EUP)的军用软件保障机制,初步探讨了在EUP全生命周期中规划、组织和实施军用软件保障的方法。     

物料混合过程智能仿真软件的研制

以实时智能系统开发软件G2为平台,以一典型的化工物料混合过程为对象,研制了其智能仿真运行软件,运行结果表明,该软件能准确有效地模拟仿该过程的动态操作与运行。这说明,G2是一中较好的智能仿真软件开发工具。所做工作对于研究掌握动态仿真技术和G2智能编程技术具有积极的意义,对于研制较大规模工艺过程的仿真运行软件也具有一定的参考价值。     

基于CMM的指挥控制能力成熟度模型

分析了美军与北约等外军对指挥控制能力成熟度模型的研究现状,借鉴软件生产能力成熟度模型(CMM)的相关方法,提出了我军指挥控制能力成熟度的研究思路和指挥控制能力成熟度模型总体架构与评价方法,阐述和展望了该模型的应用。     

面空导弹武器系统软件的健壮性设计

面空导弹武器系统软件的健壮性设计是软件开发工作的核心问题之一。首先介绍了面空导弹武器系统软件的特点并阐述了软件健壮性的内涵 ,表明它是软件可靠性、安全性和协调性均要满足的一种软件质量特性。在此基础上 ,提出了一种软件健壮性设计的概念 ,重点论述了软件可靠性设计、安全性设计和协调性设计的方法。     

软件保障费用估算模型研究

分析了软件保障费用的基本构成和一般表达式,构建了软件错误更改费用估算模型、新功能保障费用估算模型和有时间限制的保障费用估算模型,并结合实例进行了分析。软件保障模型估算的研究对提高软件保障费用估算的精度和效率有重要意义。     

战术软件中扫雷作业区模型的改进

对扫雷作业区的描述在以往的战术软件中都是使用矩形作业区,对于多种多样的扫雷作业区,仅仅使用矩形来描述显然存在多方面的问题,在应用过程中不切实际。为了使扫雷作业区的描述更加符合实际情况,提出使用梯形作业区代替矩形作业区的方法改进战术软件中扫雷作业区的模型,并将其应用于仿真计算。理论分析和仿真结果表明,新的作业区模型完全适应扫雷作业区多样性的特点,具有良好的实际应用价值。     

作战过程设计策略及其优选模型

组织设计通常包括三个流程即任务环境分析、过程设计和结构设计.作战过程设计是以其环境分析为基础,以其结构设计为目的,最终解决作战组织资源、平台、信息和决策的最优"合纵"和"连横"问题.尝试将C2(Command Control)组织的有关设计理论映射到作战组织设计,根据组织的演化过程机理,采用基于Bayes网络的方法,对作战组织进行过程设计,并对其设计策略进行优选,最后给出一个案例并加以验证.结果表明:采用动态Bayes网络的方法研究组织过程设计可行,其设计策略及优选模型合理.     

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

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

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

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

武器系统软件测试的研究与实践

软件测试作为一种强有力的软件质量保证手段,已逐渐地引起了广泛的兴趣。随着嵌入式计算机在战术导弹武器系统中的应用,人们已愈来愈重视软件可靠性问题。本文通过对某武器系统软件工程的实践,介绍了软件测试的一些方法。     

电子对抗装备软件的测试策略与方法

在阐述了电子对抗装备软件特点的基础上,对研制电子对抗装备软件过程中的测试策略与方法进行了初步的研究,并对在实施测试过程中的几个问题进行了探讨.     

军用软件研制过程的管理与控制

分析了军用软件研制过程和军用系统研制过程的对应关系,详细阐述了军用软件研制过程控制的要求和阶段划分方法。在对阶段概念划分的基础上,对各个阶段的管理控制工作进行了论述,包括阶段的主要工作内容、实施步骤、完成标志及转段条件等。提出的军用软件研制过程管理与控制方法是经过多年软件工作的实践所得,可以供军用软件开发管理者参考。     

基于人工蜂群算法优化的改进高斯过程模型

高斯过程(GP)的非线性特征导致其对大样本的训练时间复杂度过高,而且其超参数的选取是否适当直接影响高斯过程回归模型的预测精度。提出采用人工蜂群(ABC)算法优化改进GP以减小时间复杂度和提高预测精度。改进GP通过选取训练样本的子样本进行模型学习,以降低训练过程的时间复杂度。ABC通过优化改进GP的超参数,提升预测精度。选取训练样本的子样本构建改进GP回归(GPR)模型,采用ABC算法搜寻改进GPR的最优超参数,并用得到的超参数构建最优的改进GPR模型,输入测试样本进行预测并输出预测精度。将该模型应用于解决海上远程精确打击(LPSS)体系作战效能评估问题中,通过MATLAB仿真实验,与常见的多种优化方法相比较,验证了该模型的有效性。     

部队装备保障能力生成过程模型构建

针对部队装备保障能力生成缺乏全系统全过程的分析、缺少总体规划和全面管理等问题,论文分析了部队装备保障能力生成过程,构建了部队装备保障能力生成过程模型,并对过程模型的输入输出进行了研究,为部队装备保障能力生成全过程管理工作提供理论参考.