航天型号软件生存周期模型选择指南

文中首先阐述有关生存周期模型的基本概念，简要介绍4个已在国内外航天界得到成功应用的典型生存周期模型：瀑布模型、增量模型、进化模型和基于软件包的生存周期模型，分别给出了这4个生存周期模型的优点、缺点、适用情况以及各生存周期阶段的主要产品和里程碑评审，最后给出选择航天型号软件生存周期模型的基本原则。

模型开发在型号软件研制中的应用研究

针对模型开发技术的技术特征,通过对模型开发方法中的模型建模、模型模拟、模型仿真及模型覆盖分析等技术的研究,结合型号软件工程实践,对模型开发在型号软件研制中的应用在体系、过程及文档方面面临的问题进行了分析,从与现有体系规范及研制过程的符合性集成、模型软件测试鉴定以及与其他软件研制方法融合等方面,提出了与型号软件研制要求相符合的基于模型的开发过程方法,并介绍了方法的应用情况和前景。

探究模型开发在型号软件研制中的应用

近年来,随着我国经济水平的不断发展,模型开发技术受到越来越多的关注。而在国内型号研制中,由于各种因素的影响导致此类技术未能得到良好的运用。基于此,就模型开发技术的相关内容和技术特征进行研究,并针对其在型号软件研制中的应用进行了全面分析,以此提高软件研发的有效率和可靠性。

基于关键链的型号软件项目进度管理技术研究

关键链是项目进度管理的一种新方法。针对关键链技术的两个难点问题:如何识别关键链和如何设置缓冲区,结合型号软件项目开发的特点,分别给出了识别关键链的数学模型的求解算法和一种改进型的缓冲区的设置方法。

基于GJB 5000A的军用型号软件需求管理研究

针对本单位军用型号软件数量多、进度紧、开发平台不统一以及软件开发人员能力呈梯度模式分布的实际情况,基于GJB 5000A《军用软件成熟度模型》,研究适用于本单位的软件需求管理过程,提高人员执行效率,确保型号软件质量,促进组织级过程积累,提高本单位软件工程化研制能力。

软件工程标准对航天型号软件工程化规范作用分析

伴随着信息技术的进步和计算机软件工程逐渐趋于成熟,航天型号产品也向数字化、信息化和智能化的方向迅速发展。软件在航天型号产品中的应用越来越广泛,规模和复杂性急剧增加,软件的质量和可靠性对航天型号任务的影响也越来越大。软件工程的过程和型号软件的功能都十分复杂,为了规范软件的设计、开发以及生产维护等各个环节,提高型号软件产品的质量,需要通过制订软件工程标准提升软件研制技术和管理水平,提高软件工程化水平。

航天型号软件项目开发成本估计

基于COCOMO模型并结合中国航天系统型号项目软件开发的特点和现状,讨论了航天型号软件项目开发的成本估计方法。同时指出了成本估计模型是开放的,使用者可以根据具体的环境和人员以及项目的具体特性对它进行剪裁,以使成本的估计更加理想。

全数字仿真技术在航天型号软件测试中的应用

为了更好的进行航天软件的测试工作,解决硬件测试环境的局限性,提高测试技术水平,实现测试工作自动化,采用了全数字仿真技术搭建软件仿真测试环境的方法。本文描述了目前航天软件进行确认测试过程中使用的测试环境,介绍了硬件测试环境和用全数字仿真技术搭建的软件仿真测试环境在航天型号软件测试中的应用情况,重点通过对软、硬件测试环境的实际使用,对2种测试环境进行了分析,指出了软件仿真测试环境相对于硬件测试环境的优势。

提高型号软件可靠性的措施

随着信息技术在军事领域的广泛应用,武器系统对软件的依赖性越来越强,软件的可靠性已成为确保武器系统质量的关键所在。阐述了软件可靠性的重要意义,介绍了软件可靠性的特点,结合在型号研制工作中的经验,分析了影响当前软件可靠性的主要因素,总结了提高型号软件可靠性的措施。

软件工程与软件可靠性——第三讲 航天型号软件研制过程

1.航天型号软件研制特点和现状 航天型号软件和软件研制目前主要有以下一些特点: ①实时嵌入式为主; ②高可靠性、安全性要求; ③规模大、结构复杂; ④自行研制为主; ⑤研制周期长、研制阶段多; ⑥协作关系多; ⑦进度要求严; ⑧以汇编语言为主; ⑨软件工程实施经验少。 2.航天型号软件工程基本目标 航天软件研制人员凭着精神和责任感,成功地研制了一系列功能、性能和质量均很优秀的型号软件。但继续采用手工作坊式的“自编、自导、自演”的开发模式,无法适应新形势下对型号软件的效率和质量要求。

航天型号软件过程改进实践

对GJB 5000—2003《军用软件能力成熟度模型》作了概述,介绍为提高航天型号软件研制质量,北京宇航系统工程研究所启动的基于此标准等级2的软件过程改进工作的历程,并以GJB 5000的要求为依据不断改进,阐述软件过程改进实践中取得的经验与教训。

航天型号软件配置管理研究

随着科学技术的发展,我国的航天技术水平得到了快速提高,促使航天领域向多型号、高密度方向发展。其中,型号软件是航天系统中的重要内容,一旦出现质量问题,会形成严重的安全隐患,不利于我国航天事业的发展。对此,笔者介绍了软件配置管理的概念、解决的主要问题、配置管理的过程以及软件配置管理工具的实施相关的内容,详细阐述了如何能更好管理航天型号的软件资源。

面向航天型号软件缺陷预测的属性选择方法

针对当前航天型号软件模块故障预测中度量属性过多而影响分类模型效率、准确率和数据收集困难的问题,以NASA公布的MDP数据集为基础,设计了基于Logistic回归模型的属性选择算法;通过该算法在6个数据集上的应用选择了对航天型号软件质量影响较大的4个属性,并将其在12个软件中进行验证,说明了该算法的有效性,选择的4个度量属性可为当前航天型号软件的度量提供参考和依据。

面向航天型号软件的混成建模语言研究

随着我国航天事业的快速发展,软件在航天器中的作用和地位越来越突出,航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点,这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力系统,为了描述物理世界的连续行为,希望发展一种面向航天型号软件建模特征的混成描述语言(HSPARDL),使其能够统一地描述其运行的物理过程与软件的控制行为,以及它们之间的协同交互机制,同时,为其提供严格的形式语义模型确保嵌入式软件设计的正确性和可靠性,最终为航天型号软件的设计和实现提供坚实的理论基础和方法支撑.

浅谈型号软件研制中的标准化

概述了航天型号计算机软件的特点,论述了研制过程中实施计算机软件工程标准的必要性及开展的标准化工作。

软件测试技术的探讨

本文探讨了软件测试的若干关键技术,包括单元测试过程及优化、测试准则、测试技术和方法等,并根据 自己的测试实践讨论了某型号项目应用软件测试中出现的问题。

基于SFMECA的第三方软件测试中可靠性评价初探

随着航天技术的不断发展,航天器的可靠性及安全性越来越受到航天行业界的重视。而在航天领域的第三方机构测试中可靠性评价技术还存在着空白,如何在第三方测试中实现对于软件可靠性的评价是当前亟待解决的问题。