面向對象的軟件缺陷管理

前言
第1章 預備知識
1.1 軟件、軟件工程和軟件工程過程
1.1.1 軟件工程的構造性方法
1.1.2 構造軟件的過程
1.2 面向對象
1.3 缺陷管理
1.4 描述質量
1.5 質量觀點
1.6 內(nèi)部質量與外部質量：形式與功能
1.7 軟件產(chǎn)品質量屬性
1.7.1 外部質量目標
1.7.2 面向客戶的質量評估
1.8 評估產(chǎn)品質量
1.9 實現(xiàn)質量目標
1.9.1 關注產(chǎn)品
1.9.2 產(chǎn)品與過程的聯(lián)系
1.9.3 關注過程
1.9.4 近來的發(fā)展
1.10 結論
第2章 面向對象環(huán)境下的缺陷和缺陷管理
2.1 為何面向對象人缺陷管理帶來挑戰(zhàn)
2.1.1 抽象
2.1.2 封裝
2.1.3 泛型
2.1.4 繼承
2.1.5 多重繼承
2.1.6 多態(tài)
2.1.7 系統(tǒng)問題
2.2 管理缺陷
2.2.1 缺陷管理的時機
2.2.2 缺陷管理級別
2.3 結論
第3章 開發(fā)低缺陷需求
3.1 需求過程組成部分
3.1.1 理解當前的問題情境或問題的本質
3.1.2 抽取用戶需求
3.1.3 描述質量與驗收目標
3.1.4 分析用戶需求
3.1.5 需求折衷
3.1.6 歸檔用戶需求
3.1.7 需求敘述
3.1.8 用例
3.1.9 需求文檔
3.1.10 需求文檔集
3.2 結論
第4章 確定并排除需缺陷
4.1 檢驗與標準的符合程度
4.2 模型驗證
4.3 非形式化模型評估
4.4 形式化模型驗證
4.5 結論
第5章 預防設計缺陷
5.1 軟件設計
5.1.1 設計功能性
5.1.2 設計可靠性
5.1.3 設計可用性
5.1.4 設計可維護性
5.1.5 設計過程效率
5.2 良好設計的基本要素
5.2.1 內(nèi)聚：模塊化度量
5.2.2 相干革命性：模塊化的另一種度量
5.2.3 耦合：最小交互與隔離的度量
5.2.4 實現(xiàn)隔離
5.2.5 實現(xiàn)抽象
5.2.6 實現(xiàn)多級別粒度
5.2.7 實現(xiàn)形式化
5.2.8 進行異常處理
5.2.9 獲得冗余
5.2.10 獲得泛型
5.2.11 構架
5.2.12 分布式：分布式拓撲
5.2.13 構架設計風格
5.2.14 控制風格
5.2.15 解決特定的構架問題
5.2.16 構架設計的基本步驟
5.2.17 設計評審
5.2.18 構架設計歸檔
5.2.19 對象設計
5.3 結論
第6章 設計缺陷標識
6.1 設計缺陷
6.2 在設計中標識缺陷
6.2.1 設計模擬
6.2.2 設計審查
6.3 審查設計制品
6.3.1 類圖
6.3.2 順序圖
6.3.3 協(xié)作圖
6.3.4 狀態(tài)圖
6.3.5 活動圖
6.3.6 轉換描述
6.3.7 模塊圖、包圖
6.3.8 實現(xiàn)圖、組件圖
6.3.9 部署圖
6.4 標誤解設計文檔中的缺陷
6.5 結論
第7章 程序缺陷標識
7.1 缺陷標識方法
7.1.1 評估
7.1.2 培訓以及可選方案選擇
7.1.3 缺陷標識
7.2 審查和測試的比較
7.2.1 審查面向對象代碼
7.2.2 面向失效檢測的缺陷排除
7.2.3 測試面向對象代碼
7.3 結論
第8章 測試類
8.1 測試基類
8.1.1 測試生成實例的正確性
8.1.2 測試屬性值的正確性
8.1.3 例程是否正確改變相應對象表示
8.2 類的基于斷言的測試
8.2.1 類級別上的類不變量及斷言
8.2.2 基于約束或斷言約束覆蓋的測試
8.3 類的模態(tài)測試
8.3.1 狀態(tài)不變量
8.3.2 模態(tài)測試
8.4 方法的轉換測試
8.4.1 分區(qū)或子域測試
8.4.2 基于子領域、基于統(tǒng)計的方法效率比較
8.5 結論
第9章 集成、集成測試、系統(tǒng)測試
9.1 組件及集成
9.2 組件交互
9.2.1 集成策略
9.2.2 集成測試方法
9.2.3 場景測試
9.2.4 模態(tài)測試
9.2.5 系統(tǒng)測試
9.2.6 基于用例的測試
9.2.7 系統(tǒng)臨界邊界測試
9.2.8 性能、負載測試
9.2.9 可用性測試
9.3 系統(tǒng)驗收
9.4 ß測試
9.4.1 確定ß測試的目標
9.4.2 仔細選擇ß方人員
9.4.3 決定下一步干什么
9.5 結論
附錄A 缺陷管理的一個分類圖
附錄B Object Z的語法
附錄C 軟件審查過程
參考文獻
譯后記