前言
第1章 開發者測試概述
1.1 開發者與軟件測試
1.1.1 測試和調試
1.1.2 開發者測試
1.1.3 PIE模型
1.2 開發者測試方法與技術
1.2.1 靜態測試與動態測試
1.2.2 黑盒測試與白盒測試
1.2.3 失效重現
1.3 開發者測試工具
1.3.1 靜態測試掃描工具
1.3.2 測試覆蓋分析工具
1.4 開發者測試趨勢
1.4.1 軟件開發和運營困境
1.4.2 DevOps介紹
1.4.3 DevOps中的開發者測試
1.5 慕測開發者測試
1.6 小結
習題
第2章 程序靜態分析
2.1 程序靜態分析概述
2.1.1 代碼評審
2.1.2 結構分析
2.2 程序流程分析
2.2.1 控制流分析
2.2.2 數據流分析
2.3 符號執行
2.3.1 靜態符號執行
2.3.2 動態符號執行
2.4 編程規範和規則
2.5 程序靜態分析工具
2.5.1 工具簡介
2.5.2 工具安裝與評估
2.6 小結
習題
第3章 白盒測試
3.1 邏輯覆蓋測試
3.1.1 語句覆蓋
3.1.2 分支覆蓋
3.1.3 條件覆蓋
3.1.4 條件/判定覆蓋
3.1.5 修正條件/判定覆蓋
3.1.6 條件組合覆蓋
3.2 路徑覆蓋測試
3.2.1 環復雜度
3.2.2 基本路徑覆蓋
3.2.3 主路徑覆蓋
3.2.4 循環結構測試
3.3 小結