軟件工程方法與實踐（第3版）

前言
第一部分　軟件工程基礎(chǔ)
第1章　軟件工程概述2
1.1　引言2
1.2　什么是軟件2
1.2.1　軟件的定義與特性2
1.2.2　軟件技術(shù)的演化3
1.3　什么是軟件工程4
1.3.1　軟件危機4
1.3.2　解決軟件危機的途徑5
1.3.3　軟件工程的定義5
1.4　軟件工程的基本原理與基本原則7
1.4.1　基本原理7
1.4.2　基本原則8
1.5　軟件工程開發(fā)方法學8
1.5.1　結(jié)構(gòu)化開發(fā)方法學9
1.5.2　面向?qū)ο箝_發(fā)方法學9
1.5.3　重型軟件工程與輕型軟件工程10
1.6　小結(jié)10
習題11
第2章　軟件過程12
2.1　引言12
2.2　什么是軟件過程12
2.2.1　軟件過程的定義12
2.2.2　軟件過程框架13
2.3　軟件產(chǎn)品與過程15
2.4　軟件生存周期17
2.5　軟件工程活動18
2.6　小結(jié)20
習題21
第3章　軟件過程模型22
3.1　引言22
3.2　什么是軟件過程模型22
3.3　傳統(tǒng)的軟件過程模型22
3.3.1　瀑布模型22
3.3.2　增量模型24
3.3.3　螺旋模型25
3.4　面向?qū)ο竽Ｐ?6
3.4.1　構(gòu)件集成模型26
3.4.2　統(tǒng)一過程模型27
3.5　小結(jié)29
習題29
第4章　敏捷軟件開發(fā)方法30
4.1　引言30
4.2　敏捷軟件開發(fā)過程30
4.2.1　敏捷過程30
4.2.2　敏捷開發(fā)原則31
4.3　Scrum開發(fā)過程31
4.3.1　Scrum的特點31
4.3.2　Scrum模型與過程32
4.4　極限編程 33
4.4.1　什么是極限編程33
4.4.2　極限編程的要素34
4.5　結(jié)對編程35
4.5.1　什么是結(jié)對編程36
4.5.2　結(jié)對編程的優(yōu)勢分析37
4.5.3　結(jié)對編程的分類39
4.5.4　結(jié)對編程的方式39
4.6　小結(jié)41
習題41
第二部分　結(jié)構(gòu)化分析、設(shè)計與測試
第5章　軟件需求分析44
5.1　引言44
5.2　什么是軟件需求44
5.3　需求分析過程45
5.4　會談技術(shù)49
5.4.1　非正式會談49
5.4.2　正式會談49
5.5　調(diào)查技術(shù)50
5.5.1　確定調(diào)查內(nèi)容50
5.5.2　可靠可信分析51
5.6　場景分析技術(shù)51
5.7　小結(jié)52
習題52
第6章　結(jié)構(gòu)化分析53
6.1　引言53
6.2　結(jié)構(gòu)化分析模型53
6.3　面向數(shù)據(jù)流的建模方法54
6.3.1　數(shù)據(jù)流建模方法54
6.3.2　實例分析57
6.4　面向數(shù)據(jù)的建模方法58
6.4.1　數(shù)據(jù)建模方法58
6.4.2　實例分析59
6.5　面向狀態(tài)的建模方法60
6.5.1　狀態(tài)建模方法60
6.5.2　實例分析61
6.6　規(guī)格說明書編寫示例62
6.7　小結(jié)70
習題70
第7章　結(jié)構(gòu)化設(shè)計71
7.1　引言71
7.2　軟件設(shè)計過程71
7.3　軟件模塊化設(shè)計75
7.4　軟件結(jié)構(gòu)78
7.5　結(jié)構(gòu)化概要設(shè)計79
7.5.1　數(shù)據(jù)流模型79
7.5.2　數(shù)據(jù)流設(shè)計方法80
7.5.3　實例分析81
7.6　概要設(shè)計文檔編寫示例83
7.7　詳細設(shè)計90
7.8　結(jié)構(gòu)化詳細設(shè)計91
7.9　詳細設(shè)計文檔編寫示例98
7.10　編碼實現(xiàn)101
7.10.1　編碼語言101
7.10.2　編碼風格102
7.11　小結(jié)103
習題103
第8章　結(jié)構(gòu)化軟件測試106
8.1　引言106
8.2　軟件測試的目的和原則106
8.3　軟件測試的基本過程108
8.3.1　單元測試108
8.3.2　集成測試110
8.3.3　確認測試110
8.3.4　系統(tǒng)測試111
8.4　測試用例設(shè)計111
8.5　黑盒測試技術(shù)112
8.5.1　等價類劃分112
8.5.2　邊界值分析113
8.5.3　錯誤推測114
8.5.4　因果圖114
8.6　白盒測試技術(shù)117
8.6.1　邏輯覆蓋117
8.6.2　路徑覆蓋120
8.6.3　循環(huán)路徑測試策略122
8.7　集成測試技術(shù)123
8.7.1　集成策略123
8.7.2　性能測試125
8.7.3　實例分析127
8.8　調(diào)試技術(shù)133
8.8.1　調(diào)試過程133
8.8.2　調(diào)試策略134
8.9　軟件測試文檔135
8.9.1　軟件測試計劃文檔135
8.9.2　集成測試文檔137
8.10　小結(jié)139
習題139
第9章　高要求系統(tǒng)的分析與設(shè)計140
9.1　引言140
9.2　什么是高要求系統(tǒng)140
9.3　高要求系統(tǒng)的需求分析142
9.3.1　風險需求描述143
9.3.2　安全性描述146
9.3.3　信息安全描述146
9.3.4　軟件可靠性描述146
9.3.5　胰島素輸送系統(tǒng)完整的需求描述147
9.4　形式化描述方法149
9.4.1　軟件過程中的形式化描述149
9.4.2　接口描述方法150
9.4.3　行為描述153
9.5　高要求系統(tǒng)的設(shè)計155
9.6　高要求系統(tǒng)的開發(fā)156
9.7　系統(tǒng)驗證160
9.7.1　可靠性驗證160
9.7.2　安全性保證161
9.7.3　信息安全評估164
9.8　小結(jié)165
習題166
第三部分　面向?qū)ο蠓治?、設(shè)計與測試
第10章　面向?qū)ο蠓治?68
10.1　引言168
10.2　面向?qū)ο竽Ｐ?68
10.3　UML170
10.3.1　UML的組成170
10.3.2　UML的視圖171
10.4　面向?qū)ο蠓治鲞^程172
10.5　用例驅(qū)動分析173
10.5.1　用例建模分析173
10.5.2　開發(fā)活動圖177
10.5.3　開發(fā)泳道圖178
10.6　領(lǐng)域與業(yè)務(wù)建模179
10.6.1　識別業(yè)務(wù)類和領(lǐng)域類179
10.6.2　業(yè)務(wù)類圖180
10.6.3　識別屬性和操作181
10.6.4　開發(fā)協(xié)作圖182
10.6.5　開發(fā)包圖182
10.6.6　邏輯架構(gòu)183
10.7　系統(tǒng)行為建模185
10.7.1　系統(tǒng)順序圖185
10.7.2　建立操作契約186
10.7.3　建立順序圖187
10.7.4　系統(tǒng)狀態(tài)圖188
10.8　POS機系統(tǒng)案例分析188
10.9　分布式結(jié)對編程系統(tǒng)分析191
10.9.1　項目概述191
10.9.2　功能描述192
10.9.3　邏輯分析與建模200
10.10　小結(jié)204
習題205
第11章　面向?qū)ο笤O(shè)計206
11.1　引言206
11.2　面向?qū)ο笤O(shè)計模型206
11.3　構(gòu)件設(shè)計207
11.3.1　構(gòu)件設(shè)計的步驟207
11.3.2　構(gòu)件設(shè)計的原則208
11.4　并發(fā)性設(shè)計209
11.5　設(shè)計模式211
11.5.1　基于職責的設(shè)計211
11.5.2　常見的設(shè)計模式212
11.6　面向?qū)ο笤敿氃O(shè)計215
11.6.1　模型精化216
11.6.2　邏輯架構(gòu)精化設(shè)計219
11.6.3　分層設(shè)計221
11.6.4　類操作設(shè)計223
11.7　方法設(shè)計229
11.8　精化設(shè)計234
11.9　數(shù)據(jù)存儲與持久性設(shè)計238
11.10　部署設(shè)計與構(gòu)件圖243
11.11　小結(jié)244
習題245
第12章　面向?qū)ο髮崿F(xiàn)與測試246
12.1　引言246
12.2　面向?qū)ο髮崿F(xiàn)246
12.3　POS機系統(tǒng)實現(xiàn)247
12.4　分布式結(jié)對編程系統(tǒng)實現(xiàn)253
12.5　面向?qū)ο鬁y試256
12.6　面向?qū)ο鬁y試策略258
12.7　測試驅(qū)動開發(fā)261
12.7.1　什么是測試驅(qū)動開發(fā)261
12.7.2　測試驅(qū)動開發(fā)的步驟264
12.7.3　編寫測試程序266
12.7.4　代碼重構(gòu)270
12.8　小結(jié)271
習題271
第四部分　軟件維護與項目管理
第13章　軟件維護274
13.1　引言274
13.2　軟件的可維護性275
13.3　軟件維護的類型275
13.4　軟件維護方法277
13.5　提高軟件的可維護性279
13.5.1　結(jié)構(gòu)化維護與非結(jié)構(gòu)化維護279
13.5.2　提高軟件可維護性的技術(shù)途徑280
13.6　小結(jié)281
習題281
第14章　軟件項目管理283
14.1　引言283
14.2　軟件項目組織285
14.3　軟件過程管理287
14.3.1　軟件過程度量287
14.3.2　軟件過程改進288
14.3.3　軟件項目度量289
14.4　軟件項目風險管理289
14.4.1　風險識別289
14.4.2　風險預(yù)測290
14.4.3　風險管理290
14.5　軟件配置管理291
14.5.1　基本概念291
14.5.2　軟件配置管理過程292
14.6　軟件項目估算293
14.6.1　軟件項目資源293
14.6.2　軟件規(guī)模度量294
14.6.3　估算管理296
14.7　分解技術(shù)296
14.7.1　基于問題分解的估算296
14.7.2　基于過程分解的估算298
14.8　經(jīng)驗估算技術(shù)299
14.8.1　專家類比推斷299
14.8.2　中級COCOMO估算模型300
14.9　軟件質(zhì)量管理303
14.9.1　軟件質(zhì)量保證303
14.9.2　軟件質(zhì)量度量305
14.10　項目進度管理308
14.10.1　項目進度管理計劃308
14.10.2　進度安排309
14.10.3　進度跟蹤管理311
14.11　小結(jié)311
習題312
參考文獻314