軟件測(cè)試基礎(chǔ)

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