《軟體測試》是由鄭人傑、許靜、于波編著，2011年人民郵電出版社出版的計算機專業教材。該書基於編寫團隊在軟體工程領域的教學及實踐經驗，系統闡述了軟體測試技術從基礎概念到管理策略的發展脈絡與理論體系。
全書共12章，涵蓋測試策略、黑盒與白盒技術、集成與系統測試流程、質量管理及工具套用等內容，通過靜態與動態方法對比，解析等價類劃分、因果圖等核心方法。書中結合案例與實踐，探討測試生命周期、可靠性評估及評審機制，兼顧理論框架與操作指導。該教材適用於計算機相關專業教學與測試工程師培訓。
基本介紹
- 中文名：軟體測試
- 作者：鄭人傑,許靜,于波
- 類別：計算機、網路
- 出版社：人民郵電出版社
- 出版時間：2011年3月
- 開本：16 開
- 裝幀：平裝-膠訂
- ISBN：9787115238078
內容簡介,圖書目錄,
內容簡介
隨著軟體測試技術從簡單的查錯、排錯，發展到貫穿軟體開發的各個階段，高級的測試方法和測試管理越來越重要，本書旨在全面系統地介紹軟體測試技術。
本書作者由清華大學、南開大學計算機系、清華同方公司軟體研究院的人員組成。作者總結了多年在軟體工程、軟體測試教學經驗的基礎上，系統回顧了測試發展與概念的定義，深入講解了測試方法與測試過程，全面介紹了測試管理與主流測試工具。
本書可以作為計算機、軟體工程、軟體測試及相關專業的本科、碩士研究生教材，也可以作為測試工程師培訓用書。
圖書目錄
第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章 集成測試
第6章 系統測試
第7章 測試組織和管理
第8章 測試工具
第9章 軟體評審
第10章 軟體質量與軟體質量管理
第11章 測試可靠性與軟體可靠性
第12章 程式正確性證明
參考文獻
