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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

软件保障性评估在维修性分配和预计软件中的应用

从软件保障性的影响要素——软件生命周期过程、软件自身的设计特性和保障资源出发,阐明了软件保障性评估的原理,提出了一套软件保障性评估方案。通过在某维修性分配和预计软件上的具体实践,充分验证了该评估方案的可行性和实用性。     

军用可信软件现状及发展研究

随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内外军事相关领域可信软件的发展现状,指出了当前我军军用软件研发模式中的不足并阐述了开展军用可信软件研究的意义及其发展方向。