航天軟件需求工程（精）

第1章 軟件需求與軟件需求工程
1．1 什么是軟件需求
1．1．1 需求的定義與分類
1．1．2 需求在軟件開發(fā)中的位置
1．2 什么是軟件需求工程
1．2．1 需求工程的定義
1．2．2 需求工程的內(nèi)容
1．3 軟件需求工程對航天型號任務(wù)的重要性
第2章 航天軟件需求工程概述
2．1 航天軟件需求工程上下文環(huán)境
2．1．1 航天軟件研制相關(guān)方及其職責(zé)
2．1．2 航天系統(tǒng)工程和軟件工程的工作內(nèi)容
2．2 國外航天相關(guān)標(biāo)準(zhǔn)規(guī)范
2．2．1 NASA標(biāo)準(zhǔn)規(guī)范
2．2．2 ESA標(biāo)準(zhǔn)規(guī)范
2．3 基本術(shù)語說明
第3章 軟件需求開發(fā)
3．1 需求開發(fā)流程
3．2 通用需求獲取方法
3．2．1 面談
3．2．2 頭腦風(fēng)暴
3．2．3 結(jié)構(gòu)化研討會
3．3 用戶需求開發(fā)
3．3．1 任務(wù)目標(biāo)定義
3．3．2 操作概念開發(fā)
3．3．3 技術(shù)需求分析
3．3．4 系統(tǒng)分解
3．3．5 設(shè)計方案定義與評估
3．3．6 系統(tǒng)需求到軟件需求的轉(zhuǎn)換
3．4 用戶需求規(guī)格說明
3．4．1 用戶需求規(guī)格說明的原則
3．4．2 用戶需求規(guī)格說明的內(nèi)容
3．5 軟件需求分析
3．5．1 面向數(shù)據(jù)流的結(jié)構(gòu)化分析方法
3．5．2 面向數(shù)據(jù)結(jié)構(gòu)的結(jié)構(gòu)化分析方法
3．5．3 面向?qū)ο蠓治龇椒?br />3．5．4 形式化分析方法
3．5．5 快速原型方法
3．5．6 模型驅(qū)動開發(fā)方法
3．6 軟件需求規(guī)格說明
3．6．1 軟件需求規(guī)格說明原則
3．6．2 軟件需求規(guī)格說明內(nèi)容
3．6．3 自然語言規(guī)格說明
3．6．4 結(jié)構(gòu)化規(guī)格說明
3．7 需求分析工具
3．7．1 工具分類
3．7．2 常見工具
第4章 軟件需求管理
4．1 需求管理活動與要求
4．2 需求標(biāo)識與分類
4．3 需求追蹤
4．3．1 需求追蹤的內(nèi)容
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)先級排序技術(shù)
4．5 需求基線與變更管理
4．5．1 配置管理
4．5．2 需求基線
4．5．3 需求變更控制
4．6 需求管理相關(guān)工具
4．6．1 需求管理工具
4．6．2 配置管理工具
第5章 軟件需求的驗證與確認(rèn)
5．1 驗證與確認(rèn)的定義和內(nèi)容
5．2 需求驗證
5．2．1 需求驗證活動與要求
5．2．2 需求驗證方法
5．3 需求確認(rèn)
5．3．1 需求確認(rèn)活動與要求
5．3．2 需求確認(rèn)方法
5．4 獨立驗證與確認(rèn)
第6章 軟件安全需求開發(fā)與驗證
6．1 軟件安全性的定義
6．2 軟件安全過程與活動
6．3 系統(tǒng)級危險分析
6．3．1 初步危險分析
6．3．2 軟件安全關(guān)鍵性評估
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 關(guān)鍵性分析
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章 軟件需求質(zhì)量管理與過程改進
7．1 質(zhì)量管理與過程改進基本概念
7．1．1 軟件質(zhì)量觀點
7．1．2 過程改進主要標(biāo)準(zhǔn)
7．2 基于軟件需求的質(zhì)量管理
7．2．1 基于需求的質(zhì)量定義
7．2．2 質(zhì)量監(jiān)測框架
7．2．3 質(zhì)量測量過程
7．3 需求過程改進
7．3．1 需求過程改進的問題
7．3．2 需求過程改進的方法
參考文獻