航天軟件需求工程（精）

第1章 軟件需求與軟件需求工程
1．1 什么是軟件需求
1．1．1 需求的定義與分類
1．1．2 需求在軟件開發(fā)中的位置
1．2 什么是軟件需求工程
1．2．1 需求工程的定義
1．2．2 需求工程的內容
1．3 軟件需求工程對航天型號任務的重要性
第2章 航天軟件需求工程概述
2．1 航天軟件需求工程上下文環(huán)境
2．1．1 航天軟件研制相關方及其職責
2．1．2 航天系統(tǒng)工程和軟件工程的工作內容
2．2 國外航天相關標準規(guī)范
2．2．1 NASA標準規(guī)范
2．2．2 ESA標準規(guī)范
2．3 基本術語說明
第3章 軟件需求開發(fā)
3．1 需求開發(fā)流程
3．2 通用需求獲取方法
3．2．1 面談
3．2．2 頭腦風暴
3．2．3 結構化研討會
3．3 用戶需求開發(fā)
3．3．1 任務目標定義
3．3．2 操作概念開發(fā)
3．3．3 技術需求分析
3．3．4 系統(tǒng)分解
3．3．5 設計方案定義與評估
3．3．6 系統(tǒng)需求到軟件需求的轉換
3．4 用戶需求規(guī)格說明
3．4．1 用戶需求規(guī)格說明的原則
3．4．2 用戶需求規(guī)格說明的內容
3．5 軟件需求分析
3．5．1 面向數(shù)據(jù)流的結構化分析方法
3．5．2 面向數(shù)據(jù)結構的結構化分析方法
3．5．3 面向對象分析方法
3．5．4 形式化分析方法
3．5．5 快速原型方法
3．5．6 模型驅動開發(fā)方法
3．6 軟件需求規(guī)格說明
3．6．1 軟件需求規(guī)格說明原則
3．6．2 軟件需求規(guī)格說明內容
3．6．3 自然語言規(guī)格說明
3．6．4 結構化規(guī)格說明
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 需求優(yōu)先級排序
4．4．1 需求優(yōu)先級排序的定義
4．4．2 需求優(yōu)先級排序的過程
4．4．3 需求優(yōu)先級排序技術
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章 軟件安全需求開發(fā)與驗證
6．1 軟件安全性的定義
6．2 軟件安全過程與活動
6．3 系統(tǒng)級危險分析
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 需求規(guī)格說明分析
6．5．4 形式化規(guī)約方法
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 質量監(jiān)測框架
7．2．3 質量測量過程
7．3 需求過程改進
7．3．1 需求過程改進的問題
7．3．2 需求過程改進的方法
參考文獻