面向?qū)ο蟮能浖毕莨芾?/h1>

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