軟體測試實用方法與技術

《軟體測試實用方法與技術》是2017年8月清華大學出版社出版的圖書，作者是劉文紅、張衛祥、司倩然、齊玉華、陳青、馬賢穎、杜會森。

基本介紹

• 中文名：軟體測試實用方法與技術
• 作者：劉文紅、張衛祥、司倩然、齊玉華、陳青、馬賢穎、杜會森
• 出版時間：2017年8月1日
• 出版社：清華大學出版社 
• ISBN：9787302480662
• 定價：69.00 元

內容簡介

本書全面系統地介紹了軟體測試的方法與技術。書中結合實例，詳細介紹了動態測試和靜態測試中的典型技術方法，比較了各種方法的不同之處並分析了它們的優缺點;緊扣軟體測試實際和標準規範要求，從測試原則、測試環境、測試策略、測試內容、測試方法、測試過程等不同方面分別介紹了單元測試、集成測試、配置項測試和系統測試等不同測試級別中實用的測試方法與技術；

圖書目錄

第1章軟體測試概述1

1.1軟體測試簡史1

1.2軟體測試定義3

1.3軟體測試原則4

1.4軟體的可測試性6

1.4.1可測試性定義與內涵6

1.4.2可測試性設計與實現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軟體關鍵等級16

1.7軟體測試標準規範18

1.7.1相關標準概述18

1.7.2GB/T9386—2008《計算機軟體測試文檔編制規範》21

1.7.3GB/T15532—2008《計算機軟體測試規範》21

1.7.4GB/T25000.51—2010《軟體工程軟體產品質量要求和評價（SQuaRE）商業現貨（COTS）軟體產品的質量要求和測試細則》21

1.7.5ISO/IEC29119SoftwareTesting22

1.8軟體測試人員能力素質要求26

1.9術語與縮略語27

第2章靜態測試技術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靜態分析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靜態測試技術分析41

〖1〗軟體測試實用方法與技術〖1〗目錄

第3章動態測試技術43

3.1白盒測試43

3.1.1概述43

3.1.2白盒測試基礎46

3.1.3基本路徑測試51

3.1.4控制結構測試53

3.1.5其他白盒測試技術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黑盒測試技術分析84

3.3灰盒測試85

3.3.1概述85

3.3.2實施步驟86

3.3.3灰盒測試技術分析86

3.4動態測試技術分析87

第4章單元測試89

4.1概述89

4.1.1單元測試的定義89

4.1.2單元測試的目的89

4.1.3單元測試的重要性90

4.2單元測試原則92

4.3單元測試環境92

4.4單元測試策略94

4.4.1自頂向下94

4.4.2自底向上94

4.4.3獨立單元95

4.5單元測試內容95

4.5.1功能測試96

4.5.2性能測試96

4.5.3接口測試96

4.5.4局部數據結構測試96

4.5.5邊界條件測試97

4.5.6獨立執行路徑測試97

4.5.7錯誤處理測試97

4.6單元測試方法98

4.6.1靜態測試98

4.6.2動態測試99

4.7單元測試用例設計100

4.8單元測試過程101

4.8.1測試策劃102

4.8.2靜態測試103

4.8.3動態測試111

4.8.4測試總結113

第5章集成測試114

5.1概述114

5.1.1集成測試的定義114

5.1.2集成測試的目的115

5.1.3集成測試的重要性116

5.2集成測試原則117

5.3集成測試環境117

5.4集成測試策略118

5.4.1大爆炸式集成119

5.4.2自頂向下集成120

5.4.3自底向上集成122

5.4.4三明治式集成123

5.4.5核心繫統先行集成124

5.4.6分層集成125

5.4.7基於功能的集成126

5.4.8高頻集成127

5.4.9基於進度的集成128

5.4.10基於使用的集成128

5.4.11基於風險的集成129

5.4.12客戶/伺服器系統的集成129

5.5集成測試內容130

5.6測試方法131

5.6.1體系結構分析131

5.6.2模組分析131

5.6.3接口分析132

5.6.4可測試性分析133

5.6.5集成測試策略分析133

5.7集成測試用例設計133

5.8集成測試過程134

5.8.1測試策劃135

5.8.2測試設計與實現137

5.8.3測試執行138

5.8.4測試總結138

第6章配置項測試140

6.1概述140

6.1.1配置項測試的定義140

6.1.2配置項測試的目的140

6.1.3配置項測試的重要性141

6.2配置項測試原則141

6.3配置項測試環境142

6.4配置項測試策略143

6.5配置項測試內容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恢復性測試151

6.6.9邊界測試152

6.6.10數據處理測試152

6.6.11安裝性測試153

6.6.12容量測試154

6.7配置項測試用例設計154

6.7.1概述154

6.7.2SFME&FTA綜合分析155

6.7.3建立軟體測試用例設計模式158

6.7.4套用實例159

6.8配置項測試過程161

6.8.1測試策劃162

6.8.2測試設計與實現163

6.8.3測試執行164

6.8.4測試總結164

第7章系統測試166

7.1概述166

7.1.1系統測試的定義166

7.1.2系統測試的目的166

7.1.3系統測試的重要性167

7.2系統測試原則167

7.3系統測試環境168

7.4系統測試策略168

7.5系統測試內容169

7.6系統測試方法169

7.6.1可靠性測試169

7.6.2互操作性測試172

7.6.3兼容性測試173

7.7系統測試用例設計174

7.7.1概述174

7.7.2系統形式化模型175

7.7.3基於模型的系統測試178

7.7.4實例182

7.8系統測試過程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回歸測試用例設計195

8.4.1回歸測試用例設計原則195

8.4.2已有測試用例的選取195

8.5回歸測試過程198

第9章面向對象軟體測試200

9.1面向對象軟體簡介200

9.2面向對象軟體測試概述203

9.2.1面向對象軟體的特點對測試的影響203

9.2.2面向對象軟體測試和傳統測試的不同204

9.2.3面向對象軟體測試分類205

9.3面向對象軟體測試模型205

9.3.1面向對象分析測試206

9.3.2面向對象設計測試208

9.3.3面向對象編程測試208

9.3.4面向對象單元測試209

9.3.5面向對象集成測試212

9.3.6面向對象系統測試215

第10章FPGA測試218

10.1FPGA測試概述218

10.1.1可程式邏輯器件的基本概念218

10.1.2硬體描述語言的發展歷程219

10.1.3VHDL語言219

10.1.4VerilogHDL語言220

10.1.5面向可程式邏輯器件的開發過程220

10.1.6可程式邏輯器件軟體與傳統軟體的不同222

10.1.7全過程域的可程式邏輯器件測試框架223

10.2靜態測試223

10.2.1文檔審查224

10.2.2代碼審查227

10.2.3編碼規則檢查229

10.2.4跨時鐘域分析230

10.2.5等效性驗證235

10.2.6靜態時序分析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軟硬協同驗證250

10.4.1驗證環境構成250

10.4.2支持工具251

10.5板級驗證251

10.5.1作用251

10.5.2板級驗證的典型環境252

10.5.3板級驗證的流程252

第11章測試工具254

11.1概述254

11.2靜態測試工具255

11.2.1Logiscope255

11.2.2PRQA257

11.2.3SpyGlass259

11.2.4PrimeTime261

11.2.5Formalpro261

11.2.6其他靜態測試工具262

11.3動態測試工具262

11.3.1QACenter262

11.3.2WinRunner265

11.3.3JUnit266

11.3.4Testbed268

11.3.5CodeTest270

11.3.6QuestaSim271

11.3.7其他動態測試工具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測試計畫內容280

12.2.2測試計畫模板281

12.2.3測試計畫常見問題284

12.3測試設計與實現285

12.3.1測試設計與實現的內容286

12.3.2測試說明模板287

12.3.3測試設計與實現常見問題288

12.4測試執行290

12.4.1測試執行的內容290

12.4.2測試執行模板290

12.4.3測試實施常見問題292

12.5測試總結293

12.5.1測試總結的內容293

12.5.2測試總結模板294

12.5.3測試總結常見問題296

參考文獻298