軟件測試基礎教程 pdf epub mobi txt 電子書 下載2025

想要找書就要到 小美書屋

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

本書基於實例講述不同規模軟件項目中的測試生成、選擇、最小化和增強方麵的最佳工程實踐。全書還覆蓋瞭基於數據流的測試充分性和基於變異的測試充分性，這些是可用的最有效的測試充分性準則。本書精選瞭由全世界數百位測試研究人員和實踐人員發明和總結的測試知識及技術，采用通俗易懂的錶述方式，使讀者更容易理解和掌握。

測試生成、選擇、優先排序和評估是測試過程中所有技術活動的基礎。在此基礎上閤理部署各項組件，纔能有效地測試不同類型的軟件應用，包括麵嚮對象係統、Web服務、圖形用戶接口、嵌入式係統以及與安全、性能和可靠性有關的各種屬性。本書采用大量的實例和習題，循序漸進地介紹各種測試技術（包括有限狀態模型、組閤設計和迴歸測試的最小化等）。

本書適閤作為計算機、軟件工程及相關專業軟件測試課程的教材，也可作為軟件測試技術人員的參考書。

Aditya P. Mathur 普度大學計算機係主任、教授，印度BITS Pilani大學計算機係創始人之一。他是一位成果頗豐的學者，在國傢期刊和會議上發錶瞭100多篇論文。他的重要學術成果包括多語言計算機、軟件測試的飽和效應、軟件控製論、軟件可靠性估算的新技術等。

齣版者的話
譯者序
前言
第一部分預備知識
第1章軟件測試的基本知識
11人、錯誤和測試
111錯誤、故障和失效
112測試自動化
113開發人員與測試人員是兩種角色
12軟件質量
121軟件質量特性
122軟件可靠性
13需求、運行結果和正確性
131輸入域與軟件正確性
132有效輸入與無效輸入
14正確性與可靠性
141正確性
142可靠性
143軟件使用與操作剖麵
15測試與調試
151製訂測試計劃
152構造測試數據
153運行被測軟件
154指定被測軟件的行為
155評價被測軟件運行結果的正確性
156測試預言的構造
16測試度量
161組織級度量
162項目級度量
163過程級度量
164産品級度量：通用度量
165産品級度量：麵嚮對象軟件
166進度跟蹤與趨勢
167靜態度量與動態度量
168可測試性
17軟件測試與硬件測試
18測試與驗證
19缺陷管理
110執行曆史
111測試生成策略
112靜態測試
1121走查
1122審查
1123在靜態測試中使用靜態代碼分析工具
1124軟件復雜性與靜態測試
113基於模型的測試與模型檢測
114控製流圖
1141基本塊
1142流圖的定義與圖形錶示
1143路徑
115決定者與後決定者
116程序依賴圖
1161數據依賴性
1162控製依賴性
117字符串、語言與正則錶達式
118測試的類型
1181分類因子C1：測試生成的依據
1182分類因子C2：軟件生命周期階段
1183分類因子C3：目標導嚮的測試
1184分類因子C4：被測軟件製品
1185分類因子C5：測試過程模型
119飽和效應
1191信賴度與真實可靠性
1192飽和區間
1193信賴度的錯覺
1194降低偏差Δ
1195對測試過程的影響
小結
參考文獻注釋
練習
第二部分測試生成
第2章基於需求的測試生成
21引言
22測試用例選擇問題
23等價類劃分
231缺陷定位
232關係與等價類劃分
233變量的等價類
234一元化分與多元化分
235等價類劃分的完整過程
236基於等價類的測試用例設計
237GUI設計與等價類
24邊界值分析
25類彆劃分法
26因果圖分析
261因果圖中的基本符號
262創建因果圖
263從因果圖生成判定錶
264避免組閤爆炸的啓發式方法
265從判定錶生成測試用例
27基於謂詞的測試生成
271謂詞和布爾錶達式
272謂詞測試中的故障模型
273謂詞約束
274謂詞測試準則
275生成BOR、BRO和BRE充分性測試用例
276因果圖與謂詞測試
277故障傳播
278謂詞測試實踐
小結
參考文獻注釋
練習
第3章基於有窮狀態模型的測試生成
31軟件設計與測試
32有窮狀態機
321用輸入序列激活FSM
322轉換函數和輸齣函數的錶格錶示
323FSM 的特徵
33符閤性測試
331重置輸入
332測試的難題
34故障模型
341FSM的變體
342故障覆蓋率
35特徵集
351k等價劃分的構造
352特徵集的構造
353等價集
36W方法
361假設
362最大狀態數
363轉換覆蓋集的計算
364構造集閤Z
365導齣測試集
366采用W方法測試
367錯誤檢測過程
37部分W方法
371采用m＝n的Wp方法測試
372采用m>n的Wp方法測試
38UIO串方法
381假設
382UIO串
383核心行為與非核心行為
384生成UIO串
385區分符號
386測試生成
387測試優化
388故障檢測
39自動機理論與基於控製流的技術
391n路徑覆蓋
392自動機理論方法的比較
小結
參考文獻注釋
練習
第4章基於組閤設計的測試生成技術
41組閤設計
411測試配置和測試集
412輸入空間與配置空間建模
42組閤測試設計過程
43故障模型
44拉丁方陣
45相互正交的拉丁方陣
46對偶設計：二值參數
47對偶設計：多值參數
48正交矩陣
49覆蓋矩陣與混閤取值覆蓋矩陣
491覆蓋矩陣
492混閤取值覆蓋矩陣
410強度大於2的矩陣
411生成覆蓋矩陣
小結
參考文獻注釋
練習
第5章迴歸測試的選擇、最小化和優先級排序
51什麼是迴歸測試
52迴歸測試過程
521測試重確認、選擇、最小化和優先級排序
522測試準備
523測試排序
524測試執行
525輸齣比較
53迴歸測試選擇問題
54迴歸測試選擇方法集
541全測試策略
542隨機選擇測試
543選擇遍曆修改測試用例
544測試最小化
545測試優先級排序
55利用執行軌跡進行迴歸測試的選擇
551獲取執行軌跡
552選擇迴歸測試用例
553處理函數調用
554處理聲明中的變化
56利用動態切片進行迴歸測試的選擇
561動態切片
562計算動態切片
563選擇測試用例
564潛在依賴
565計算相關切片
566語句的添加和刪除
567標識切片變量
568簡化的動態依賴圖
57測試選擇算法的可擴展性
58測試最小化
581集閤覆蓋問題
582測試最小化過程
59測試優先級排序
510迴歸測試工具
小結
參考文獻注釋
練習
第三部分測試充分性評價與測試增強
第6章基於控製流和數據流的測試充分性評價
61測試充分性基礎
611什麼是測試充分性
612測試充分性的度量
613通過度量充分性來增強測試
614無效性和測試充分性
615錯誤檢測和測試增強
616單次和多次執行
62基於控製流的測試充分性準則
621語句覆蓋和塊覆蓋
622條件和判定
623判定覆蓋
624條件覆蓋
625條件/判定覆蓋
626多重條件覆蓋
627綫性代碼序列和跳轉覆蓋
628改進的條件/判定覆蓋
629復閤條件的MC/DC充分測試
6210MC/DC覆蓋的定義
6211最小MC/DC測試
6212錯誤檢測和MC/DC充分性
6213短路計算和無效性
6214測試集對需求的追蹤
63數據流概念
631定義和使用
632cuse和puse
633全局和局部的定義與使用
634數據流圖
635defclear路徑
636defuse對
637defuse鏈
638優化
639數據上下文和有序的數據上下文
64基於數據流的測試充分性準則
641cuse覆蓋
642puse覆蓋
643alluse覆蓋
644kdr鏈覆蓋
645使用kdr鏈覆蓋
646無效的cuse和puse
647上下文覆蓋
65控製流與數據流
66包含關係
67結構性測試與功能性測試
68覆蓋度量的可量測性
小結
參考文獻注釋
練習
第7章基於程序變異的測試充分性評價
71導引
72變異和變體
721一階變體與高階變體
722變體的語法與語義
723強變異和弱變異
724為什麼要變異
73用變異技術進行測試評價
731測試充分性評價的步驟
732測試充分性評價的替代過程
733被區分的變體與被殺掉的變體
734區分變體的條件
74變異算子
741算子類型
742變異算子的語言依賴性
75變異算子的設計
751評判變異算子優良的準則
752指導準則
76變異測試的基本原則
761稱職程序員假設
762耦閤效應
77等價變體
78通過變異進行錯誤檢測
79變體的類型
710C語言的變異算子
7101什麼沒有被變異
7102綫性化
7103執行序列
7104執行序列的影響
7105全局標識符集和局部標識符集
7106全局引用集與局部引用集
7107程序常量變異
7108運算符變異
7109語句變異
71010程序變量變異
711Java語言變異算子
7111傳統變異算子
7112繼承
7113多態與動態綁定
7114方法重載
7115Java特有的變異算子
712綜閤比較：Fortran 77、C與Java變異算子
713變異測試工具
714低成本變異測試
7141劃分變異函數的優先級
7142選擇使用部分變異算子
小結
參考文獻注釋
練習
· · · · · · (收起)