軟件測試實用方法與技術(shù)

第1章軟件測試概述1
1.1軟件測試簡史1
1.2軟件測試定義3
1.3軟件測試原則4
1.4軟件的可測試性6
1.4.1可測試性定義與內(nèi)涵6
1.4.2可測試性設(shè)計與實現(xiàn)7
1.4.3可測試性度量與評估9
1.5軟件測試模型9
1.5.1V模型9
1.5.2W模型10
1.5.3H模型11
1.6軟件測試級別與測試類型12
1.6.1軟件測試級別12
1.6.2軟件測試類型13
1.6.3軟件關(guān)鍵等級16
1.7軟件測試標(biāo)準(zhǔn)規(guī)范18
1.7.1相關(guān)標(biāo)準(zhǔn)概述18
1.7.2GB/T 9386—2008《計算機軟件測試文檔編制規(guī)范》21
1.7.3GB/T 15532—2008《計算機軟件測試規(guī)范》21
1.7.4GB/T 25000.51—2010《軟件工程軟件產(chǎn)品質(zhì)量要求和評價
（SQuaRE）商業(yè)現(xiàn)貨（COTS）軟件產(chǎn)品的質(zhì)量要求和測試細(xì)則》21
1.7.5ISO/IEC 29119 Software Testing22
1.8軟件測試人員能力素質(zhì)要求26
1.9術(shù)語與縮略語27

第2章靜態(tài)測試技術(shù)29
2.1文檔審查29
2.1.1實施要點30
2.1.2組織與流程30
2.1.3成果形式31
2.2代碼審查34
2.2.1實施要點34
2.2.2組織與流程35
2.2.3成果形式35
2.3靜態(tài)分析38
2.3.1實施要點38
2.3.2組織與流程39
2.3.3成果形式40
2.4代碼走查40
2.4.1實施要點40
2.4.2組織與流程40
2.4.3成果形式41
2.5靜態(tài)測試技術(shù)分析41
〖1〗軟件測試實用方法與技術(shù)〖1〗目錄
第3章動態(tài)測試技術(shù)43
3.1白盒測試43
3.1.1概述43
3.1.2白盒測試基礎(chǔ)46
3.1.3基本路徑測試51
3.1.4控制結(jié)構(gòu)測試53
3.1.5其他白盒測試技術(shù)61
3.2黑盒測試64
3.2.1概述64
3.2.2等價類劃分65
3.2.3邊界值分析68
3.2.4因果圖與決策表法70
3.2.5組合測試75
3.2.6基于場景測試77
3.2.7錯誤推測法81
3.2.8黑盒測試技術(shù)分析84
3.3灰盒測試85
3.3.1概述85
3.3.2實施步驟86
3.3.3灰盒測試技術(shù)分析86
3.4動態(tài)測試技術(shù)分析87

第4章單元測試89
4.1概述89
4.1.1單元測試的定義89
4.1.2單元測試的目的89
4.1.3單元測試的重要性90
4.2單元測試原則92
4.3單元測試環(huán)境92
4.4單元測試策略94
4.4.1自頂向下94
4.4.2自底向上94
4.4.3獨立單元95
4.5單元測試內(nèi)容95
4.5.1功能測試96
4.5.2性能測試96
4.5.3接口測試96
4.5.4局部數(shù)據(jù)結(jié)構(gòu)測試96
4.5.5邊界條件測試97
4.5.6獨立執(zhí)行路徑測試97
4.5.7錯誤處理測試97
4.6單元測試方法98
4.6.1靜態(tài)測試98
4.6.2動態(tài)測試99
4.7單元測試用例設(shè)計100
4.8單元測試過程101
4.8.1測試策劃102
4.8.2靜態(tài)測試103
4.8.3動態(tài)測試111
4.8.4測試總結(jié)113

第5章集成測試114
5.1概述114
5.1.1集成測試的定義114
5.1.2集成測試的目的115
5.1.3集成測試的重要性116
5.2集成測試原則117
5.3集成測試環(huán)境117
5.4集成測試策略118
5.4.1大爆炸式集成119
5.4.2自頂向下集成120
5.4.3自底向上集成122
5.4.4三明治式集成123
5.4.5核心系統(tǒng)先行集成124
5.4.6分層集成125
5.4.7基于功能的集成126
5.4.8高頻集成127
5.4.9基于進(jìn)度的集成128
5.4.10基于使用的集成128
5.4.11基于風(fēng)險的集成129
5.4.12客戶/服務(wù)器系統(tǒng)的集成129
5.5集成測試內(nèi)容130
5.6測試方法131
5.6.1體系結(jié)構(gòu)分析131
5.6.2模塊分析131
5.6.3接口分析132
5.6.4可測試性分析133
5.6.5集成測試策略分析133
5.7集成測試用例設(shè)計133
5.8集成測試過程134
5.8.1測試策劃135
5.8.2測試設(shè)計與實現(xiàn)137
5.8.3測試執(zhí)行138
5.8.4測試總結(jié)138

第6章配置項測試140
6.1概述140
6.1.1配置項測試的定義140
6.1.2配置項測試的目的140
6.1.3配置項測試的重要性141
6.2配置項測試原則141
6.3配置項測試環(huán)境142
6.4配置項測試策略143
6.5配置項測試內(nèi)容143
6.6配置項測試方法144
6.6.1功能測試145
6.6.2性能測試146
6.6.3接口測試147
6.6.4人機交互界面測試148
6.6.5強度測試149
6.6.6余量測試149
6.6.7安全性測試150
6.6.8恢復(fù)性測試151
6.6.9邊界測試152
6.6.10數(shù)據(jù)處理測試152
6.6.11安裝性測試153
6.6.12容量測試154
6.7配置項測試用例設(shè)計154
6.7.1概述154
6.7.2SFME&FTA綜合分析155
6.7.3建立軟件測試用例設(shè)計模式158
6.7.4應(yīng)用實例159
6.8配置項測試過程161
6.8.1測試策劃162
6.8.2測試設(shè)計與實現(xiàn)163
6.8.3測試執(zhí)行164
6.8.4測試總結(jié)164

第7章系統(tǒng)測試166
7.1概述166
7.1.1系統(tǒng)測試的定義166
7.1.2系統(tǒng)測試的目的166
7.1.3系統(tǒng)測試的重要性167
7.2系統(tǒng)測試原則167
7.3系統(tǒng)測試環(huán)境168
7.4系統(tǒng)測試策略168
7.5系統(tǒng)測試內(nèi)容169
7.6系統(tǒng)測試方法169
7.6.1可靠性測試169
7.6.2互操作性測試172
7.6.3兼容性測試173
7.7系統(tǒng)測試用例設(shè)計174
7.7.1概述174
7.7.2系統(tǒng)形式化模型175
7.7.3基于模型的系統(tǒng)測試178
7.7.4實例182
7.8系統(tǒng)測試過程184

第8章回歸測試185
8.1概述185
8.1.1回歸測試的定義185
8.1.2回歸測試的目的186
8.1.3回歸測試的重要性186
8.2回歸測試策略187
8.3軟件更動影響域分析方法187
8.3.1黑盒測試更動影響域分析187
8.3.2白盒測試更動影響域分析191
8.4回歸測試用例設(shè)計195
8.4.1回歸測試用例設(shè)計原則195
8.4.2已有測試用例的選取195
8.5回歸測試過程198

第9章面向?qū)ο筌浖y試200
9.1面向?qū)ο筌浖喗?00
9.2面向?qū)ο筌浖y試概述203
9.2.1面向?qū)ο筌浖奶攸c對測試的影響203
9.2.2面向?qū)ο筌浖y試和傳統(tǒng)測試的不同204
9.2.3面向?qū)ο筌浖y試分類205
9.3面向?qū)ο筌浖y試模型205
9.3.1面向?qū)ο蠓治鰷y試206
9.3.2面向?qū)ο笤O(shè)計測試208
9.3.3面向?qū)ο缶幊虦y試208
9.3.4面向?qū)ο髥卧獪y試209
9.3.5面向?qū)ο蠹蓽y試212
9.3.6面向?qū)ο笙到y(tǒng)測試215

第10章FPGA測試218
10.1FPGA測試概述218
10.1.1可編程邏輯器件的基本概念218
10.1.2硬件描述語言的發(fā)展歷程219
10.1.3VHDL語言219
10.1.4Verilog HDL語言220
10.1.5面向可編程邏輯器件的開發(fā)過程220
10.1.6可編程邏輯器件軟件與傳統(tǒng)軟件的不同222
10.1.7全過程域的可編程邏輯器件測試框架223
10.2靜態(tài)測試223
10.2.1文檔審查224
10.2.2代碼審查227
10.2.3編碼規(guī)則檢查229
10.2.4跨時鐘域分析230
10.2.5等效性驗證235
10.2.6靜態(tài)時序分析239
10.3仿真測試243
10.3.1仿真測試的特點244
10.3.2仿真測試平臺的組成245
10.3.3仿真測試的流程245
10.3.4功能仿真測試247
10.3.5門級仿真測試248
10.3.6時序仿真測試248
10.3.7仿真測試支持工具249
10.4軟硬協(xié)同驗證250
10.4.1驗證環(huán)境構(gòu)成250
10.4.2支持工具251
10.5板級驗證251
10.5.1作用251
10.5.2板級驗證的典型環(huán)境252
10.5.3板級驗證的流程252

第11章測試工具254
11.1概述254
11.2靜態(tài)測試工具255
11.2.1Logiscope255
11.2.2PRQA257
11.2.3SpyGlass259
11.2.4PrimeTime261
11.2.5Formalpro261
11.2.6其他靜態(tài)測試工具262
11.3動態(tài)測試工具262
11.3.1QACenter262
11.3.2WinRunner265
11.3.3JUnit266
11.3.4Testbed268
11.3.5CodeTest270
11.3.6QuestaSim271
11.3.7其他動態(tài)測試工具272
11.4測試管理工具272
11.4.1TestCenter272
11.4.2TPManager274
11.4.3其他測試工具278

第12章軟件測試文檔279
12.1概述279
12.2制定測試計劃280
12.2.1測試計劃內(nèi)容280
12.2.2測試計劃模板281
12.2.3測試計劃常見問題284
12.3測試設(shè)計與實現(xiàn)285
12.3.1測試設(shè)計與實現(xiàn)的內(nèi)容286
12.3.2測試說明模板287
12.3.3測試設(shè)計與實現(xiàn)常見問題288
12.4測試執(zhí)行290
12.4.1測試執(zhí)行的內(nèi)容290
12.4.2測試執(zhí)行模板290
12.4.3測試實施常見問題292
12.5測試總結(jié)293
12.5.1測試總結(jié)的內(nèi)容293
12.5.2測試總結(jié)模板294
12.5.3測試總結(jié)常見問題296

參考文獻(xiàn)298