《航天軟體需求工程》是2016年中國宇航出版社出版的圖書，作者是劉姝、程勝。
基本介紹
- 書名：航天軟體需求工程
- 作者：劉姝、程勝
- ISBN：9787515911748
- 頁數：286頁
- 定價：98元
- 出版社：中國宇航出版社
- 出版時間：2016年8月
- 裝幀：精裝
- 開本：16開
內容簡介,圖書目錄,
內容簡介
軟體需求工程是軟體工程的主要研究內容之一，對軟體組織改進軟體質量、降低成本、提高生產率有重要影響，已經成為各行業和學術界重要的研究領域。隨著我國航天事業的發展，系統越來越複雜，軟體承擔的任務越來越重，航天軟體需求工程對保障航天型號任務成功具有重要意義。
《航天軟體需求工程》立足航天領域，結合國內外研究成果和項目實踐，系統梳理了航天軟體需求工程的原理、技術和方法，形成完整的知識體系和實施指南。
《航天軟體需求工程》主要面向的讀者是航天項目管理人員、系統分析人員、軟體開發人員、測試人員等，也可以作為相關專業人員了解和掌握航天需求工程的參考書。
圖書目錄
第1章 軟體需求與軟體需求工程
1．1 什麼是軟體需求
1．1．1 需求的定義與分類
1．1．2 需求在軟體開發中的位置
1．2 什麼是軟體需求工程
1．2．1 需求工程的定義
1．2．2 需求工程的內容
1．3 軟體需求工程對航天型號任務的重要性
第2章 航天軟體需求工程概述
2．1 航天軟體需求工程上下文環境
2．1．1 航天軟體研製相關方及其職責
2．1．2 航天系統工程和軟體工程的工作內容
2．2 國外航天相關標準規範
2．2．1 NASA標準規範
2．2．2 ESA標準規範
2．3 基本術語說明
第3章 軟體需求開發
3．1 需求開發流程
3．2 通用需求獲取方法
3．2．1 面談
3．2．2 頭腦風暴
3．2．3 結構化研討會
3．3 用戶需求開發
3．3．1 任務目標定義
3．3．2 操作概念開發
3．3．3 技術需求分析
3．3．4 系統分解
3．3．5 設計方案定義與評估
3．3．6 系統需求到軟體需求的轉換
3．4 用戶需求規格說明
3．4．1 用戶需求規格說明的原則
3．4．2 用戶需求規格說明的內容
3．5 軟體需求分析
3．5．1 面向數據流的結構化分析方法
3．5．2 面向數據結構的結構化分析方法
3．5．3 面向對象分析方法
3．5．4 形式化分析方法
3．5．5 快速原型方法
3．5．6 模型驅動開發方法
3．6 軟體需求規格說明
3．6．1 軟體需求規格說明原則
3．6．2 軟體需求規格說明內容
3．6．3 自然語言規格說明
3．6．4 結構化規格說明
3．7 需求分析工具
3．7．1 工具分類
3．7．2 常見工具
第4章 軟體需求管理
4．1 需求管理活動與要求
4．2 需求標識與分類
4．3 需求追蹤
4．3．1 需求追蹤的內容
4．3．2 需求追蹤的表示方法
4．3．3 需求追蹤模型
4．4 需求優先權排序
4．4．1 需求優先權排序的定義
4．4．2 需求優先權排序的過程
4．4．3 需求優先權排序技術
4．5 需求基線與變更管理
4．5．1 配置管理
4．5．2 需求基線
4．5．3 需求變更控制
4．6 需求管理相關工具
4．6．1 需求管理工具
4．6．2 配置管理工具
第5章 軟體需求的驗證與確認
5．1 驗證與確認的定義和內容
5．2 需求驗證
5．2．1 需求驗證活動與要求
5．2．2 需求驗證方法
5．3 需求確認
5．3．1 需求確認活動與要求
5．3．2 需求確認方法
5．4 獨立驗證與確認
第6章 軟體安全需求開發與驗證
6．1 軟體安全性的定義
6．2 軟體安全過程與活動
6．3 系統級危險分析
6．3．1 初步危險分析
6．3．2 軟體安全關鍵性評估
6．3．3 軟體安全工作計畫
6．4 軟體安全需求分析
6．4．1 通用軟體安全性需求
6．4．2 軟體危險分析
6．4．3 軟體故障樹分析
6．4．4 軟體失效模式與影響分析
6．5 軟體安全需求驗證
6．5．1 軟體安全需求向下流動分析
6．5．2 關鍵性分析
6．5．3 需求規格說明分析
6．5．4 形式化規約方法
6．5．5 模型檢測
6．5．6 時間、吞吐量及空間分析
6．5．7 軟體需求的形式檢查
6．6 軟體安全性追蹤和變更安全性分析
6．6．1 軟體安全性追蹤
6．6．2 軟體變更安全性分析
第7章 軟體需求質量管理與過程改進
7．1 質量管理與過程改進基本概念
7．1．1 軟體質量觀點
7．1．2 過程改進主要標準
7．2 基於軟體需求的質量管理
7．2．1 基於需求的質量定義
7．2．2 質量監測框架
7．2．3 質量測量過程
7．3 需求過程改進
7．3．1 需求過程改進的問題
7．3．2 需求過程改進的方法
參考文獻
