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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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