軟件工程

第1章概論1
1.1計算機軟件1
1.1.1軟件的發(fā)展2
1.1.2軟件的特點3
1.1.3軟件的分類4
1.1.4軟件語言4
1.2軟件工程6
1.2.1軟件工程定義6
1.2.2軟件工程框架7
1.2.3軟件生存周期7
1.3軟件過程8
1.3.1ISO/IEC 12207軟件生存周期過程9
1.3.2能力成熟度模型CMM12
1.3.3能力成熟度模型集成CMMI15
1.4軟件過程模型18
1.4.1瀑布模型18
1.4.2演化模型20
1.4.3增量模型20
1.4.4原型模型21
1.4.5螺旋模型22
1.4.6噴泉模型24
1.4.7基于構(gòu)件的開發(fā)模型24
1.4.8形式化方法模型25
1.5敏捷軟件開發(fā)26
1.5.1敏捷軟件開發(fā)的價值觀及開發(fā)原則26
1.5.2XP方法簡介28
1.5.3Agile與CMM33
1.6CASE工具與環(huán)境34
1.6.1軟件工具34
1.6.2軟件開發(fā)環(huán)境36
1.7小結(jié)38
習題38
目錄軟件工程第2章系統(tǒng)工程39
2.1基于計算機的系統(tǒng)40
2.2系統(tǒng)工程的任務(wù)41
2.3可行性分析42
2.3.1經(jīng)濟可行性42
2.3.2技術(shù)可行性43
2.3.3法律可行性44
2.3.4方案的選擇和折衷44
2.4小結(jié)45
習題45
第3章需求工程46
3.1需求工程概述46
3.2需求獲取48
3.2.1軟件需求48
3.2.2需求獲取方法與策略50
3.3需求分析、協(xié)商與建模54
3.3.1需求分析原則54
3.3.2信息域54
3.3.3抽象、分解與多視點分析55
3.3.4需求協(xié)商56
3.3.5需求建模56
3.4需求規(guī)約與驗證57
3.4.1需求規(guī)約的原則57
3.4.2需求規(guī)約58
3.4.3需求驗證59
3.5需求管理60
3.6小結(jié)61
習題61
第4章設(shè)計工程62
4.1軟件設(shè)計工程概述62
4.2軟件設(shè)計原則65
4.2.1抽象與逐步求精65
4.2.2模塊化66
4.2.3信息隱藏67
4.2.4模塊獨立68
4.3軟件體系結(jié)構(gòu)設(shè)計70
4.3.1體系結(jié)構(gòu)發(fā)展過程71
4.3.2軟件體系結(jié)構(gòu)的風格71
4.3.3評估可選的體系結(jié)構(gòu)74
4.4部件級設(shè)計技術(shù)75
4.4.1結(jié)構(gòu)化程序設(shè)計方法76
4.4.2圖形表示法76
4.4.3判定表79
4.4.4設(shè)計性語言PDL81
4.5設(shè)計規(guī)約與設(shè)計評審81
4.5.1設(shè)計規(guī)約82
4.5.2設(shè)計評審83
4.6小結(jié)84
習題85
第5章結(jié)構(gòu)化分析與設(shè)計86
5.1結(jié)構(gòu)化分析方法概述86
5.2數(shù)據(jù)流圖88
5.2.1數(shù)據(jù)流圖的圖形表示88
5.2.2分層數(shù)據(jù)流圖的畫法91
5.3分層數(shù)據(jù)流圖的審查97
5.3.1分層數(shù)據(jù)流圖的一致性和完整性97
5.3.2構(gòu)造分層DFD時需要注意的問題102
5.3.3分解的程度104
5.4數(shù)據(jù)字典104
5.4.1字典條目的種類及描述符號104
5.4.2字典條目105
5.4.3字典條目實例110
5.4.4數(shù)據(jù)字典的實現(xiàn)110
5.5描述基本加工的小說明111
5.5.1結(jié)構(gòu)化語言111
5.5.2判定表112
5.5.3判定樹114
5.6結(jié)構(gòu)化設(shè)計概述115
5.6.1結(jié)構(gòu)圖115
5.6.2啟發(fā)式設(shè)計策略117
5.6.3結(jié)構(gòu)化設(shè)計的步驟119
5.7數(shù)據(jù)流圖到軟件體系結(jié)構(gòu)的映射121
5.7.1信息流121
5.7.2數(shù)據(jù)流圖映射到結(jié)構(gòu)圖的步驟122
5.7.3變換分析123
5.7.4事務(wù)分析125
5.7.5分層DFD的映射127
5.8初始結(jié)構(gòu)圖的改進129
5.8.1結(jié)構(gòu)圖改進實例129
5.8.2結(jié)構(gòu)圖改進技巧133
5.9小結(jié)134
習題134
第6章面向數(shù)據(jù)結(jié)構(gòu)的分析與設(shè)計136
6.1JSP方法136
6.1.1數(shù)據(jù)結(jié)構(gòu)與程序結(jié)構(gòu)的表示137
6.1.2JSP方法的分析和設(shè)計步驟139
6.2JSD方法簡介145
6.3小結(jié)146
習題146
第7章面向?qū)ο蟮姆治龊驮O(shè)計148
7.1面向?qū)ο蟮幕靖拍?49
7.2面向?qū)ο蠓治龊驮O(shè)計過程152
7.2.1面向?qū)ο蠓治鲞^程152
7.2.2面向?qū)ο笤O(shè)計過程155
7.2.3設(shè)計模式157
7.3UML概述158
7.3.1UML發(fā)展歷史158
7.3.2UML簡介159
7.3.3視圖160
7.3.4圖163
7.4用況建模165
7.4.1用況建模步驟166
7.4.2確定執(zhí)行者167
7.4.3確定用況168
7.4.4用況描述169
7.4.5用況圖中的關(guān)系171
7.4.6實例172
7.5靜態(tài)建模175
7.5.1類圖和對象圖175
7.5.2CRC技術(shù)177
7.5.3類之間的關(guān)系182
7.6動態(tài)建模191
7.6.1狀態(tài)機圖191
7.6.2活動圖200
7.6.3順序圖202
7.6.4通信圖206
7.7物理體系結(jié)構(gòu)建模208
7.7.1構(gòu)件圖208
7.7.2部署圖209
7.8小結(jié)211
習題212
第8章基于構(gòu)件的軟件開發(fā)213
8.1基于構(gòu)件的軟件開發(fā)概述213
8.1.1構(gòu)件214
8.1.2基于構(gòu)件的軟件開發(fā)過程216
8.1.3CBSD對質(zhì)量、生產(chǎn)率和成本的影響218
8.2建造可復(fù)用構(gòu)件220
8.2.1對可復(fù)用構(gòu)件的要求220
8.2.2創(chuàng)建領(lǐng)域構(gòu)件的設(shè)計框架221
8.2.3可變性分析221
8.2.4可變性機制222
8.3應(yīng)用系統(tǒng)工程224
8.3.1基于CBSD的應(yīng)用系統(tǒng)分析和設(shè)計224
8.3.2構(gòu)件的鑒定、特化和組裝226
8.4構(gòu)件的管理227
8.4.1構(gòu)件的分類描述227
8.4.2構(gòu)件庫管理系統(tǒng)228
8.5小結(jié)229
習題230
第9章人機界面設(shè)計231
9.1人的因素231
9.1.1人對感知過程的認識231
9.1.2用戶的技能和行為方式232
9.1.3人體測量學對設(shè)計的影響233
9.2人機界面風格235
9.3人機界面分析與建模238
9.3.1人機界面設(shè)計過程238
9.3.2人機界面設(shè)計中涉及的模型239
9.3.3任務(wù)分析的途徑與方法240
9.4界面設(shè)計活動240
9.4.1定義界面對象和動作240
9.4.2設(shè)計問題242
9.4.3黃金原則243
9.5實現(xiàn)工具246
9.6設(shè)計評估247
9.7小結(jié)248
習題248
第10章程序設(shè)計語言和編碼249
10.1程序設(shè)計語言249
10.1.1程序設(shè)計語言的基本成分250
10.1.2程序設(shè)計語言的特性251
10.1.3程序設(shè)計語言的分類253
10.1.4程序設(shè)計語言的選擇255
10.2程序設(shè)計風格255
10.2.1源程序文檔化256
10.2.2數(shù)據(jù)說明259
10.2.3語句結(jié)構(gòu)259
10.2.4輸入和輸出261
10.3小結(jié)262
習題262
第11章軟件測試263
11.1軟件測試基礎(chǔ)263
11.1.1軟件測試的目的263
11.1.2軟件測試的基本原則264
11.1.3白盒測試和黑盒測試265
11.2白盒測試266
11.2.1邏輯覆蓋測試266
11.2.2邏輯表達式錯誤敏感的測試271
11.2.3基本路徑測試273
11.2.4數(shù)據(jù)流測試275
11.2.5循環(huán)測試276
11.3黑盒測試277
11.3.1等價類劃分277
11.3.2邊界值分析280
11.3.3比較測試281
11.3.4錯誤猜測282
11.3.5因果圖282
11.4測試策略286
11.4.1V模型286
11.4.2單元測試288
11.4.3集成測試289
11.4.4確認測試292
11.4.5系統(tǒng)測試293
11.5面向?qū)ο鬁y試295
11.5.1面向?qū)ο笳Z境對測試的影響295
11.5.2面向?qū)ο鬁y試策略296
11.5.3面向?qū)ο鬁y試用例設(shè)計296
11.6測試完成標準297
11.7調(diào)試298
11.7.1調(diào)試過程298
11.7.2調(diào)試方法299
11.7.3糾正錯誤300
11.8小結(jié)301
習題301
第12章Web工程303
12.1基于Web系統(tǒng)和應(yīng)用的屬性303
12.2Web工程過程306
12.2.1過程框架306
12.2.2改善框架307
12.2.3Web工程中有用的規(guī)則307
12.2.4方法和工具308
12.3Web分析308
12.3.1Web的分析類別309
12.3.2分析元素310
12.4Web設(shè)計310
12.4.1體系結(jié)構(gòu)設(shè)計311
12.4.2導(dǎo)航設(shè)計311
12.4.3界面設(shè)計312
12.4.4構(gòu)件級設(shè)計313
12.5Web測試313
12.5.1質(zhì)量評判標準314
12.5.2在WebApp環(huán)境下出現(xiàn)的錯誤314
12.5.3測試策略315
12.6小結(jié)315
習題315
第13章軟件維護與再工程317
13.1軟件維護317
13.1.1軟件維護的概念317
13.1.2軟件維護的過程320
13.1.3軟件可維護性323
13.2再工程技術(shù)326
13.2.1再工程的概念326
13.2.2業(yè)務(wù)過程再工程327
13.2.3軟件再工程過程328
13.2.4逆向工程330
13.3小結(jié)331
習題331
第14章軟件項目管理332
14.1軟件項目管理概述332
14.1.1軟件項目管理的關(guān)注點332
14.1.2軟件項目管理的內(nèi)容335
14.2軟件度量340
14.2.1面向規(guī)模的度量341
14.2.2面向功能的度量342
14.2.3軟件質(zhì)量模型346
14.2.4程序復(fù)雜性度量352
14.2.5軟件可靠性度量354
14.3軟件項目估算355
14.3.1代碼行、功能點和工作量估算355
14.3.2IBM估算模型357
14.3.3CoCoMo模型357
14.3.4Putnam模型360
14.3.5軟件可靠性估算361
14.4項目進度管理362
14.4.1人員與工作量之間的關(guān)系363
14.4.2任務(wù)的分解與并行364
14.4.3任務(wù)工作量的確定365
14.4.4進度安排366
14.5風險管理371
14.5.1風險標識371
14.5.2風險預(yù)測372
14.5.3風險評估373
14.5.4風險管理和控制373
14.6軟件項目的組織375
14.6.1組織結(jié)構(gòu)的模式375
14.6.2程序設(shè)計小組的組織形式376
14.6.3人員配備378
14.7軟件質(zhì)量管理379
14.7.1軟件質(zhì)量保證380
14.7.2軟件評審381
14.8軟件配置管理383
14.8.1軟件配置管理的基本概念383
14.8.2軟件配置管理的主要活動384
14.9小結(jié)388
習題388
詞匯索引390
參考文獻400