航天测控软件共用技术研究与实现

软件共用是航天测控软件的发展趋势,分析了航天测控软件共用的可行性,并选取火箭遥测软件作为原型验证系统,提出了解决方案和设计方法,采用ICE中间件和构件技术实现了该原型验证系统,经测试验证,分布式部署的原型验证软件各项指标满足测控任务软件的技术要求,对航天测控软件共用研究具有重要的借鉴和指导意义。     

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

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

火控计算机的软件支持

针对机载、舰用以及地面火控计算机,阐述软件和软件支持的概念,强调软件支持应该遵守的前提原则,讨论软件支持的发展替续,并例举软件支持的实现过程。给出的结论和模式,对于火控软件的低成本获取具有参考价值,对于火控任务的高效率完成具有重要意义。     

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

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

防空导弹武器系统软件质量控制的环节

一些典型的武器系统软件实例表明,影响防空导弹武器系统作战成败的关键因素之一是其软件（尤其是作战软件）的质量。如何确保这类关键软件的质量,一直是困扰着武器系统决策人员、软件人员和质量管理人员的一个大问题,也是软件生产中的一个薄弱环节。在型号软件的开发过程中,经初步的实践认为软件验证与确认、软件测试、软件评审和软件管理是控制软件质量的４个重要环节。在简要描述防空导弹武器系统软件属性的基础上,重点阐明每个环节的作用、意义、实施方法和要求等。     

浅析军用软件质量管理存在的问题

<正>软件质量作为软件开发方和用户的共同质量价值观的体现,只有通过科学的软件质量管理模式、系统的软件质量工程体系,贯穿到软件的整个开发和维护的生命周期,才能切实有效地发挥其作用。引言军用软件在武器装备上的应用规模不断增大,对系统功能与性能的影响也越来越大,现代武器装备已不再是单纯的"硬件工程流",也不是以硬件为中心的"系统工程流",而是先进行硬件与软件的综合和功能分配,而后按"硬件工作流"和"软件工作流"分别开发硬件和软件,最后再对硬件和软件进行系统集成。     

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

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

舰空导弹武器系统作战软件的质量保证

舰空导弹武器系统作战软件属要害软件,因而它是该系统的一个关键件。如何确保这类软件的质量,尤其是确保其可靠性和安全性,始终是一项复杂而又艰巨的研究课题。文章在简要描述了舰空导弹武器系统的主要特点和作战软件的基础上,重点介绍了软件质量管理、软件生产工具和软件开发方法。为了改进传统的瀑布型的软件生存周期模型,针对要害软件的特点,提出了要害软件开发周期的车轮模型。     

航天软件的配置管理

航天软件一般是航天系统中的一个要害软件.要开发一个合格的航天软件,必须严格遵循软件的配置管理.首先论述了航天软件的基本要求,在此基础上较详细介绍了软件配置管理的方法、步骤和要求.     

软件总线：体系结构分析与设计

软件总线为复杂软件系统的构件组织和管理提供了平台.为规范软件总线体系结构开发,建立了软件总线结构模型,并对其通讯、构件管理、任务调度、接口控制等功能实现进行了研究,提出了软件总线框架结构及其基于软件总线的软件系统开发流程和方法.     

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

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

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

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

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

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

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

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

“心脏出血”漏洞的特点分析和对策建议

概括介绍＂心脏出血＂漏洞的基本概念、发现和公布、攻击和演变、处理和防范等有关情况,从安全通信协议软件、开源软件地位作用、开源软件代码管理和开源软件分析运用等方面分析特点并提出对策建议。     

航天发射试验组织指挥工作计划图制作软件

本文通过分析用WPS和画图软件制作工作计划图的不便与困难 ,提出了专用工作计划图制作软件应具备的基本功能。依此 ,作者设计开发了一个软件原型 ,并就软件的功能和数据组织结构进行了着重探讨     

战斗部威力/目标易损性评估软件研究

跟踪分析了国内外战斗部威力/目标易损性评估软件的发展现状,建立了战斗部威力/目标易损性评估软件的基本原则和总体框架.确定软件的各个功能模块,并完成各个模块的功能分析.基此开发了反导战斗部毁伤评估软件,给出了评估软件的应用实例.该研究工作可为战斗部威力设计和目标易损性评估研究提供帮助.     

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

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

论软件缺陷

软件的缺陷是软件质量的重要因素之一,低缺陷密度的软件是高质量软件的必要条件。软件的缺陷是不可避免的,统计表明,经过PSP训练的软件工程师平均引入的缺陷密度为50个缺陷/kLOC。通过对软件缺陷概念及分类、产生缺陷的原因及如何避免产生缺陷、缺陷排除的分析和软件缺陷与软件故障率之间的关系的研究,探讨了如何研制低缺陷密度的软件。     

软件静态分析工具评析

为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析。软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,可为软件测试人员选择合适的软件静态分析工具提供参考。