軟件測試實用方法與技術 软件测试实用方法与技术(软件开发与测试丛书)

第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/T 9386—2008《計算機軟件測試文檔編制規範》21 
1.7.3GB/T 15532—2008《計算機軟件測試規範》21 
1.7.4GB/T 25000.51—2010《軟件工程軟件產品質量要求和評價
（SQuaRE）商業現貨（COTS）軟件產品的質量要求和測試細則》21 
1.7.5ISO/IEC 29119 Software Testing22 
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 

第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.4Verilog HDL語言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