凈室軟件工程：技術(shù)與過(guò)程

第一部分 凈室軟件工程基礎(chǔ)
第1章 凈室方法概述
1.1 經(jīng)濟(jì)地生產(chǎn)高質(zhì)量軟件
1.1.1 可管理的開(kāi)發(fā)
1.1.2 使用中無(wú)失效
1.2 凈室基礎(chǔ)
1.2.1 函數(shù)理論
1.2.2 統(tǒng)計(jì)理論
1.2.3 凈室小組的工作
1.3 凈室技術(shù)
1.3.1 在統(tǒng)計(jì)過(guò)程控制下的增量開(kāi)發(fā)
1.3.2 基于函數(shù)的規(guī)范、設(shè)計(jì)和驗(yàn)證
1.3.3 正確性驗(yàn)證
1.3.4 統(tǒng)計(jì)測(cè)試和軟件認(rèn)證
1.4 凈室過(guò)程
1.5 凈室與其他軟件工程慣例的關(guān)系
1.5.1 面向?qū)ο?br />1.5.2 軟件復(fù)用
1.5.3 軟件體系結(jié)構(gòu)
1.5.4 檢查和評(píng)審
1.5.5 軟件測(cè)試方法
1.6 凈室工程實(shí)踐
1.7 參考文獻(xiàn)
1.8 推薦讀物
第2章 增量式開(kāi)發(fā)的凈室管理
2.1 增量式開(kāi)發(fā)的優(yōu)點(diǎn)
2.1.1 進(jìn)展的可見(jiàn)性
2.1.2 智能控制
2.1.3 增量系統(tǒng)集成
2.1.4 連續(xù)質(zhì)量反饋貫穿統(tǒng)計(jì)過(guò)程控制
2.1.5 用戶(hù)使用中不斷的功能反饋
2.1.6 變更的積累
2.1.7 進(jìn)度與資源管理
2.2 增量式開(kāi)發(fā)的理論基礎(chǔ)
2.2.1 算術(shù)中的引用透明性
2.2.2 軟件中的引用透明性
2.3 實(shí)踐中的增量計(jì)劃
2.3.1 用戶(hù)需求
2.3.2 明確需求
2.3.3 操作使用概率
2.3.4 可靠性管理
2.3.5 系統(tǒng)工程
2.3.6 技術(shù)挑戰(zhàn)
2.3.7 重用的影響與作用
2.4 實(shí)踐中的增量開(kāi)發(fā)
2.5 參考文獻(xiàn)
第3章 凈室軟件規(guī)范
3.1 凈室規(guī)范和設(shè)計(jì)的盒子結(jié)構(gòu)
3.1.1 黑盒行為
3.1.2 狀態(tài)盒行為
3.1.3 明盒行為
3.1.4 盒子結(jié)構(gòu)層次
3.1.5 盒子結(jié)構(gòu)原則
3.1.6 盒子結(jié)構(gòu)的開(kāi)發(fā)過(guò)程
3.2 基于序列的規(guī)范過(guò)程
3.2.1 黑盒定義
3.2.2 狀態(tài)盒定義
3.3 例子：一個(gè)安全報(bào)警器的規(guī)范
3.3.1 定義黑盒子
3.3.2 狀態(tài)盒安義
3.4 參考文獻(xiàn)
第4章 明盒開(kāi)發(fā)計(jì)劃
4.1 盒式結(jié)構(gòu)開(kāi)發(fā)
4.2 明盒開(kāi)發(fā)
4.2.1 明盒結(jié)構(gòu)
4.2.2 明盒抽象化和文檔化
4.2.3 明盒預(yù)期函數(shù)設(shè)計(jì)
4.3 明盒驗(yàn)證
4.3.1 正確性問(wèn)題
4.3.2 一個(gè)正確性驗(yàn)證的例子
4.3.3 實(shí)際驗(yàn)證
4.4 例子：安全報(bào)警器明盒
4.4.1 設(shè)計(jì)方案
4.4.2 產(chǎn)品演化中的靈活的結(jié)構(gòu)
4.4.3 安全報(bào)警器明盒設(shè)計(jì)
4.4.4 明盒的正確性驗(yàn)證
4.5 參考文獻(xiàn)
第5章 凈室軟件認(rèn)證
5.1 基于使用模型的統(tǒng)計(jì)測(cè)試的優(yōu)點(diǎn)
5.2 統(tǒng)計(jì)測(cè)試的理論基礎(chǔ)
5.2.1 樣本與總體
5.2.2 軟件使用的隨機(jī)屬性
5.3 統(tǒng)計(jì)使用測(cè)試的實(shí)際應(yīng)用
5.3.1 使用規(guī)范
5.3.2 使用模型的開(kāi)發(fā)
5.3.3 使用模型分析和測(cè)試計(jì)劃
5.3.4 測(cè)試用例生成與測(cè)試
5.3.5 測(cè)試充分性和產(chǎn)品質(zhì)量的度量
5.4 事例：安全警報(bào)
5.4.1 使用模型
5.4.2 測(cè)試
5.4.3 測(cè)試充分性的度量
5.4.4 產(chǎn)品質(zhì)量的度量
5.5 參考文獻(xiàn)
第二部分 凈室軟件工程參考模型
第6章 凈室參考模型
6.1 凈室參考模型CRM簡(jiǎn)介
6.2 凈室過(guò)程定義格式
6.3 共同的凈室過(guò)程要素
6.4 參考文獻(xiàn)
第7章 凈室管理過(guò)程
7.1 項(xiàng)目規(guī)劃過(guò)程
7.2 項(xiàng)目管理過(guò)程
7.3 行為改進(jìn)過(guò)程
7.4 工程變更過(guò)程
第8章 凈室規(guī)范過(guò)程
8.1 需求分析過(guò)程
8.2 功能規(guī)范過(guò)程
8.3 使用規(guī)范過(guò)程
8.4 體系結(jié)構(gòu)規(guī)范過(guò)程
8.5 增量規(guī)劃過(guò)程
8.6 參考文獻(xiàn)
第9章 凈室軟件開(kāi)發(fā)過(guò)程
9.1 軟件再工程過(guò)程
9.2 增量設(shè)計(jì)過(guò)程
9.3 正確性驗(yàn)證過(guò)程
9.4 參考文獻(xiàn)
第10章 凈室認(rèn)證過(guò)程
10.1 使用建模和測(cè)試規(guī)劃過(guò)程
10.2 統(tǒng)計(jì)測(cè)試和認(rèn)證過(guò)程
10.3 參考文獻(xiàn)
第11章 凈室和軟件能力成熟度模型
11.1 軟件能力成熟度模型(CMM)
11.2 凈室過(guò)程映到CMM的關(guān)鍵過(guò)程域
11.3 集成凈室參考模型技術(shù)和CMM管理
11.4 參考文獻(xiàn)
第三部分 凈室軟件工程實(shí)例研究
第12章 衛(wèi)星控制系統(tǒng)需求
12.1 衛(wèi)星控制系統(tǒng)實(shí)例研究
12.2 衛(wèi)星操作軟件需求
12.3 參考文獻(xiàn)
第13章 衛(wèi)星控制系統(tǒng)的黑盒規(guī)范
13.1 基于序列的黑盒規(guī)范
13.2 第一步：定義系統(tǒng)邊界
13.3 第二步：枚舉激勵(lì)序列
13.4 第三步：分析典型序列
13.5 第四步：定義規(guī)范函數(shù)
13.6 第五步：構(gòu)造黑盒表
13.7 除去抽象
13.8 通用的序列抽象技術(shù)
13.8.1 非形式化的抽象激勵(lì)定義
13.8.2 基于激勵(lì)的抽象
13.8.3 基于序列的抽象
第14章 衛(wèi)星控制系統(tǒng)狀態(tài)盒規(guī)范
14.1 狀態(tài)盒規(guī)范
14.2 步驟1：擬定狀態(tài)數(shù)據(jù)
14.2.1 規(guī)范函數(shù)
14.2.2 抽象
14.2.3 響應(yīng)
14.3 步驟2：構(gòu)造狀態(tài)盒表
第15章 衛(wèi)星控制系統(tǒng)明盒設(shè)計(jì)
15.1 明盒實(shí)現(xiàn)
15.2 第一步：選擇一個(gè)高層軟件結(jié)構(gòu)
15.2.1 開(kāi)始和中止
15.2.2 目標(biāo)硬件結(jié)構(gòu)
15.2.3 硬件接口
15.2.4 軟件結(jié)構(gòu)
15.3 第二步：為捕獲激勵(lì)選擇一種實(shí)現(xiàn)
15.4 第三步：為產(chǎn)生響應(yīng)選擇一種實(shí)現(xiàn)
15.5 第四步：為狀態(tài)數(shù)據(jù)項(xiàng)選擇一種實(shí)現(xiàn)
15.5.1 對(duì)象的數(shù)據(jù)配置
15.5.2 狀態(tài)測(cè)試與更新
15.6 第五步：為狀態(tài)盒表中的每一個(gè)入口選擇一種實(shí)現(xiàn)
15.7 第六步：重新組織實(shí)現(xiàn)形成可執(zhí)行代碼
第16章 衛(wèi)星控制系統(tǒng)測(cè)試和認(rèn)證
16.1 統(tǒng)計(jì)測(cè)試
16.2 第一步：定義認(rèn)證計(jì)劃
16.2.1 目標(biāo)
16.2.2 用戶(hù)、使用和環(huán)境
16.3 第二步：建立模型結(jié)構(gòu)
16.4 第三步：確定狀態(tài)轉(zhuǎn)移概率
16.5 第四步：確認(rèn)使用模型
16.6 第五步：產(chǎn)生測(cè)試實(shí)例，執(zhí)行和評(píng)估結(jié)果
16.6.1 模型覆蓋
16.6.2 需求覆蓋
16.6.3 SOS錯(cuò)誤層次(strata)
16.6.4 一般現(xiàn)場(chǎng)操作