第1章 緒論
1.1 軟件危機和軟件生存期
1.2 軟件測試的意義
1.3 什麼是軟件測試
1.4 應該怎樣認識軟件測試
1.5 軟件測試發展的歷史回顧
1.5.1 歷史回顧
1.5.2 與軟件測試相關課題的發展
習題
第2章 軟件測試策略
2.1 測試的生命周期
2.2 測試步驟
2.2.1測試
2.2.2 集成測試
2.2.3 確認測試
2.2.4 繫統測試
2.3 靜態方法與動態方法
2.4 黑盒測試與白盒測試
2.4.1 黑盒測試
2.4.2 白盒測試
2.4.3 黑盒測試與白盒測試的比較
2.5 回歸測試方法
2.6 人工測試與自動測試
2.6.1 人工測試技術概述
2.6.2 軟件審查
2.6.3 軟件審查的作用
2.6.4 自動測試
習題
第3章 黑盒測試
3.1 等價類劃分
3.1.1 方法簡介
3.1.2 應用等價類劃分方法進行測試用例設計的實例
3.2 因果圖
3.3 正交實驗設計法
3.3.1 提取功能說明，構造因子--狀態表
3.3.2 加權篩選，生成因素分析表
3.3.3 利用正交表構造測試數據集
3.3.4 方法評價
3.4 邊值分析
3.4.1 單變量邊界值的選取
3.4.2 多個變量組合情況下邊界值的選取
3.5 判定表驅動測試
3.5.1 什麼是判定表
3.5.2 判定表在功能測試中的應用
3.6 功能測試
3.6.1 功能測試的繫統化
3.6.2 模塊功能的分解測試
習題
第4章 白盒測試
4.1 程序結構分析
4.1.1 控制流分析
4.1.2 數據流分析
4.1.3 信息流分析
4.2 邏輯覆蓋
4.2.1 幾種常用的邏輯覆蓋測試方法
4.2.2 最少測試用例數計算
4.2.3 測試覆蓋準則
4.3 域測試
4.4 符號測試
4.5 路徑分析
4.5.1 程序路徑表達式
4.5.2 程序中路徑數的計算
4.5.3 程序路徑的樹表示及路徑編碼
4.5.4 測試路徑枚舉
4.5.5 路徑測試繫統
4.6 程序插裝
4.6.1 方法簡介
4.6.2 斷言語句
4.7 程序變異
4.7.1 程序強變異
4.7.2 程序弱變異
習題
第5章 集成測試
5.1 集成測試的必要性
5.2 程序結構分析
5.3 集成的方法
5.3.1 一次性集成
5.3.2 自頂向下集成
5.3.3 自底向上集成
5.3.4 協作集成
5.3.5 基干集成
5.3.6 層次集成
5.3.7 客戶/服務器集成
5.3.8 分布服務集成
5.3.9 高頻集成
5.3.10 基於調用圖集成
習題
第6章 繫統測試
6.1 非功能測試
6.1.1 安裝測試
6.1.2 兼容性測試
6.1.3 安全性測試
6.1.4 恢復測試
6.2 性能測試
6.2.1 負載測試
6.2.2 壓力測試
6.2.3 容量測試
6.3 其他測試
6.3.1 α測試
6.3.2 β測試
6.3.3 文檔測試
6.3.4 界面測試
習題
第7章 測試組織和管理
7.1 測試準備
7.1.1 測試需求分析和計劃
7.1.2 測試環境搭建
7.1.3 測試用例
7.2 測試實施
7.2.1 測試用例執行
7.2.2 測試數據記錄
7.2.3 測試溝通
7.2.4 測試用例驗證
7.3 測試總結
7.3.1 測試數據整理
7.3.2 測試用例修訂
7.3.3 用例庫的維護
7.3.4 配置管理
7.4 缺陷管理
7.4.1 缺陷描述
7.4.2 測試缺陷追蹤
7.4.3 缺陷統計分析
7.4.4 尋找薄弱環節
7.5 測試成熟度模型
7.6 測試度量
習題
第8章 測試工具
8.1 測試工具綜述
8.1.1 白盒測試工具
8.1.2 黑盒測試工具
8.1.3 測試管理工具
8.1.4 其他測試工具
8.2 JUnit(白盒測試工具)
8.2.1 JUnit簡介
8.2.2 JUnit測試過程
8.2.3 JUnit斷言設置
8.2.4 JUnit測試用例
8.3 LoadRunner(黑盒測試工具)
8.3.1 創建Vuser腳本
8.3.2 定義方案場景
8.3.3 運行方案場景
8.3.4 分析負載結果
8.4 TestDirector(測試管理工具)
8.4.1 測試需求定義
8.4.2 測試計劃
8.4.3 測試執行
8.4.4 缺陷跟蹤
8.5 WAST(專用測試工具)
8.5.1 準備測試腳本
8.5.2 設置測試腳本
8.5.3 運行測試腳本
8.5.4 應用側重點
8.6 Introscope(測試輔助工具)
8.6.1 Introscope工作模式
8.6.2 Introscope測試策略
8.6.3 Introscope測試過程
8.6.4 Introscope監控指標
8.7 開源測試工具解決方案
習題
第9章 軟件評審
9.1 軟件評審方法
9.1.1 軟件評審方法概述
9.1.2 軟件項目評審應用舉例
9.1.3 軟件評審的定義
9.1.4 相關國際標準及能力成熟度模型中對軟件評審的要求
9.2 軟件評審的作用
9.2.1 軟件評審的意義
9.2.2 代碼評審的成功實例
9.2.3 評審與其他驗證方法的比較
9.3 軟件評審的實施
9.3.1 正式評審
9.3.2 需求評審
9.3.3 設計評審
9.3.4 代碼評審
9.4 如何做好軟件評審
9.4.1 軟件評審中經常出現的問題
9.4.2 做好軟件評審工作的建議
9.4.3 一個軟件需求規格說明書的評審用檢查單
習題
第10章 軟件質量與軟件質量管理
10.1 軟件質量問題的挑戰
10.1.1 軟件質量問題引發的繫統事故屢見不鮮
10.1.2 軟件質量事故問題分析
10.1.3 解決軟件質量問題的途徑
10.2 軟件錯誤類型分析
10.3 程序中隱藏錯誤數量估計
10.3.1 撒播模型
10.3.2 回歸模型
10.4 軟件質量特性
10.5 與軟件質量管理相關的若干過程
10.5.1 軟件質量保證過程
10.5.2 軟件驗證過程
10.5.3 軟件確認過程
10.5.4 軟件評審過程
10.5.5 軟件審核過程
10.5.6 軟件問題解決過程
10.6 軟件質量因素和質量特性
10.7 軟件質量保證的任務
10.8 程序排錯
10.8.1 排錯工作概述
10.8.2 排錯方法
10.8.3 排錯策略
習題
第11章 測試可靠性與軟件可靠性
11.1 測試可靠性理論
11.1.1 測試可靠性的奠基性理論
11.1.2 路徑測試可靠性理論
11.1.3 暴露子域理論
11.1.4 測試的數學符號繫統
11.2 軟件可靠性概念
11.3 軟件可靠性模型
11.4 軟件可靠性在軟件測試中的應用
11.5 近幾年的發展狀況
習題
第12章 程序正確性證明
12.1 程序正確性證明概述
12.2 以公理語義學為基礎的正確性證明技術
12.2.1 程序規範
12.2.2 程序及其運行狀態
12.2.3 程序正確性與部分正確性
12.2.4 公理正確性證明
12.2.5 FLOY D的歸納斷言法
12.2.6 HOARE的公理方法
12.2.7 E. W. Dijkstra的最弱前置條件法
12.2.8 程序正確性證明技術存在的問題
12.3 程序綜合
12.3.1 面向目標的程序推導
12.3.2 不變式推導技術
12.4 進一步研究的方向
習題
參考文獻
