出版者的話
譯者序
前言
第一部分 概覽
第1章 概述
1.1 測試工程師的工作
1.1.1 基于軟件活動的測試級別
1.1.2 基于測試過程成熟度的Beizer的測試級別
1.1.3 測試活動的自動化
1.2 軟件測試的局限性和術語
1.3 測試覆蓋標準
1.3.1 不可行性與包含
1.3.2 好的覆蓋標準的特征
1.4 以往的軟件測試術語
1.5 參考文獻注釋
第二部分 覆蓋標準
第2章 圖覆蓋
2.1 概述
2.2 圖覆蓋標準
2.2.1 結構化覆蓋標準
2.2.2 數(shù)據(jù)流標準
2.2.3 圖覆蓋標準中的包含關系
2.3 源代碼的圖覆蓋
2.3.1 源代碼的結構化圖覆蓋
2.3.2 源代碼的數(shù)據(jù)流圖覆蓋
2.4 設計元素的圖覆蓋
2.4.1 設計元素的結構化圖覆蓋
2.4.2 設計元素的數(shù)據(jù)流覆蓋
2.5 規(guī)格說明的圖覆蓋
2.5.1 順序約束測試
2.5.2 軟件狀態(tài)行為測試
2.6 用例的圖覆蓋
2.7 用代數(shù)方法表示圖
2.7.1 把圖簡化成路徑表達式
2.7.2 路徑表達式的應用
2.7.3 得到測試輸入
2.7.4 在流圖中計算路徑數(shù)并確定最大路徑長度
2.7.5 到達所有邊的路徑的最小值
2.7.6 互補運算分析
2.8 參考文獻注釋
第3章 邏輯覆蓋
3.1 概覽：邏輯謂詞和子句
3.2 邏輯表達式覆蓋標準
3.2.1 有效的子句覆蓋
3.2.2 無效子句覆蓋
3.2.3 不可行性和包含
3.2.4 使子句決定謂詞
3.2.5 尋找滿足的取值
3.3 程序的結構化邏輯覆蓋
3.4 基于規(guī)約的邏輯覆蓋
3.5 有限狀態(tài)機的邏輯覆蓋
3.6 析取范式標準
3.7 參考文獻注釋
第4章 輸入空間劃分
4.1 輸入域建模
4.1.1 基于接口的輸入域建模
4.1.2 基于功能的輸入域建模
4.1.3 識別特性
4.1.4 選擇塊和值
4.1.5 使用一種以上的輸入域模型
4.1.6 檢查輸入域模型
4.2 組合策略標準
4.3 劃分中的約束
4.4 參考文獻注釋
第5章 基于句法的測試
5.1 基于句法的覆蓋標準
5.1.1 BNF覆蓋標準
5.1.2 變異測試
5.2 基于程序的語法
5.2.1 編程語言的BNF語法
5.2.2 基于程序的變異
5.3 集成與面向對象測試
5.3.1 BNF集成測試
5.3.2 集成變異
5.4 基于規(guī)范的語法
5.4.1 BNF語法
5.4.2 基于規(guī)范的變異
5.5 輸入空間語法
5.5.1 BNF語法
5.5.2 輸入語法的變異
5.6 參考文獻注釋
第三部分 在實踐中運用的標準
第6章 實際的考慮
6.1 回歸測試
6.2 集成和測試
6.2.1 樁和驅動程序
6.2.2 類的集成測試順序
6.3 測試過程
6.3.1 需求分析和規(guī)格說明書
6.3.2 系統(tǒng)和軟件設計
6.3.3 中級設計
6.3.4 詳細設計
6.3.5 實現(xiàn)
6.3.6 集成
6.3.7 系統(tǒng)部署
6.3.8 操作和維護
6.3.9 總結
6.4 測試計劃
6.5 識別正確的輸出
6.5.1 輸出的直接驗證
6.5.2 冗余計算
6.5.3 一致性檢查
6.5.4 數(shù)據(jù)冗余
6.6 參考文獻注釋
第7章 技術的工程標準
7.1 測試面向對象軟件
7.1.1 面向對象軟件測試特有的問題
7.1.2 面向對象的錯誤類型
7.2 測試Web應用和Web服務
7.2.1 測試靜態(tài)超文本Web站點
7.2.2 測試動態(tài)Web應用
7.2.3 測試Web服務
7.3 測試圖形用戶界面
7.4 實時軟件和嵌入式軟件
7.5 參考文獻注釋
第8章 創(chuàng)建測試工具
8.1 圖和邏輯表達式標準的插樁
8.1.1 節(jié)點覆蓋和邊覆蓋
8.1.2 數(shù)據(jù)流覆蓋
8.1.3 邏輯覆蓋
8.2 構造變異測試工具
8.2.1 解釋方法
8.2.2 分離編譯的方法
8.2.3 基于模式的方法
8.2.4 使用Java反射機制
8.2.5 實現(xiàn)一個現(xiàn)代的變異系統(tǒng)
8.3 參考文獻注釋
第9章 軟件測試中的挑戰(zhàn)
9.1 測試緊急性屬性：安全性和保密性
9.2 軟件的可測試性
9.3 測試標準和軟件測試的未來
9.4 參考文獻注釋
參考文獻
鄂公網安備 42010302001612號 