航天軟件需求工程（精）

第1章 軟件需求與軟件需求工程
1．1 什么是軟件需求
1．1．1 需求的定義與分類
1．1．2 需求在軟件開(kāi)發(fā)中的位置
1．2 什么是軟件需求工程
1．2．1 需求工程的定義
1．2．2 需求工程的內(nèi)容
1．3 軟件需求工程對(duì)航天型號(hào)任務(wù)的重要性
第2章 航天軟件需求工程概述
2．1 航天軟件需求工程上下文環(huán)境
2．1．1 航天軟件研制相關(guān)方及其職責(zé)
2．1．2 航天系統(tǒng)工程和軟件工程的工作內(nèi)容
2．2 國(guó)外航天相關(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ù)語(yǔ)說(shuō)明
第3章 軟件需求開(kāi)發(fā)
3．1 需求開(kāi)發(fā)流程
3．2 通用需求獲取方法
3．2．1 面談
3．2．2 頭腦風(fēng)暴
3．2．3 結(jié)構(gòu)化研討會(huì)
3．3 用戶需求開(kāi)發(fā)
3．3．1 任務(wù)目標(biāo)定義
3．3．2 操作概念開(kāi)發(fā)
3．3．3 技術(shù)需求分析
3．3．4 系統(tǒng)分解
3．3．5 設(shè)計(jì)方案定義與評(píng)估
3．3．6 系統(tǒng)需求到軟件需求的轉(zhuǎn)換
3．4 用戶需求規(guī)格說(shuō)明
3．4．1 用戶需求規(guī)格說(shuō)明的原則
3．4．2 用戶需求規(guī)格說(shuō)明的內(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ū)動(dòng)開(kāi)發(fā)方法
3．6 軟件需求規(guī)格說(shuō)明
3．6．1 軟件需求規(guī)格說(shuō)明原則
3．6．2 軟件需求規(guī)格說(shuō)明內(nèi)容
3．6．3 自然語(yǔ)言規(guī)格說(shuō)明
3．6．4 結(jié)構(gòu)化規(guī)格說(shuō)明
3．7 需求分析工具
3．7．1 工具分類
3．7．2 常見(jiàn)工具
第4章 軟件需求管理
4．1 需求管理活動(dòng)與要求
4．2 需求標(biāo)識(shí)與分類
4．3 需求追蹤
4．3．1 需求追蹤的內(nèi)容
4．3．2 需求追蹤的表示方法
4．3．3 需求追蹤模型
4．4 需求優(yōu)先級(jí)排序
4．4．1 需求優(yōu)先級(jí)排序的定義
4．4．2 需求優(yōu)先級(jí)排序的過(guò)程
4．4．3 需求優(yōu)先級(jí)排序技術(shù)
4．5 需求基線與變更管理
4．5．1 配置管理
4．5．2 需求基線
4．5．3 需求變更控制
4．6 需求管理相關(guān)工具
4．6．1 需求管理工具
4．6．2 配置管理工具
第5章 軟件需求的驗(yàn)證與確認(rèn)
5．1 驗(yàn)證與確認(rèn)的定義和內(nèi)容
5．2 需求驗(yàn)證
5．2．1 需求驗(yàn)證活動(dòng)與要求
5．2．2 需求驗(yàn)證方法
5．3 需求確認(rèn)
5．3．1 需求確認(rèn)活動(dòng)與要求
5．3．2 需求確認(rèn)方法
5．4 獨(dú)立驗(yàn)證與確認(rèn)
第6章 軟件安全需求開(kāi)發(fā)與驗(yàn)證
6．1 軟件安全性的定義
6．2 軟件安全過(guò)程與活動(dòng)
6．3 系統(tǒng)級(jí)危險(xiǎn)分析
6．3．1 初步危險(xiǎn)分析
6．3．2 軟件安全關(guān)鍵性評(píng)估
6．3．3 軟件安全工作計(jì)劃
6．4 軟件安全需求分析
6．4．1 通用軟件安全性需求
6．4．2 軟件危險(xiǎn)分析
6．4．3 軟件故障樹(shù)分析
6．4．4 軟件失效模式與影響分析
6．5 軟件安全需求驗(yàn)證
6．5．1 軟件安全需求向下流動(dòng)分析
6．5．2 關(guān)鍵性分析
6．5．3 需求規(guī)格說(shuō)明分析
6．5．4 形式化規(guī)約方法
6．5．5 模型檢測(cè)
6．5．6 時(shí)間、吞吐量及空間分析
6．5．7 軟件需求的形式檢查
6．6 軟件安全性追蹤和變更安全性分析
6．6．1 軟件安全性追蹤
6．6．2 軟件變更安全性分析
第7章 軟件需求質(zhì)量管理與過(guò)程改進(jìn)
7．1 質(zhì)量管理與過(guò)程改進(jìn)基本概念
7．1．1 軟件質(zhì)量觀點(diǎn)
7．1．2 過(guò)程改進(jìn)主要標(biāo)準(zhǔn)
7．2 基于軟件需求的質(zhì)量管理
7．2．1 基于需求的質(zhì)量定義
7．2．2 質(zhì)量監(jiān)測(cè)框架
7．2．3 質(zhì)量測(cè)量過(guò)程
7．3 需求過(guò)程改進(jìn)
7．3．1 需求過(guò)程改進(jìn)的問(wèn)題
7．3．2 需求過(guò)程改進(jìn)的方法
參考文獻(xiàn)