開發者測試（簡體書）

本書從開發者測試的角度，介紹了軟件測試的產生與發展以及開發者與測試的關係；講述了程序靜態分析、邏輯覆蓋測試、程序插樁與變異測試等開發者需要掌握的測試方法和技術；結合示例講解了單元測試、集成測試中開發者應當要能發現和避免的各種問題；由淺入深，介紹了測試工具JUnit的使用；*後介紹了由慕測科技提供的開發者測試平臺和全國大學生軟件測試大賽。

前 言
第1章 開發者測試概述 1
1.1 開發者與軟件測試 1
1.1.1 測試和調試 1
1.1.2 開發者測試 3
1.1.3 PIE模型 4
1.2 開發者測試方法與技術 6
1.2.1 靜態測試與動態測試 6
1.2.2 黑盒測試與白盒測試 8
1.2.3 失效重現 9
1.3 開發者測試工具 9
1.3.1 靜態測試掃描工具 9
1.3.2 測試覆蓋分析工具 12
1.4 開發者測試趨勢 14
1.4.1 軟件開發和運營困境 14
1.4.2 DevOps介紹 16
1.4.3 DevOps中的開發者測試 17
1.5 慕測開發者測試 19
1.6 小結 27
習題1 28
第2章 程序靜態分析 29
2.1 程序靜態分析概述 29
2.1.1 代碼評審 30
2.1.2 結構分析 31
2.2 程序流程分析 32
2.2.1 控制流分析 32
2.2.2 數據流分析 33
2.3 符號執行 35
2.3.1 靜態符號執行 36
2.3.2 動態符號執行 38
2.4 編程規範和規則 39
2.5 程序靜態分析工具 42
2.5.1 工具簡介 42
2.5.2 工具安裝與評估 42
2.6 小結 48
習題2 48
第3章 白盒測試 50
3.1 邏輯覆蓋測試 50
3.1.1 語句覆蓋 52
3.1.2 分支覆蓋 54
3.1.3 條件覆蓋 56
3.1.4 條件/判定覆蓋 58
3.1.5 修正條件/判定覆蓋 61
3.1.6 條件組合覆蓋 63
3.2 路徑覆蓋測試 65
3.2.1 環複雜度 65
3.2.2 基本路徑覆蓋 66
3.2.3 主路徑覆蓋 69
3.2.4 循環結構測試 72
3.3 小結 74
習題3 74
第4章 程序插樁與變異測試 77
4.1 程序插樁 77
4.1.1 程序插樁概述 77
4.1.2 程序插樁示例 78
4.1.3 程序插樁工具JaCoCo 79
4.2 變異測試 84
4.2.1 變異測試概述 84
4.2.2 變異測試方法 85
4.2.3 變異測試工具PITest 89
4.3 小結 91
習題4 91
第5章 單元測試 94
5.1 單元測試概述 94
5.2 單元測試框架 95
5.3 單元測試內容 96
5.3.1 算法邏輯 96
5.3.2 模塊接口 97
5.3.3 數據結構 97
5.3.4 邊界條件 98
5.3.5 獨立路徑 98
5.3.6 錯誤處理 99
5.3.7 輸入數據 99
5.3.8 表達式與SQL語句 100
5.4 慕測單元測試實例 100
5.5 小結 102
習題5 103
第6章 集成測試 105
6.1 集成測試概述 105
6.1.1 集成測試過程 106
6.1.2 集成測試缺陷類型 107
6.2 集成測試分析 110
6.3 集成測試策略 112
6.3.1 一次性集成與增量式集成 112
6.3.2 自頂向下與自底向上集成 114
6.3.3 基於調用圖的集成 117
6.3.4 其他集成測試策略 118
6.4 小結 124
習題6 124
第7章 JUnit基礎 127
7.1 一個JUnit實例 127
7.2 注解 132
7.3 測試類與測試方法 135
7.3.1 Assert 135
7.3.2 TestCase 139
7.3.3 TestResult 141
7.3.4 TestSuite 142
7.4 錯誤與異常處理 143
7.4.1 錯誤和異常 143
7.4.2 異常處理 144
7.5 批量測試 146
7.5.1 參數化測試 146
7.5.2 打包測試 149
7.6 小結 150
練習7 150
第8章 JUnit深入應用 152
8.1 匹配器 152
8.2 JUnit測試進階 154
8.2.1 Controller測試 154
8.2.2 Stup測試 155
8.2.3 Mock測試 159
8.2.4 Private測試 162
8.3 JUnit集成 165
8.3.1 JUnit-Ant集成 165
8.3.2 JUnit-Maven集成 169
8.4 小結 171
練習8 171
附錄 慕測科技―開發者測試平臺 172
參考文獻 192