凈室軟件工程：技術與過程

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