軟件工程（第3版）

第1章概論1
1.1計算機軟件1
1.1.1軟件的發(fā)展1
1.1.2軟件的特點2
1.1.3軟件的分類3
1.1.4軟件語言3
1.2軟件工程5
1.2.1軟件工程定義5
1.2.2軟件工程框架6
1.2.3軟件生存周期7
1.3軟件過程7
1.3.1軟件生存周期過程8
1.3.2能力成熟度模型11
1.3.3能力成熟度模型集成13
1.4軟件過程模型16
1.4.1瀑布模型16
1.4.2演化模型17
1.4.3增量模型18
1.4.4原型模型18
1.4.5螺旋模型20
1.4.6噴泉模型21
1.4.7基于構(gòu)件的開發(fā)模型21
1.4.8形式化方法模型22
1.5CASE工具與環(huán)境23
1.5.1軟件工具23
1.5.2軟件開發(fā)環(huán)境25
1.6小結(jié)26
習題26目錄軟件工程（第3版）第2章系統(tǒng)工程27
2.1基于計算機的系統(tǒng)27
2.2系統(tǒng)工程的任務(wù)28
2.3可行性分析29
2.3.1經(jīng)濟可行性29
2.3.2技術(shù)可行性31
2.3.3法律可行性31
2.3.4方案的選擇和折衷31
2.4小結(jié)32
習題32
第3章需求工程33
3.1需求工程概述33
3.2需求獲取35
3.2.1軟件需求35
3.2.2需求獲取方法與策略36
3.3需求分析、協(xié)商與建模40
3.3.1需求分析原則40
3.3.2信息域40
3.3.3需求協(xié)商41
3.3.4需求建模41
3.4需求規(guī)約與驗證42
3.4.1需求規(guī)約的原則42
3.4.2需求規(guī)約42
3.4.3需求驗證44
3.5需求管理44
3.6小結(jié)45
習題45
第4章設(shè)計工程46
4.1軟件設(shè)計工程概述46
4.2軟件設(shè)計原則48
4.2.1抽象與逐步求精49
4.2.2模塊化49
4.2.3信息隱藏50
4.2.4功能獨立51
4.3軟件體系結(jié)構(gòu)設(shè)計53
4.3.1體系結(jié)構(gòu)發(fā)展過程53
4.3.2軟件體系結(jié)構(gòu)的風格54
4.3.3評估可選的體系結(jié)構(gòu)56
4.4部件級設(shè)計技術(shù)57
4.4.1結(jié)構(gòu)化程序設(shè)計方法58
4.4.2圖形表示法58
4.4.3判定表61
4.4.4設(shè)計性語言PDL62
4.5設(shè)計規(guī)約與設(shè)計評審63
4.5.1設(shè)計規(guī)約63
4.5.2設(shè)計評審64
4.6小結(jié)65
習題65
第5章結(jié)構(gòu)化分析與設(shè)計67
5.1結(jié)構(gòu)化分析方法概述67
5.2數(shù)據(jù)流圖69
5.2.1數(shù)據(jù)流圖的圖形表示69
5.2.2分層數(shù)據(jù)流圖的畫法72
5.3分層數(shù)據(jù)流圖的審查76
5.3.1分層數(shù)據(jù)流圖的一致性和完整性77
5.3.2構(gòu)造分層DFD時需要注意的問題80
5.3.3分解的程度82
5.4數(shù)據(jù)字典82
5.4.1字典條目的種類及描述符號82
5.4.2字典條目83
5.4.3字典條目實例87
5.4.4數(shù)據(jù)字典的實現(xiàn)88
5.5描述基本加工的小說明88
5.5.1結(jié)構(gòu)化語言89
5.5.2判定表90
5.5.3判定樹91
5.6結(jié)構(gòu)化設(shè)計概述91
5.6.1結(jié)構(gòu)圖92
5.6.2啟發(fā)式設(shè)計策略94
5.6.3結(jié)構(gòu)化設(shè)計的步驟96
5.7數(shù)據(jù)流圖到軟件體系結(jié)構(gòu)的映射97
5.7.1信息流97
5.7.2數(shù)據(jù)流圖映射到結(jié)構(gòu)圖的步驟98
5.7.3變換分析98
5.7.4事務(wù)分析101
5.7.5分層DFD的映射102
5.8初始結(jié)構(gòu)圖的改進104
5.8.1結(jié)構(gòu)圖改進實例104
5.8.2結(jié)構(gòu)圖改進技巧106
5.9小結(jié)108
習題108
第6章面向數(shù)據(jù)結(jié)構(gòu)的分析與設(shè)計110
6.1JSP方法110
6.1.1數(shù)據(jù)結(jié)構(gòu)與程序結(jié)構(gòu)的表示110
6.1.2JSP方法的分析和設(shè)計步驟114
6.2JSD方法簡介118
6.3小結(jié)119
習題119
第7章面向?qū)ο蠓椒ɑA(chǔ)120
7.1面向?qū)ο蟮幕靖拍?21
7.2面向?qū)ο蠓治龊驮O(shè)計過程124
7.2.1面向?qū)ο蠓治鲞^程124
7.2.2面向?qū)ο笤O(shè)計過程126
7.2.3設(shè)計模式128
7.3UML概述129
7.3.1UML發(fā)展歷史129
7.3.2UML簡介130
7.3.3視圖131
7.3.4圖133
7.4小結(jié)136
習題136
第8章面向?qū)ο蠼?37
8.1用況建模137
8.1.1用況建模步驟137
8.1.2確定執(zhí)行者138
8.1.3確定用況139
8.1.4用況描述140
8.1.5用況圖中的關(guān)系142
8.1.6案例說明143
8.1.7用況建模實例144
8.2靜態(tài)建模147
8.2.1類圖和對象圖148
8.2.2CRC技術(shù)148
8.2.3類之間的關(guān)系153
8.2.4靜態(tài)建模實例161
8.3動態(tài)建模163
8.3.1狀態(tài)機圖163
8.3.2活動圖170
8.3.3順序圖172
8.3.4通信圖176
8.3.5動態(tài)建模實例178
8.4物理體系結(jié)構(gòu)建模179
8.4.1構(gòu)件圖180
8.4.2部署圖181
8.5小結(jié)182
習題182
第9章基于構(gòu)件的軟件開發(fā)184
9.1基于構(gòu)件的軟件開發(fā)概述184
9.1.1構(gòu)件184
9.1.2基于構(gòu)件的軟件開發(fā)過程187
9.1.3CBSD對質(zhì)量、生產(chǎn)率和成本的影響189
9.2建造可復用構(gòu)件190
9.2.1對可復用構(gòu)件的要求190
9.2.2創(chuàng)建領(lǐng)域構(gòu)件的設(shè)計框架191
9.2.3可變性分析191
9.2.4可變性機制192
9.3應(yīng)用系統(tǒng)工程194
9.3.1基于CBSD的應(yīng)用系統(tǒng)分析和設(shè)計194
9.3.2構(gòu)件的鑒定、特化和組裝195
9.4構(gòu)件的管理196
9.4.1構(gòu)件的分類描述196
9.4.2構(gòu)件庫管理系統(tǒng)197
9.5小結(jié)198
習題198
第10章敏捷軟件開發(fā)199
10.1敏捷軟件開發(fā)方法概述199
10.1.1敏捷宣言199
10.1.2精益思想201
10.1.3敏捷方法綜述202
10.2Scrum方法203
10.2.1Scrum簡介203
10.2.2Scrum團隊205
10.2.3需求管理205
10.2.4基于時間盒的迭代206
10.2.5回顧會議209
10.3極限編程方法210
10.3.1極限編程簡介210
10.3.2價值觀和原則211
10.3.3實踐212
10.4看板方法217
10.4.1看板方法簡介217
10.4.2看板方法的規(guī)則218
10.4.3看板方法和Scrum的比較219
10.5小結(jié)220
習題220
第11章人機界面設(shè)計221
11.1人的因素221
11.1.1人對感知過程的認識221
11.1.2用戶的技能和行為方式222
11.1.3人體測量學對設(shè)計的影響222
11.2人機界面風格224
11.3人機界面分析與建模227
11.3.1人機界面設(shè)計過程227
11.3.2人機界面設(shè)計中涉及的模型228
11.3.3任務(wù)分析的途徑與方法228
11.4界面設(shè)計活動229
11.4.1定義界面對象和動作229
11.4.2設(shè)計問題230
11.4.3黃金原則231
11.5實現(xiàn)工具233
11.6設(shè)計評估233
11.7小結(jié)235
習題235
第12章程序設(shè)計語言和編碼236
12.1程序設(shè)計語言236
12.1.1程序設(shè)計語言的基本成分236
12.1.2程序設(shè)計語言的特性238
12.1.3程序設(shè)計語言的分類239
12.1.4程序設(shè)計語言的選擇240
12.2程序設(shè)計風格241
12.2.1源程序文檔化241
12.2.2數(shù)據(jù)說明244
12.2.3語句結(jié)構(gòu)244
12.2.4輸入和輸出246
12.3小結(jié)246
習題246
第13章軟件測試247
13.1軟件測試基礎(chǔ)247
13.1.1軟件測試的目的247
13.1.2軟件測試的基本原則248
13.1.3白盒測試和黑盒測試249
13.2白盒測試249
13.2.1邏輯覆蓋測試249
13.2.2邏輯表達式錯誤敏感的測試254
13.2.3基本路徑測試255
13.2.4數(shù)據(jù)流測試257
13.2.5循環(huán)測試258
13.3黑盒測試259
13.3.1等價類劃分259
13.3.2邊界值分析262
13.3.3比較測試263
13.3.4錯誤猜測263
13.3.5因果圖263
13.4測試策略267
13.4.1V模型267
13.4.2單元測試268
13.4.3集成測試269
13.4.4確認測試272
13.4.5系統(tǒng)測試273
13.5面向?qū)ο鬁y試274
13.5.1面向?qū)ο笳Z境對測試的影響274
13.5.2面向?qū)ο鬁y試策略275
13.5.3面向?qū)ο鬁y試用例設(shè)計276
13.6測試完成標準276