航天型号软件工程方法与技术(精) 9787515908953
全新正版 可开票 支持7天无理由，不清楚的请咨询客服。
￥ 75.31 7.7折 ￥ 98 全新
库存2件
浙江嘉兴
认证卖家担保交易快速发货售后保障
作者王忠贵 刘姝
出版社中国宇航出版社
ISBN9787515908953
出版时间2015-03
装帧精装
开本32开
定价98元
货号3484559
上书时间2024-01-24
- 在售商品 暂无
- 平均发货时间 13小时
- 好评率 暂无
- 最新上架
商品详情
- 品相描述：全新
- 商品描述
-
前言
软件工程是一门工程化的学科，它研究软件的本质、大规模软件开发的途径和方法学、软件行为和软件工程实践背后的理论和规律，有助于提升软件研发效率和软件质量。国内外航天实践都充分证明，航天型号软件研制引入软件工程思想是任务顺利实施的重要保障。
我国航天软件工程的发展是一个不断探索创新的过程。笔者在载人航天软件工程的工作中感触良多。载人航天工程是我国航天发展史上规模**、系统组成*复杂、技术难度**、可靠性安全性要求**的大型系统工程。该工程启动初期，研制队伍中重硬件轻软件的传统观念仍然比较浓厚，个人方法理念主导的工作模式占据主流，软件开发过程不透明，质量不可控，与载人航天工程的要求有很大差距。因此，工程总体下决心引入软件工程管理思想，并作出全面推行软件工程化的决定。通过分管领导主抓、成立软件专家组和充分调研，创新性地建立并实践了工程软件标准规范，走出了一条既符合中国国情、又充分体现复杂系统工程特点的软件工程道路，软件产品质量得到切实保障。我国载人航天工程实施20多年来，圆满完成了6次无人和5次载人飞行任务，实现了中华民族千年的飞天梦和载人航天技术的持续突破，取得了举世瞩目的成就，软件工程功不可没。
本书结合笔者多年从事载人航天工程软件工程工作的实践，系统地总结和介绍了航天型号软件工程的方法与技术。全书共分为17章：
第1章介绍软件工程的基本概念，分析航天型号任务中软件工程的重要性。
第2章介绍航天型号软件的分类，总结航天型号软件工程的核心要素以及软件工程的管理内容。
第3章至第4章概述国内外软件工程化情况，分析NASA、ESA软件工程的组织、标准体系和主要内容，并以载人航天工程为例，详细介绍我国航天软件工程化的发展历程和成果。
第5章至第12章介绍航天型号软件的研制过程，并详细介绍系统级软件分析与设计、软件需求分析、软件设计、软件实现、软件测试、软件运行维护等阶段的工作内容、原理和方法，涵盖了目前型号软件研制中采用的结构化软件开发方法和面向对象软件开发方法。其中，软件研制过程中的安全可靠性相关工作在第12章专题介绍。
第13章至第15章围绕航天型号软件项目管理与计划、软件配置管理、软件质量保证展开，详细介绍了其实现过程和方法，包括软件开发成本估算、进度安排、风险管理、技术状态控制、软件评审等。
第16章至第17章分别介绍模型驱动软件开发方法和形式化软件开发方法，这两个软件工程技术在欧美航天型号软件研发中已经取得一定应用效果，是未来进一步改进软件研发过程、提升软件质量的有效途径。
本书主要面向的读者是航天型号软件系统的设计人员、开发人员、测试人员，以及管理人员。对于非型号软件系统的开发人员而言，本书也不失为一本有助于了解和掌握航天软件工程知识的教程。
本书的编写工作得到了很多同志的帮助，参阅了大量的国内外图书、标准、规范、报告、论文，吸纳借鉴了许多专家和学者的研究成果。感谢何新贵院士为本书作序，感谢载人航天工程软件专家组专家对本书提出的宝贵建议，感谢张丽艳、程胜、李书良、李尚杰等同志对本书编写与出版工作的支持；同时也感谢中国宇航出版社的大力支持。
因学识有限，时间紧迫，书中难免有错误和不足之处，敬请读者批评与指正。
王忠贵
2015年2月
商品简介
本书在分析国内外航天软件工程实施情况的基础上，全面介绍了航天型号软件研制过程和管理内容，并深入阐述了软件研制各阶段、软件项目管理与计划、软件配置管理和软件质量保证等涉及的理论、方法和相关技术，详细分析了模型驱动软件开发方法和形式化开发方法在我国航天软件工程中的应用前景，不仅能够系统、全面地指导航天型号软件工程的实施，还对航天型号软件工程的发展进行了探讨。
作者简介
王忠贵，1961年出生，博士；现任中国载人航天工程副总设计师，探月工程（二期）副总设计师，长期从事航天系统工程总体设计、研究和软件工程化工作；参与主持神舟一号至十号、嫦娥二号和嫦娥三号任务的总体设计、研制和飞行试验，指导完成了神舟七号出舱活动及空间交会对接历次飞行任务软件研制工作，提出了全面建立航天型号软件工程化技术标准的思想，指导编制并建立了载人航天工程软件技术标准体系。
刘姝，1982年1月出生，博士，高级工程师。从事航天软件相关技术研究，主要负责核高基重大专项、载人航天工程软件工程化等相关项目研究，研究方向包括操作系统、存储系统、SoC、网络、软件工程等
目录
第1章 概 述
1.1 软件工程的概念
1.1.1 软件工程定义
1.1.2 软件工程的基本约束
1.1.3 软件工程的研究内容
1.2 航天实施软件工程的必要性
1.2.1 软件质量问题影响型号任务成败
1.2.2 航天型号软件研制面临挑战
第2章 航天型号软件工程化的要素和方法
2.1 航天型号软件的分类
2.2 航天型号软件工程的核心要素
2.2.1 软件开发过程
2.2.2 软件开发方法
2.2.3 软件工程工具
内容摘要
《航天型号软件工程方法与技术》在分析国内外航天软件工程实施情况的基础上，全面介绍了航天型号软件研制过程和管理内容，并深入阐述了软件研制各阶段、软件项目管理与计划、软件配置管理和软件质量保证等涉及的理论、方法和相关技术，详细分析了模型驱动软件开发方法和形式化开发方法在我国航天软件工程中的应用前景，不仅能够
系统、全面地指导航天型号软件工程的实施，还对航天型号软件工程的发展进行了探讨。
航天型号软件研制引入软件工程思想是任务顺利实施的重要保障。航天软件工程标准体系建设、技术和方法研究、软件研制和管理队伍培养等方面取得了显著成果。但是，软件工程化标准实施过程缺乏系统化的指南。本书结合作者多年从事载人航天工程软件工程工作的实践，在分析国内外航天软件工程实施情况的基础上，系统地总结和介绍了航天型号软件工程研制的过程、技术与管理方法；具有较高的学术水平与实践指导意义。
主编推荐
本书主要面向的读者是航天型号软件的设计人员、开发人员、测试人员以及管理人员，也可以作为相关专业人员了解和掌握航天型号软件工程的参考书。
【内容简介】
— 没有更多了 —
以下为对购买帮助不大的评价