齣版者的話 譯者序 前言 第一部分 概 覽 第1章 概述 1 1.1 測試工程師的工作 2 1.1.1 基於軟件活動的測試級彆 3 1.1.2 基於測試過程成熟度的Beizer的 測試級彆 5 1.1.3 測試活動的自動化 6 1.2 軟件測試的局限性和術語 7 1.3 測試覆蓋標準 12 1.3.1 不可行性與包含 14 1.3.2 好的覆蓋標準的特徵 15 1.4 以往的軟件測試術語 16 1.5 參考文獻注釋 17 第二部分 覆 蓋 標 準 第2章 圖覆蓋 19 2.1 概述 19 2.2 圖覆蓋標準 23 2.2.1 結構化覆蓋標準 24 2.2.2 數據流標準 33 2.2.3 圖覆蓋標準中的包含關係 38 2.3 源代碼的圖覆蓋 40 2.3.1 源代碼的結構化圖覆蓋 40 2.3.2 源代碼的數據流圖覆蓋 41 2.4 設計元素的圖覆蓋 50 2.4.1 設計元素的結構化圖覆蓋 50 2.4.2 設計元素的數據流覆蓋 51 2.5 規格說明的圖覆蓋 57 2.5.1 順序約束測試 57 2.5.2 軟件狀態行為測試 60 2.6 用例的圖覆蓋 68 2.7 用代數方法錶示圖 71 2.7.1 把圖簡化成路徑錶達式 73 2.7.2 路徑錶達式的應用 75 2.7.3 得到測試輸入 75 2.7.4 在流圖中計算路徑數並確定最大 路徑長度 76 2.7.5 到達所有邊的路徑的最小值 77 2.7.6 互補運算分析 77 2.8 參考文獻注釋 79 第3章 邏輯覆蓋 82 3.1 概覽：邏輯謂詞和子句 82 3.2 邏輯錶達式覆蓋標準 83 3.2.1 有效的子句覆蓋 84 3.2.2 無效子句覆蓋 87 3.2.3 不可行性和包含 88 3.2.4 使子句決定謂詞 89 3.2.5 尋找滿足的取值 91 3.3 程序的結構化邏輯覆蓋 94 3.4 基於規約的邏輯覆蓋 104 3.5 有限狀態機的邏輯覆蓋 106 3.6 析取範式標準 109 3.7 參考文獻注釋 116 第4章 輸入空間劃分 119 4.1 輸入域建模 120 4.1.1 基於接口的輸入域建模 121 4.1.2 基於功能的輸入域建模 122 4.1.3 識彆特性 122 4.1.4 選擇塊和值 123 4.1.5 使用一種以上的輸入域模型 125 4.1.6 檢查輸入域模型 125 4.2 組閤策略標準 126 4.3 劃分中的約束 130 4.4 參考文獻注釋 131 第5章 基於句法的測試 134 5.1 基於句法的覆蓋標準 134 5.1.1 BNF覆蓋標準 134 5.1.2 變異測試 136 5.2 基於程序的語法 139 5.2.1 編程語言的BNF語法 139 5.2.2 基於程序的變異 139 5.3 集成與麵嚮對象測試 151 5.3.1 BNF集成測試 151 5.3.2 集成變異 151 5.4 基於規範的語法 155 5.4.1 BNF語法 156 5.4.2 基於規範的變異 156 5.5 輸入空間語法 158 5.5.1 BNF語法 158 5.5.2 輸入語法的變異 161 5.6 參考文獻注釋 166 第三部分 在實踐中運用的標準 第6章 實際的考慮 169 6.1 迴歸測試 169 6.2 集成和測試 170 6.2.1 樁和驅動程序 171 6.2.2 類的集成測試順序 171 6.3 測試過程 172 6.3.1 需求分析和規格說明書 173 6.3.2 係統和軟件設計 174 6.3.3 中級設計 174 6.3.4 詳細設計 175 6.3.5 實現 175 6.3.6 集成 175 6.3.7 係統部署 176 6.3.8 操作和維護 176 6.3.9 總結 176 6.4 測試計劃 177 6.5 識彆正確的輸齣 181 6.5.1 輸齣的直接驗證 181 6.5.2 冗餘計算 182 6.5.3 一緻性檢查 182 6.5.4 數據冗餘 183 6.6 參考文獻注釋 184 第7章 技術的工程標準 185 7.1 測試麵嚮對象軟件 185 7.1.1 麵嚮對象軟件測試特有的問題 186 7.1.2 麵嚮對象的錯誤類型 186 7.2 測試Web應用和Web服務 201 7.2.1 測試靜態超文本Web站點 202 7.2.2 測試動態Web應用 202 7.2.3 測試Web 服務 204 7.3 測試圖形用戶界麵 205 7.4 實時軟件和嵌入式軟件 206 7.5 參考文獻注釋 209 第8章 創建測試工具 211 8.1 圖和邏輯錶達式標準的插樁 211 8.1.1 節點覆蓋和邊覆蓋 211 8.1.2 數據流覆蓋 213 8.1.3 邏輯覆蓋 213 8.2 構造變異測試工具 215 8.2.1 解釋方法 215 8.2.2 分離編譯的方法 216 8.2.3 基於模式的方法 216 8.2.4 使用Java反射機製 217 8.2.5 實現一個現代的變異係統 217 8.3 參考文獻注釋 217 第9章 軟件測試中的挑戰 220 9.1 測試緊急性屬性：安全性和保密性 220 9.2 軟件的可測試性 222 9.3 測試標準和軟件測試的未來 225 9.4 參考文獻注釋 227 參考文獻 229
· · · · · · (收起)