航天软件需求工程 航天科技出版基金
出版时间:
2016-06
版次:
1
ISBN:
9787515911748
定价:
98.00
装帧:
其他
开本:
32开
纸张:
胶版纸
5人买过
-
软件需求工程是软件工程的主要研究内容之一,对软件组织改进软件质量、降低成本、提高生产率有重要影响,已经成为各行业和学术界重要的研究领域。随着我国航天事业的发展,系统越来越复杂,软件承担的任务越来越重,航天软件需求工程对保障航天型号任务成功具有重要意义。本书立足航天领域,结合国内外研究成果和项目实践,系统梳理了航天软件需求工程的原理、技术和方法,形成完整的知识体系和实施指南。本书主要面向的读者是航天项目管理人员、系统分析人员、软件开发人员、测试人员等,也可以作为相关专业人员了解和掌握航天需求工程的参考书。 刘姝,女,
1982年生,博士,研究员。主要研究方向包括操作系统、存储系统、软件工程等,作为课题负责人或主要参与人员参加了多项核高基重大专项、国家863计划、载人航天工程软件工程化专项等课题,具有都年航天型号项目实施经验,在国内外会议、期刊发表SCI/EI索引论文数十篇,获得技术发明专利数十项,著有译著1本,专著1本。
程胜,男,1975年出生,博士,研究员。重点研究方向包括嵌入式实时操作系统、数据库管理系统、信息安全等领域,主持过国家核高基重大专项、载人航天工程软件专项及中美国际合作项目等;发表了20多篇论文,出版2部专著。 第1章 软件需求与软件需求工程………………………………… 1
1.1 什么是软件需求……………………………………………… 1
1.1.1 需求的定义与分类……………………………………… 1
1.1.2 需求在软件开发中的位置……………………………… 4
1.2 什么是软件需求工程……………………………………… 16
1.2.1 需求工程的定义……………………………………… 17
1.2.2 需求工程的内容……………………………………… 18
1.3 软件需求工程对航天型号任务的重要性………………… 20
第2章 航天软件需求工程概述…………………………………… 25
2.1 航天软件需求工程上下文环境…………………………… 25
2.1.1 航天软件研制相关方及其职责……………………… 25
2.1.2 航天系统工程和软件工程的工作内容……………… 26
2.2 国外航天相关标准规范…………………………………… 38
2.2.1 NASA 标准规范……………………………………… 38
2.2.2 ESA 标准规范………………………………………… 41
2.3 基本术语说明……………………………………………… 46
第3章 软件需求开发……………………………………………… 49
3.1 需求开发流程……………………………………………… 49
3.2 通用需求获取方法………………………………………… 51
3.2.1 面谈…………………………………………………… 51
3.2.2 头脑风暴……………………………………………… 51
3.2.3 结构化研讨会………………………………………… 52
3.3 用户需求开发……………………………………………… 52
3.3.1 任务目标定义………………………………………… 53
3.3.2 操作概念开发………………………………………… 53
3.3.3 技术需求分析………………………………………… 65
3.3.4 系统分解……………………………………………… 65
3.3.5 设计方案定义与评估………………………………… 68
3.3.6 系统需求到软件需求的转换………………………… 68
3.4 用户需求规格说明………………………………………… 72
3.4.1 用户需求规格说明的原则…………………………… 72
3.4.2 用户需求规格说明的内容…………………………… 72
3.5 软件需求分析……………………………………………… 74
3.5.1 面向数据流的结构化分析方法……………………… 75
3.5.2 面向数据结构的结构化分析方法…………………… 97
3.5.3 面向对象分析方法…………………………………… 104
3.5.4 形式化分析方法……………………………………… 129
3.5.5 快速原型方法………………………………………… 145
3.5.6 模型驱动开发方法…………………………………… 150
3.6 软件需求规格说明………………………………………… 159
3.6.1 软件需求规格说明原则……………………………… 159
3.6.2 软件需求规格说明内容……………………………… 160
3.6.3 自然语言规格说明…………………………………… 162
3.6.4 结构化规格说明……………………………………… 165
3.7 需求分析工具……………………………………………… 168
3.7.1 工具分类……………………………………………… 169
3.7.2 常见工具……………………………………………… 169
第4章 软件需求管理…………………………………………… 174
4.1 需求管理活动与要求……………………………………… 174
4.2 需求标识与分类…………………………………………… 176
4.3 需求追踪…………………………………………………… 176
4.3.1 需求追踪的内容……………………………………… 177
4.3.2 需求追踪的表示方法………………………………… 178
4.3.3 需求追踪模型………………………………………… 180
4.4 需求优先级排序…………………………………………… 185
4.4.1 需求优先级排序的定义……………………………… 186
4.4.2 需求优先级排序的过程……………………………… 186
4.4.3 需求优先级排序技术………………………………… 188
4.5 需求基线与变更管理……………………………………… 193
4.5.1 配置管理……………………………………………… 193
4.5.2 需求基线……………………………………………… 196
4.5.3 需求变更控制………………………………………… 197
4.6 需求管理相关工具………………………………………… 198
4.6.1 需求管理工具………………………………………… 198
4.6.2 配置管理工具………………………………………… 200
第5章 软件需求的验证与确认………………………………… 202
5.1 验证与确认的定义和内容………………………………… 202
5.2 需求验证…………………………………………………… 203
5.2.1 需求验证活动与要求………………………………… 204
5.2.2 需求验证方法………………………………………… 205
5.3 需求确认…………………………………………………… 210
5.3.1 需求确认活动与要求………………………………… 210
5.3.2 需求确认方法………………………………………… 210
5.4 独立验证与确认…………………………………………… 212
第6章 软件安全需求开发与验证……………………………… 213
6.1 软件安全性的定义………………………………………… 213
6.2 软件安全过程与活动……………………………………… 214
6.3 系统级危险分析…………………………………………… 216
6.3.1 初步危险分析………………………………………… 216
6.3.2 软件安全关键性评估………………………………… 220
6.3.3 软件安全工作计划…………………………………… 225
6.4 软件安全需求分析………………………………………… 227
6.4.1 通用软件安全性需求………………………………… 228
6.4.2 软件危险分析………………………………………… 231
6.4.3 软件故障树分析……………………………………… 234
6.4.4 软件失效模式与影响分析…………………………… 241
6.5 软件安全需求验证………………………………………… 248
6.5.1 软件安全需求向下流动分析………………………… 248
6.5.2 关键性分析…………………………………………… 249
6.5.3 需求规格说明分析…………………………………… 251
6.5.4 形式化规约方法……………………………………… 252
6.5.5 模型检测……………………………………………… 252
6.5.6 时间、吞吐量及空间分析…………………………… 254
6.5.7 软件需求的形式检查………………………………… 255
6.6 软件安全性追踪和变更安全性分析……………………… 255
6.6.1 软件安全性追踪……………………………………… 256
6.6.2 软件变更安全性分析………………………………… 256
第7章 软件需求质量管理与过程改进………………………… 258
7.1 质量管理与过程改进基本概念…………………………… 258
7.1.1 软件质量观点………………………………………… 258
7.1.2 过程改进主要标准…………………………………… 260
7.2 基于软件需求的质量管理………………………………… 268
7.2.1 基于需求的质量定义………………………………… 268
7.2.2 质量监测框架………………………………………… 270
7.2.3 质量测量过程………………………………………… 271
7.3 需求过程改进……………………………………………… 273
7.3.1 需求过程改进的问题………………………………… 273
7.3.2 需求过程改进的方法………………………………… 274
参考文献…………………………………………………………… 281
-
内容简介:
软件需求工程是软件工程的主要研究内容之一,对软件组织改进软件质量、降低成本、提高生产率有重要影响,已经成为各行业和学术界重要的研究领域。随着我国航天事业的发展,系统越来越复杂,软件承担的任务越来越重,航天软件需求工程对保障航天型号任务成功具有重要意义。本书立足航天领域,结合国内外研究成果和项目实践,系统梳理了航天软件需求工程的原理、技术和方法,形成完整的知识体系和实施指南。本书主要面向的读者是航天项目管理人员、系统分析人员、软件开发人员、测试人员等,也可以作为相关专业人员了解和掌握航天需求工程的参考书。
-
作者简介:
刘姝,女,
1982年生,博士,研究员。主要研究方向包括操作系统、存储系统、软件工程等,作为课题负责人或主要参与人员参加了多项核高基重大专项、国家863计划、载人航天工程软件工程化专项等课题,具有都年航天型号项目实施经验,在国内外会议、期刊发表SCI/EI索引论文数十篇,获得技术发明专利数十项,著有译著1本,专著1本。
程胜,男,1975年出生,博士,研究员。重点研究方向包括嵌入式实时操作系统、数据库管理系统、信息安全等领域,主持过国家核高基重大专项、载人航天工程软件专项及中美国际合作项目等;发表了20多篇论文,出版2部专著。
-
目录:
第1章 软件需求与软件需求工程………………………………… 1
1.1 什么是软件需求……………………………………………… 1
1.1.1 需求的定义与分类……………………………………… 1
1.1.2 需求在软件开发中的位置……………………………… 4
1.2 什么是软件需求工程……………………………………… 16
1.2.1 需求工程的定义……………………………………… 17
1.2.2 需求工程的内容……………………………………… 18
1.3 软件需求工程对航天型号任务的重要性………………… 20
第2章 航天软件需求工程概述…………………………………… 25
2.1 航天软件需求工程上下文环境…………………………… 25
2.1.1 航天软件研制相关方及其职责……………………… 25
2.1.2 航天系统工程和软件工程的工作内容……………… 26
2.2 国外航天相关标准规范…………………………………… 38
2.2.1 NASA 标准规范……………………………………… 38
2.2.2 ESA 标准规范………………………………………… 41
2.3 基本术语说明……………………………………………… 46
第3章 软件需求开发……………………………………………… 49
3.1 需求开发流程……………………………………………… 49
3.2 通用需求获取方法………………………………………… 51
3.2.1 面谈…………………………………………………… 51
3.2.2 头脑风暴……………………………………………… 51
3.2.3 结构化研讨会………………………………………… 52
3.3 用户需求开发……………………………………………… 52
3.3.1 任务目标定义………………………………………… 53
3.3.2 操作概念开发………………………………………… 53
3.3.3 技术需求分析………………………………………… 65
3.3.4 系统分解……………………………………………… 65
3.3.5 设计方案定义与评估………………………………… 68
3.3.6 系统需求到软件需求的转换………………………… 68
3.4 用户需求规格说明………………………………………… 72
3.4.1 用户需求规格说明的原则…………………………… 72
3.4.2 用户需求规格说明的内容…………………………… 72
3.5 软件需求分析……………………………………………… 74
3.5.1 面向数据流的结构化分析方法……………………… 75
3.5.2 面向数据结构的结构化分析方法…………………… 97
3.5.3 面向对象分析方法…………………………………… 104
3.5.4 形式化分析方法……………………………………… 129
3.5.5 快速原型方法………………………………………… 145
3.5.6 模型驱动开发方法…………………………………… 150
3.6 软件需求规格说明………………………………………… 159
3.6.1 软件需求规格说明原则……………………………… 159
3.6.2 软件需求规格说明内容……………………………… 160
3.6.3 自然语言规格说明…………………………………… 162
3.6.4 结构化规格说明……………………………………… 165
3.7 需求分析工具……………………………………………… 168
3.7.1 工具分类……………………………………………… 169
3.7.2 常见工具……………………………………………… 169
第4章 软件需求管理…………………………………………… 174
4.1 需求管理活动与要求……………………………………… 174
4.2 需求标识与分类…………………………………………… 176
4.3 需求追踪…………………………………………………… 176
4.3.1 需求追踪的内容……………………………………… 177
4.3.2 需求追踪的表示方法………………………………… 178
4.3.3 需求追踪模型………………………………………… 180
4.4 需求优先级排序…………………………………………… 185
4.4.1 需求优先级排序的定义……………………………… 186
4.4.2 需求优先级排序的过程……………………………… 186
4.4.3 需求优先级排序技术………………………………… 188
4.5 需求基线与变更管理……………………………………… 193
4.5.1 配置管理……………………………………………… 193
4.5.2 需求基线……………………………………………… 196
4.5.3 需求变更控制………………………………………… 197
4.6 需求管理相关工具………………………………………… 198
4.6.1 需求管理工具………………………………………… 198
4.6.2 配置管理工具………………………………………… 200
第5章 软件需求的验证与确认………………………………… 202
5.1 验证与确认的定义和内容………………………………… 202
5.2 需求验证…………………………………………………… 203
5.2.1 需求验证活动与要求………………………………… 204
5.2.2 需求验证方法………………………………………… 205
5.3 需求确认…………………………………………………… 210
5.3.1 需求确认活动与要求………………………………… 210
5.3.2 需求确认方法………………………………………… 210
5.4 独立验证与确认…………………………………………… 212
第6章 软件安全需求开发与验证……………………………… 213
6.1 软件安全性的定义………………………………………… 213
6.2 软件安全过程与活动……………………………………… 214
6.3 系统级危险分析…………………………………………… 216
6.3.1 初步危险分析………………………………………… 216
6.3.2 软件安全关键性评估………………………………… 220
6.3.3 软件安全工作计划…………………………………… 225
6.4 软件安全需求分析………………………………………… 227
6.4.1 通用软件安全性需求………………………………… 228
6.4.2 软件危险分析………………………………………… 231
6.4.3 软件故障树分析……………………………………… 234
6.4.4 软件失效模式与影响分析…………………………… 241
6.5 软件安全需求验证………………………………………… 248
6.5.1 软件安全需求向下流动分析………………………… 248
6.5.2 关键性分析…………………………………………… 249
6.5.3 需求规格说明分析…………………………………… 251
6.5.4 形式化规约方法……………………………………… 252
6.5.5 模型检测……………………………………………… 252
6.5.6 时间、吞吐量及空间分析…………………………… 254
6.5.7 软件需求的形式检查………………………………… 255
6.6 软件安全性追踪和变更安全性分析……………………… 255
6.6.1 软件安全性追踪……………………………………… 256
6.6.2 软件变更安全性分析………………………………… 256
第7章 软件需求质量管理与过程改进………………………… 258
7.1 质量管理与过程改进基本概念…………………………… 258
7.1.1 软件质量观点………………………………………… 258
7.1.2 过程改进主要标准…………………………………… 260
7.2 基于软件需求的质量管理………………………………… 268
7.2.1 基于需求的质量定义………………………………… 268
7.2.2 质量监测框架………………………………………… 270
7.2.3 质量测量过程………………………………………… 271
7.3 需求过程改进……………………………………………… 273
7.3.1 需求过程改进的问题………………………………… 273
7.3.2 需求过程改进的方法………………………………… 274
参考文献…………………………………………………………… 281
查看详情
-
全新
湖北省武汉市
平均发货23小时
成功完成率82.11%
-
2016-08 印刷
印次: 1
九品
北京市昌平区
平均发货7小时
成功完成率97.36%
-
九五品
湖北省武汉市
平均发货25小时
成功完成率78.61%
-
全新
湖南省长沙市
平均发货36小时
成功完成率83.66%
-
全新
湖北省武汉市
平均发货19小时
成功完成率72.39%
-
全新
湖北省武汉市
平均发货18小时
成功完成率82.22%
-
全新
江西省九江市
平均发货10小时
成功完成率79.26%
-
全新
湖北省武汉市
平均发货22小时
成功完成率79.61%
-
全新
广东省广州市
平均发货17小时
成功完成率89.5%
-
全新
北京市西城区
平均发货13小时
成功完成率92.89%
-
全新
北京市东城区
平均发货23小时
成功完成率88.17%
-
全新
江苏省无锡市
平均发货8小时
成功完成率96.28%
-
全新
天津市河东区
平均发货24小时
成功完成率90.05%
-
全新
天津市西青区
平均发货14小时
成功完成率90.35%
-
全新
北京市顺义区
平均发货9小时
成功完成率93.36%
-
全新
北京市房山区
平均发货13小时
成功完成率97.09%
-
全新
江苏省无锡市
平均发货9小时
成功完成率94.45%
-
全新
江苏省无锡市
平均发货15小时
成功完成率94.17%
-
全新
北京市朝阳区
平均发货9小时
成功完成率97.18%
-
全新
北京市丰台区
平均发货27小时
成功完成率86.73%
-
全新
四川省成都市
平均发货11小时
成功完成率92.57%
-
航天软件需求工程(
全新正版书籍,假一罚十(图片为标准图,仅供参考。以标题为准,不了解的可以询问客服。) 可开发票
全新
北京市朝阳区
平均发货12小时
成功完成率96.02%
-
航天软件需求工程(
全新正版书籍,假一罚十(图片为标准图,仅供参考。以标题为准,不了解的可以询问客服。) 可开发票
全新
北京市朝阳区
平均发货14小时
成功完成率95.6%
-
航天软件需求工程(
全新正版书籍,假一罚十(图片为标准图,仅供参考。以标题为准,不了解的可以询问客服。) 可开发票
全新
北京市朝阳区
平均发货19小时
成功完成率94.7%
-
全新
广东省广州市
平均发货7小时
成功完成率88.72%
-
九品
北京市昌平区
平均发货22小时
成功完成率88.38%
-
九品
北京市东城区
平均发货25小时
成功完成率88.26%
-
九品
北京市西城区
平均发货18小时
成功完成率80.77%
-
九品
北京市海淀区
平均发货24小时
成功完成率87.6%
-
九品
北京市东城区
平均发货25小时
成功完成率88.26%
-
全新
广东省广州市
平均发货15小时
成功完成率89.48%
-
全新
广东省广州市
平均发货23小时
成功完成率85.83%
-
全新
广东省广州市
平均发货18小时
成功完成率90.02%
-
全新
北京市通州区
平均发货9小时
成功完成率88.61%
-
全新
江苏省南京市
平均发货13小时
成功完成率83.72%
-
全新
江苏省南京市
平均发货6小时
成功完成率98.46%
-
全新
北京市东城区
平均发货10小时
成功完成率95.38%
-
全新
浙江省嘉兴市
平均发货9小时
成功完成率94.43%
-
全新
浙江省嘉兴市
平均发货12小时
成功完成率94.52%
-
全新
北京市朝阳区
平均发货13小时
成功完成率93.78%
-
全新
浙江省嘉兴市
平均发货11小时
成功完成率92.96%
-
全新
四川省成都市
平均发货22小时
成功完成率89.27%
-
全新
山东省泰安市
平均发货9小时
成功完成率91.58%
-
全新
广东省广州市
平均发货17小时
成功完成率87.31%
-
全新
广东省广州市
平均发货7小时
成功完成率94.76%
-
全新
北京市通州区
平均发货43小时
成功完成率82.89%
-
全新
浙江省舟山市
平均发货38小时
成功完成率71.43%