內容簡介
系統論述覆蓋準則的理論知識。覆蓋準則提供了何時停止測試的有效規則，書中將覆蓋準則分為圖覆蓋、邏輯覆蓋、輸入空間覆蓋和語法結構覆蓋幾類，有助於學生系統地理解和深入地掌握測試的方法和技術。
詳細介紹針對特定環境、體系結構和套用的測試方法，為學生從事實際測試工作奠定基礎。
圖書目錄
前言
教學建議
第一部分 軟體測試背景知識
第1章 軟體測試基礎
1.1 軟體質量
1.1.1 軟體質量的內涵
1.1.2 軟體質量與軟體危機
1.1.3 軟體質量保證
1.1.4 軟體錯誤與缺陷
1.2 軟體測試過程
1.2.1 軟體測試的模型：
1.2.2 測試過程成熟度
1.2.3 測試活動的自動化
1.3 軟體測試術語
1.4 軟體的可測性
1.5 軟體測試原則
1.6 測試與調試
1.7 小結
習題
第2章 圖論
2.1 無向圖
2.2 有向圖
2.3 用於測試的圖
2.3.1 程式圖
2.3.2 有限狀態機
2.3.3 Petri網
2.3.4.事件驅動的Petri網
2.3.5 狀態圖
習題
第3章 測試案例
3.1 工資支付系統
3.2 三角形類型問題
3.3 簡化的錄像機系統
3.4 簡單自動櫃員機問題
3.5 貨幣轉換程式
3.6 面向對象的Next Date問題
3.7 擋風玻璃雨刷系統
3.8 小結
習題
第二部分 軟體測試戰術
第4章 覆蓋準則
4.1 引言
4.2 圖覆蓋準則
4.2.1 結構化的覆蓋準則
4.2.2 案例：尋找主路徑
4.2.3 數據流覆蓋準則
4.2.4 案例：三種數據流覆蓋準則的區別
4.2.5 圖覆蓋準則之間的包含關係
4.3 邏輯覆蓋準則
4.3.1 邏輯謂詞和子句
4.3.2 邏輯表達式覆蓋準則
4.3.3 活動子句覆蓋準則
4.3.4 案例：帶氣門的系統CACC和RACC設計
4.3.5 非活動子句覆蓋準則
4.3.6 邏輯覆蓋準則的包含關係
4.3.7 建立判定謂詞的子句
4.3.8 案例：工資支付系統查找滿足覆蓋準則的值
4.4 輸入空間的劃分準則
4.4.1 輸入域建模
4.4.2 組合策略準則
4.4.3 劃分中的約束
4.5 基於語法的覆蓋準則
4.5.1 BNF覆蓋準則
4.5.2 變異測試覆蓋準則
4.5.3 案例：stream語法的MOC
和MPC覆蓋
4.5.4 基於程式的語法覆蓋準則
4.5.5 案例：min方法的變異測試
4.6 小結
習題
第5章 白盒測試
5.1 路徑測試
5.1.1 程式圖的表示
5.1.2 DD.路徑
5.1.3 基路徑測試
5.1.4 獨立程式路徑
5.1.5 案例：計算平均值的程式
5.2 控制結構測試
5.2.1 條件測試
5.2.2 案例：三角形問題的條件測試
5.2.3 數據流測試
5.2.4 案例：三角形問題的數據流測試
5.2.5 循環測試
5.2.6 案例：計算平均值的程式
5.3 變異測試
5.3.1 結構化變異
5.3.2 面向對象變異
5.3.3 案例：工資支付系統
5.4 小結
習題
第6章 黑盒測試
6.1 基於圖的測試
6.1.1 基於圖的測試方法
6.1.2 案例：工資支付系統的活動圖測試設計
6.2 等價劃分
6.2.1 等價劃分的測試方法
6.2.2 案例：工資支付系統的等價類測試設計
6.3 邊界值分析
6.3.1 邊界值分析的測試方法
6.3.2 案例：工資支付系統的邊界值測試設計
6.4 正交表測試
6.4.1 正交表測試方法
6.4.2 案例：工資支付系統的正交表測試設計
6.5 健壯性測試
6.5.1 健壯性測試方法
6.5.2 測試用例生成要求
6.5.3 案例：工資支付系統的健壯性測試設計
6.6 決策表測試
6.6.1 決策表測試方法
6.6.2 案例：工資支付系統的決策表測試設計
6.7 有窮狀態測試
6.7.1 有窮狀態測試方法
6.7.2 案例：工資支付系統的有窮狀態測試設計
6.8 小結
習題
第三部分軟體測試策略
第7章 軟體測試的策略性方法
7.1 測試策略概述
7.2 驗證與確認
7.3 軟體測試的組織
7.4 軟體測試的層次
7.4.1 測試層次的傳統觀點
7.4.2 生命周期模型對測試的影響
7.5 人工測試技術
7.5.1 走查
7.5.2 正式評審
7.5.3 審查
7.6 自動化測試與人工測試
7.7 測試完成的標準
7.8 回歸測試
7.9 小結
習題
……
第三部分 軟體測試策略
第四部分 特定環境和特定體系結構的測試
第五部分 測試管理與工具
附錄 測試文檔模板
參考文獻
