加强软件密集型装备综合保障能力的思考

随着软件密集型装备的大量使用,软件密集型装备的地位越来越突出。本文阐述了加强软件密集型装备综合保障能力建设的重要性,对国内外软件密集型装备综合保障的研究情况进行了比较分析,并提出推进我军软件密集型装备综合保障能力建设应该把握的问题。     

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

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

软件密集型装备项目质量管理研究

软件密集型装备质量是决定战场胜负的关键要素之一,文章分析了软件密集型装备项目质量管理的基本概念和依据标准、探讨了加强软件密集型装备项目质量管理的主要措施,包括采用过程方法建立质量管理体系、建立全面的质量管理文件和记录、实施重点质量控制方法三方面。     

基于软件装备保障过程的探讨

软件装备在现代武器装备体系中发挥着越来越大的作用,软件保障问题已经成为装备保障发展的重点与难点。软件保障性是软件装备的重要特性,根据软件的特点对软件保障过程划分了三个阶段,分析了各阶段主要保障活动和需要关注的关键环节,为软件装备保障研究提供了思路。     

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

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

软件保障与硬件保障的区别

论述了开展软件保障的迫切需求,分析了软件保障定义与工作内容,并从故障规律、保障需求、保障过程、保障资源和管理要求4个方面论述了软件保障同硬件保障的差别.指出软件保障作为装备保障的重要组成部分,具有特殊的规律和要求,其保障需求的主体来自对软件设计性能的改善和提高;每一次保障过程都需要基层级和基地级的共同参与,并供应至所有配置同类软件的部队;对人员、供应渠道等保障资源的要求高,对传统的备品库存、运输、仓储手段等要求低.     

基于多层次Petri网的软件保障流程建模

软件保障流程分析是研究软件保障规律的重要手段。应用多层赋时变迁、随机Petri网技术,逐步细化建立了软件保障流程仿真模型,给出了各层次模型中库所和变迁的含义。结合模型的仿真分析,提出了用"软件使用保障时间比"作为评价软件保障性的参数,给出了软件使用保障时间比的计算方法,并就该计算方法所表达的意义同装备系统进行了比较,指出了软件使用与保障时间分配的特殊性。     

软件化电子探测装备的发展趋势

雷达、声纳等军事电子探测装备正在发展其硬件平台的标准化与通用化技术.硬件平台的计算机化为装备软件化奠定了基础,但同时也造成了装备软件危机.分析软件无线电概念与技术发展动态,由此启迪电子探测装备的软件化内涵,指出克服软件危机的软件架构标准化发展道路.     

论装备软件价格管理

完善装备软件价格管理工作必须从增强装备价值意识着手,加强装备软件价值估算研究,将装备软件费用作为专项费用独立核算;要加强软件费用模型的跟踪研究,引入现代项目管理思想,使装备软件的价值得到科学体现;要完善竞争机制,实现国防经费资源的合理优化配置。     

基于效能贡献度的装备软件定价方法研究

为肯定智力劳动的价值,科学定价装备软件,首先分析了装备效能与价格的关系,定义装备软件效能贡献度以度量装备软件为装备系统效能实现的影响和作用;然后,采用类比的思想和方法将装备效能作为类比指标,提出基于效能贡献度的装备软件定价方法。应用结果表明,该定价方法充分考虑了装备软件中智力劳动的价值。     

可信软件研究

可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。     

美军用软件保障综合研究

本文主要叙述了美军用软件的维护与评估、软件保障组织和软件的保障方案及软件的保障研究与实践。     

软件通信体系结构在通信测量保障装备中的应用研究

本文在分析了软件通信体系结构(SCA)和通信测量的标准、体系结构的基础上,主要对软件通信体系结构在通信测量保障装备中应用的可行性、风险性进行了研究,简述了模型样机的实施方案。     

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

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

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

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

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

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

软件静态分析融合技术研究

当代军备竞技以武器技术为核心,提升武器装备质量一直以来都是研制重点.装备软件作为武器装备调度的"大脑",关键程度不言而喻.随着武器研制技术的提升,代码规模激增,对装备软件的质量检测技术手段以及效率提出更严格的要求.为弥补单一测试工具检测造成的误检、漏检,提出了基于跨语言文本聚类的静态代码测试结果融合技术,实现多类型测试...     

软件后勤——崭新的领域

随着以信息技术为核心的高新技术在武器装备中的广泛应用,武器装备已步入信息化发展阶段,软件已广泛应用于各种武器系统。通信、指挥、控制、导航、火力支援、防空,以及其它作战系统,都将用软件来提升其装备的作战性能。随着信息化武器装备逐渐装备部队,未来战场上将使用成千上万种军用软件,武器装备的软件新纪元渐渐走近,软件后勤是军队后勤保障体系中的一个崭新领域。     

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

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

信息化武器装备系统中的软件思维

在信息化条件下,重视软件成为共识,但是重视装备软件不仅是在功能技术层面上,还应在思维层面上审视其对武器装备系统的思想内涵和发展思路的深刻影响.从武器装备系统中软硬件的逻辑关系出发,研究软件如何从思维层面影响现代武器装备系统,可以更好地从软件的视角上去理解和把握武器装备系统,真正认识到软件的“灵魂”作用.