軟件測試基礎(chǔ)

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