軟件工程（原書第8版）

出版者的話  
專家指導(dǎo)委員會  
前言  
第1篇 概 覽  
第1章 概述 2  
1.1 軟件工程中的常見問題 3  
1.1.1 什么是軟件 3  
1.1.2 什么是軟件工程 4  
1.1.3 軟件工程和計算機科學(xué)的區(qū)別 4  
1.1.4 軟件工程和系統(tǒng)工程有何區(qū)別 4  
1.1.5 什么是軟件過程 4  
1.1.6 什么是軟件過程模型 5  
1.1.7 什么是軟件工程的成本 5  
1.1.8 什么是軟件工程方法 7  
1.1.9 什么是CASE 7  
1.1.10 什么是優(yōu)良軟件的屬性 7  
1.1.11 軟件工程所面臨的主要問題 8  
1.2 職業(yè)和道德上的責(zé)任 8  
要點 10  
進一步的閱讀資料 10  
練習(xí) 11  
第2章 社會-技術(shù)系統(tǒng) 12  
2.1 系統(tǒng)總體特性 13  
2.2 系統(tǒng)工程 15  
2.2.1 系統(tǒng)需求定義 16  
2.2.2 系統(tǒng)設(shè)計 16  
2.2.3 系統(tǒng)建模 18  
2.2.4 子系統(tǒng)開發(fā) 19  
2.2.5 系統(tǒng)集成 20  
2.2.6 系統(tǒng)進化 20  
2.2.7 系統(tǒng)退役 20  
2.3 機構(gòu). 人員和計算機系統(tǒng) 21  
2.4 遺留系統(tǒng) 23  
要點 24  
進一步的閱讀資料 25  
練習(xí) 25  
第3章 要求極高的系統(tǒng) 26  
3.1 一個簡單的安全性要求極高的系統(tǒng) 27  
3.2 系統(tǒng)可依賴性 29  
3.3 可用性和可靠性 30  
3.4 安全性 33  
3.5 信息安全性 35  
要點 36  
進一步的閱讀資料 37  
練習(xí) 37  
第4章 軟件過程 38  
4.1 軟件過程模型 39  
4.1.1 “瀑布”模型 39  
4.1.2 進化式開發(fā) 41  
4.1.3 基于組件的軟件工程 42  
4.2 過程反復(fù) 43  
4.2.1 增量式開發(fā) 43  
4.2.2 螺旋式開發(fā) 44  
4.3 過程活動 45  
4.3.1 軟件描述 45  
4.3.2 軟件設(shè)計和實現(xiàn) 46  
4.3.3 軟件有效性驗證 48  
4.3.4 軟件進化 50  
4.4 Rational統(tǒng)一過程 50  
4.5 計算機輔助軟件工程 52  
要點 55  
進一步的閱讀資料 55  
練習(xí) 55  
第5章 項目管理 57  
5.1 管理活動 58  
5.2 項目規(guī)劃 59  
5.2.1 項目計劃 60    
5.2.2 項目里程碑和可交付的文檔 60  
5.3 項目調(diào)度 61  
5.4 風(fēng)險管理 65  
5.4.1 風(fēng)險識別 66  
5.4.2 風(fēng)險分析 67  
5.4.3 風(fēng)險規(guī)劃 67  
5.4.4 風(fēng)險監(jiān)控 68  
要點 69  
進一步的閱讀資料 69  
練習(xí) 69  
第2篇 需 求  
第6章 軟件需求 72  
6.1 功能需求和非功能需求 73  
6.1.1 功能需求 73  
6.1.2 非功能需求 74  
6.1.3 領(lǐng)域需求 76  
6.2 用戶需求 77  
6.3 系統(tǒng)需求 79  
6.4 接口描述 82  
6.5 軟件需求文檔 83  
要點 85  
進一步的閱讀資料 85  
練習(xí) 85  
第7章 需求工程過程 87  
7.1 可行性研究 88  
7.2 需求導(dǎo)出和分析 89  
7.2.1 需求發(fā)現(xiàn) 91  
7.2.2 深入實際 96  
7.3 需求有效性驗證 97  
7.4 需求管理 98  
7.4.1 持久的和易變的需求 98  
7.4.2 需求管理規(guī)劃 99  
7.4.3 需求變更管理 100  
要點 101  
進一步的閱讀資料    
練習(xí) 101  
第8章 系統(tǒng)模型    
8.1 上下文模型    
8.2 行為模型    
8.2.1 數(shù)據(jù)流模型    
8.2.2 狀態(tài)機模型 106  
8.3 數(shù)據(jù)模型 109  
8.4 對象模型 110  
8.4.1 繼承模型 111  
8.4.2 對象聚合 113  
8.4.3 對象行為建模 113  
8.5 結(jié)構(gòu)化方法 114  
要點 115  
進一步的閱讀資料 116  
練習(xí)    
第9章 要求極高的系統(tǒng)的描述    
9.1 風(fēng)險驅(qū)動的描述    
9.1.1 風(fēng)險識別 118  
9.1.2 風(fēng)險分析和分類 119  
9.1.3 風(fēng)險分解 120  
9.1.4 風(fēng)險降低評估    
9.2 安全性描述 122  
9.3 信息安全性描述    
9.4 軟件可靠性描述    
9.4.1 可靠性度量    
9.4.2 非功能性的可靠性需求    
要點 129  
進一步的閱讀資料    
練習(xí)    
第10章 形式化描述 132  
10.1 軟件過程中的形式化描述 133  
10.2 子系統(tǒng)接口描述 135  
10.3 行為描述 139  
要點 144  
進一步的閱讀資料 144  
練習(xí) 144  
第3篇 設(shè) 計  
第11章 體系結(jié)構(gòu)設(shè)計 148  
11.1 體系結(jié)構(gòu)設(shè)計決策 150  
11.2 系統(tǒng)組成 151  
11.2.1 容器模型 151    
11.2.2 客戶機/服務(wù)器模型 152  
11.2.3 分層模型 153  
11.3 模塊化分解類型 154  
11.3.1 面向?qū)ο蟮姆纸?155  
11.3.2 面向功能的流水線操作 155  
11.4 控制類型 156  
11.4.1 集中式控制 157  
11.4.2 事件驅(qū)動的系統(tǒng) 158  
11.5 參考體系結(jié)構(gòu) 159  
要點 161  
進一步的閱讀資料 161  
練習(xí) 161  
第12章 分布式系統(tǒng)體系結(jié)構(gòu) 163  
12.1 多處理器體系結(jié)構(gòu) 164  
12.2 客戶機/服務(wù)器體系結(jié)構(gòu) 165  
12.3 分布式對象體系結(jié)構(gòu) 168  
12.4 機構(gòu)間分布式計算 172  
12.4.1 對等體系結(jié)構(gòu) 173  
12.4.2 面向服務(wù)的系統(tǒng)體系結(jié)構(gòu) 174  
要點 177  
進一步的閱讀資料 177  
練習(xí) 177  
第13章 應(yīng)用體系結(jié)構(gòu) 179  
13.1 數(shù)據(jù)處理系統(tǒng) 180  
13.2 事務(wù)處理系統(tǒng) 182  
13.3 事件處理系統(tǒng) 186  
13.4 語言處理系統(tǒng) 188  
要點 189  
進一步的閱讀資料 190  
練習(xí) 190  
第14章 面向?qū)ο蟮脑O(shè)計 191  
14.1 對象和對象類 192  
14.2 面向?qū)ο笤O(shè)計過程 196  
14.2.1 系統(tǒng)上下文和使用模型 197  
14.2.2 體系結(jié)構(gòu)的設(shè)計 198  
14.2.3 對象識別 198  
14.2.4 設(shè)計模型 200  
14.2.5 對象接口描述 202  
14.3 設(shè)計進化 203  
要點 204  
進一步的閱讀資料 204  
練習(xí) 205  
第15章 實時軟件的設(shè)計 206  
15.1 系統(tǒng)設(shè)計 208  
15.2 實時操作系統(tǒng) 210  
15.3 監(jiān)控系統(tǒng) 212  
15.4 數(shù)據(jù)采集系統(tǒng) 216  
要點 218  
進一步的閱讀資料 219  
練習(xí) 219  
第16章 用戶界面設(shè)計 221  
16.1 設(shè)計問題 223  
16.1.1 用戶交互 224  
16.1.2 信息表示 225  
16.2 用戶界面設(shè)計過程 230  
16.3 用戶分析 230  
16.4 用戶界面原型構(gòu)造 233  
16.5 界面評估 234  
要點 235  
進一步的閱讀資料 236  
練習(xí) 236  
第4篇 開 發(fā)  
第17章 快速軟件開發(fā) 240  
17.1 敏捷方法 243  
17.2 極限編程 ..244  
17.2.1 極限編程中的測試 246  
17.2.2 結(jié)對編程 248  
17.3 快速應(yīng)用開發(fā) 248  
17.4 軟件原型構(gòu)造 251  
要點 253  
進一步的閱讀資料 253  
練習(xí) 254  
第18章 軟件復(fù)用 255  
18.1 復(fù)用概覽 257    
18.2 設(shè)計模式 258  
18.3 基于生成器的復(fù)用 260  
18.4 應(yīng)用框架 262  
18.5 應(yīng)用系統(tǒng)復(fù)用 263  
18.5.1 商業(yè)現(xiàn)成產(chǎn)品的復(fù)用 263  
18.5.2 軟件產(chǎn)品線 265  
要點 268  
進一步的閱讀資料 268  
練習(xí) 268  
第19章 基于組件的軟件工程 270  
19.1 組件和組件模型 271  
19.1.1 組件模型 273  
19.1.2 面向復(fù)用的組件開發(fā) 275  
19.2 CBSE過程 276  
19.3 組件合成 278  
要點 282  
進一步的閱讀資料 283  
練習(xí) 283  
第20章 要求極高的系統(tǒng)的開發(fā) 284  
20.1 可靠的過程 286  
20.2 可靠的編程 287  
20.2.1 保護的信息 287  
20.2.2 安全的編程 288  
20.2.3 異常處理 289  
20.3 容錯 292  
20.3.1 缺陷檢測和損害評估 292  
20.3.2 缺陷恢復(fù)和修補 296  
20.4 容錯體系結(jié)構(gòu) 297  
要點 299  
進一步的閱讀資料 299  
練習(xí) 300  
第21章 軟件進化 301  
21.1 程序進化的動態(tài)特性 302  
21.2 軟件維護 303  
21.3 進化過程 307  
21.4 遺留系統(tǒng)的進化 310  
要點 313  
進一步的閱讀材料 314  
練習(xí) 314  
第5篇 檢驗和有效性驗證  
第22章 檢驗和有效性驗證 316  
22.1 檢驗和有效性驗證規(guī)劃 318  
22.2 軟件審查 320  
22.3 自動靜態(tài)分析 323  
22.4 檢驗和形式化方法 325  
要點 328  
進一步的閱讀資料 328  
練習(xí) 329  
第23章 軟件測試 330  
23.1 系統(tǒng)測試 332  
23.1.1 集成測試 332  
23.1.2 發(fā)布測試 334  
23.1.3 性能測試 336  
23.2 組件測試 336  
23.3 測試用例設(shè)計 339  
23.3.1 基于需求的測試 339  
23.3.2 劃分測試 340  
23.3.3 結(jié)構(gòu)化測試 342  
23.3.4 路徑測試 343  
23.4 測試自動化 345  
要點 346  
進一步的閱讀資料 347  
練習(xí) 347  
第24章 要求極高的系統(tǒng)的驗證 349  
24.1 可靠性驗證 350  
24.1.1 操作簡檔 351  
24.1.2 可靠性預(yù)測 352  
24.2 安全性保證 354  
24.2.1 安全性論證 355  
24.2.2 過程保證 356  
24.2.3 運行時安全檢查 358  
24.3 信息安全評估 359  
24.4 安全和可靠性案例 360  
要點 362  
進一步的閱讀資料 362  
練習(xí) 362  
第6篇 管 理  
第25章 人員管理 366  
25.1 職員挑選 367  
25.2 職員激勵 369  
25.3 團隊管理 371  
25.3.1 小組的組成 371  
25.3.2 小組的凝聚力 372  
25.3.3 小組的溝通 374  
25.3.4 小組的結(jié)構(gòu) 374  
25.3.5 工作環(huán)境 375  
25.4 人員能力成熟度模型 377  
要點 378  
進一步的閱讀資料 378  
練習(xí) 378  
第26章 軟件成本估算 380  
26.1 軟件生產(chǎn)率 381  
26.2 估算技術(shù) 384  
26.3 算法成本建模 386  
26.3.1 COCOMO模型 387  
26.3.2 項目規(guī)劃中的算法成本模型 393  
26.4 項目的工期和人員配備 395  
要點 396  
進一步的閱讀資料 396  
練習(xí) 396  
第27章 質(zhì)量管理 398  
27.1 過程和產(chǎn)品質(zhì)量 399  
27.2 質(zhì)量保證和質(zhì)量標(biāo)準(zhǔn) 400  
27.2.1 ISO9000 401  
27.2.2 文檔化標(biāo)準(zhǔn) 403  
27.3 質(zhì)量規(guī)劃 404  
27.4 質(zhì)量控制 404  
27.5 軟件測量和度量 406  
27.5.1 測量過程 407  
27.5.2 產(chǎn)品度量 408  
27.5.3 測量的分析 409  
要點 410  
進一步的閱讀資料 411  
練習(xí) 411  
第28章 過程改善 412  
28.1 過程和產(chǎn)品質(zhì)量 413  
28.2 過程分類 414  
28.3 過程度量 416  
28.4 過程分析和建模 417  
28.5 過程變更 420  
28.6 CMMI過程改善框架 421  
28.6.1 分階段CMMI模型 423  
28.6.2 連續(xù)CMMI模型 424  
要點 424  
進一步的閱讀資料 425  
練習(xí) 425  
第29章 配置管理 426  
29.1 配置管理規(guī)劃 428  
29.1.1 配置項識別 428  
29.1.2 配置數(shù)據(jù)庫 429  
29.2 變更管理 429  
29.3 版本和發(fā)布管理 432  
29.3.1 版本標(biāo)識 432  
29.3.2 發(fā)布管理 434  
29.4 系統(tǒng)構(gòu)建 436  
29.5 用于配置管理的CASE工具 436  
29.5.1 變更管理支持 437  
29.5.2 版本管理支持 437  
29.5.3 系統(tǒng)構(gòu)建支持 438  
要點 439  
進一步的閱讀資料 440  
練習(xí) 440  
第7篇 新興技術(shù)  
第30章 信息安全工程 444  
30.1 信息安全的概念 445  
30.2 信息安全風(fēng)險管理 447  
30.2.1 初步風(fēng)險評估 447  
30.2.2 生存期風(fēng)險評估 449  
30.3 面向信息安全的設(shè)計 450  
30.3.1 體系結(jié)構(gòu)設(shè)計 451  
30.3.2 設(shè)計準(zhǔn)則 453  
30.3.3 針對部署的設(shè)計 455    
30.4 系統(tǒng)生存能力 456  
要點 458  
進一步的閱讀資料 459  
練習(xí) 459  
第31章 面向服務(wù)的軟件工程 460  
31.1 服務(wù)作為可復(fù)用的組件 462  
31.2 服務(wù)工程 465  
31.2.1 可選服務(wù)識別 465  
31.2.2 服務(wù)接口設(shè)計 467  
31.2.3 服務(wù)實現(xiàn)和部署 468  
31.2.4 遺留系統(tǒng)服務(wù) 469  
31.3 使用服務(wù)的軟件開發(fā) 470  
31.3.1 工作流設(shè)計和實現(xiàn) 472  
31.3.2 服務(wù)測試 474  
要點 475  
進一步的閱讀資料 475  
練習(xí) 476  
第32章 面向方面的軟件開發(fā) 477  
32.1 關(guān)注點的分離 478  
32.2 方面. 連接點和切入點 480  
32.3 采用方面的軟件工程 483  
32.3.1 面向關(guān)注點的需求工程 484  
32.3.2 面向方面的設(shè)計和編程 486  
32.3.3 檢驗和有效性驗證 488  
要點 490  
進一步的閱讀資料 490  
練習(xí) 491  
術(shù)語表 492  
索引 500  
譯后記 514