軟件測試導論 [愛]拉爾夫·比瑞格 [愛]斯蒂芬·布朗 [愛]埃德加·加爾文 [愛]喬·蒂莫尼
定 價:79 元
當前圖書已被 2 所學校薦購過!
查看明細
- 作者:[愛]拉爾夫·比瑞格,[愛]斯蒂芬·布朗,[愛]埃德加·加爾文,[愛]喬·蒂莫尼
- 出版時間:2024/10/1
- ISBN:9787111761839
- 出 版 社:機械工業(yè)出版社
- 中圖法分類:TP311.5
- 頁碼:
- 紙張:膠版紙
- 版次:
- 開本:16開
軟件測試可以被視為一門藝術、一門工藝或一門科學,而本書中提出的一種循序漸進且實用的方法在這些不同的視角之間提供了一座橋梁。書中涵蓋多種測試技術,首先介紹其優(yōu)缺點,然后深入細節(jié),幫助讀者理解其基本原理。zui后,通過注入故障來展示每種技術的局限性,并提供了每種技術在發(fā)現(xiàn)故障方面的成功案例或失敗案例。書中講解的技術涉及黑盒測試、白盒測試、隨機測試、單元測試、面向對象的軟件測試和應用測試。本書還強調了應用技術的過程,包括分析、測試用例設計、測試實現(xiàn)和測試結果分析。
本書可謂關于軟件測試的“精華”,書中內容以作者多年來講授的軟件工程和軟件測試課程為基礎,同時結合了豐富的行業(yè)實踐經驗。訪問劍橋大學出版社網(wǎng)站可下載所有示例的編程練習和Java源代碼。軟件測試可以被視為一門藝術、一門工藝或一門科學,本書提出了一種循序漸進且實用的方法,在這些不同的視角之間架起了一座橋梁。
前 言
Essentials of Software Testing
隨著現(xiàn)代社會對軟件系統(tǒng)的依賴程度越來越高,軟件系統(tǒng)的正確運行成為一個至關重要的問題。本書的目的是向讀者介紹軟件測試的基本原理,以使他們能夠開發(fā)出高質量的軟件。軟件測試可以被視為一門藝術、一門工藝或一門科學,而本書中提出的方法正是在這些不同的視角之間建立起一座橋梁。
本書的內容以作者多年來講授的本科生和研究生軟件工程及軟件測試課程為基礎,同時也結合了作者多年的行業(yè)經驗。本書通過具體的實例來介紹軟件測試的各種技術及其自動化實現(xiàn),然后詳細解釋了每種技術并通過故障注入的方式來證明其局限性。另外,本書還強調了這些技術的應用過程,包括分析、測試設計、測試實現(xiàn)和測試結果分析等步驟。
全書通過一個貫穿始終的實例為初學者逐步介紹實用的測試技術,并通過額外的細節(jié)討論加深讀者對基本原則更深入的理解。我們希望你會像我們喜歡寫這本書一樣喜歡讀這
本書。
拉爾夫·比瑞格(Ralf Bierig)
博士,梅努斯大學講師。他曾在德國汽車行業(yè)擔任高級IT顧問,并曾在英國、美國、奧地利和泰國從事研究工作。他的主要研究方向為交互式信息檢索和人機交互。
斯蒂芬·布朗(Stephen Brown)
博士,梅努斯大學高級講師。他曾在愛爾蘭、美國和英國的數(shù)字設備公司(DEC)工作10年,并曾在歐盟資助的ADVANCE項目擔任研究員。他的主要研究方向為無線網(wǎng)絡。
埃德加·加爾文(Edgar Galván)
博士,梅努斯大學高級研究員,自然計算研究小組聯(lián)合主管。他曾在都柏林大學、都柏林圣三一大學和巴黎薩克雷大學任職。根據(jù)倫敦大學學院的數(shù)據(jù),他被列為基因編程領域有史以來排名前1%的研究人員。
喬·蒂莫尼(Joe Timoney)
博士,1999年加入梅努斯大學計算機科學系,現(xiàn)為梅努斯國際工程學院(MIEC)常務副院長。他的研究興趣為軟件工程和音頻信號處理,重點是音樂應用。
目 錄
Essentials of Software Testing
譯者序
前言
致謝
第1章 軟件測試簡介 1
1.1 軟件行業(yè)的現(xiàn)狀 1
1.1.1 軟件測試與軟件質量 2
1.1.2 軟件測試和風險管理 3
1.2 失誤、故障和失效 3
1.2.1 失誤 4
1.2.2 故障 4
1.2.3 失效 5
1.2.4 測試的必要性 6
1.3 規(guī)范的作用 7
1.4 手工測試舉例 8
1.5 軟件測試原理 8
1.6 窮盡測試 9
1.6.1 窮盡測試數(shù)據(jù) 9
1.6.2 窮盡測試的可行性 9
1.7 啟發(fā)性測試 9
1.7.1 隨機測試 10
1.7.2 黑盒測試和白盒測試 11
1.7.3 基于經驗的測試 11
1.7.4 故障注入 12
1.8 何時停止測試 12
1.9 靜態(tài)測試和動態(tài)測試 12
1.9.1 基于審查的技術 12
1.9.2 程序證明 13
1.10 在軟件開發(fā)過程中進行測試 13
1.11 軟件測試活動 14
1.11.1 分析 15
1.11.2 測試覆蓋項 15
1.11.3 測試用例 16
1.11.4 驗證測試用例 17
1.11.5 測試實現(xiàn) 17
1.12 測試的工作產品 17
1.13 故障模型 18
1.14 如何使用本書 18
1.14.1 本書結構 18
1.14.2 測試順序 19
1.14.3 文檔化測試分析 19
1.14.4 編程語言 19
1.14.5 詳細程度 19
1.14.6 示例 19
1.14.7 軟件測試工具 19
1.15 術語 20
第2章 等價類劃分 21
2.1 使用等價類劃分進行測試 21
2.2 示例 21
2.2.1 分析 22
2.2.2 測試覆蓋項 25
2.2.3 測試用例 25
2.2.4 驗證測試用例 27
2.3 測試實現(xiàn)和測試結果 28
2.3.1 手工測試的輸出 28
2.3.2 自動化的測試實現(xiàn) 28
2.3.3 測試結果 31
2.4 等價類劃分的細節(jié) 31
2.4.1 故障模型 31
2.4.2 描述 31
2.4.3 分析:識別等價類劃分 31
2.4.4 測試覆蓋項 33
2.4.5 測試用例 33
2.4.6 缺點 33
2.5 評估 34
2.5.1 局限性 34
2.5.2 強項和弱項 37
2.6 劃重點 37
2.7 給有經驗的測試員的建議 37
第3章 邊界值分析 38
3.1 使用邊界值進行測試 38
3.2 示例 38
3.2.1 分析 38
3.2.2 測試覆蓋項 39
3.2.3 測試用例 39
3.2.4 驗證測試用例 40
3.3 測試實現(xiàn)和測試結果 41
3.3.1 測試實現(xiàn) 41
3.3.2 測試結果 42
3.4 邊界值分析的細節(jié) 42
3.4.1 故障模型 42
3.4.2 描述 42
3.4.3 分析:識別邊界值 43
3.4.4 測試覆蓋項 43
3.4.5 測試用例 43
3.4.6 缺點 44
3.5 評估 44
3.5.1 局限性 44
3.5.2 強項和弱項 46
3.6 劃重點 46
3.7 給有經驗的測試員的建議 46
第4章 判定表 47
4.1 使用判定表測試組合 47
4.2 示例 47
4.2.1 分析 47
4.2.2 測試覆蓋項 52
4.2.3 測試用例 53
4.2.4 驗證測試用例 54
4.3 測試實現(xiàn)和測試結果 55
4.3.1 測試實現(xiàn) 55
4.3.2 測試結果 56
4.4 判定表的細節(jié) 56
4.4.1 故障模型 56
4.4.2 描述 56
4.4.3 分析:開發(fā)判定表 56
4.4.4 測試覆蓋項 64
4.4.5 測試用例 64
4.4.6 缺點 64
4.5 評估 64
4.5.1 局限性 64
4.5.2 強項和弱項 66
4.6 劃重點 66
4.7 給有經驗的測試員的建議 66
第5章 語句覆蓋 67
5.1 白盒測試 67
5.2 語句覆蓋測試 67
5.2.1 獲取語句覆蓋率 67
5.3 示例 67
5.3.1 分析 68
5.3.2 測試覆蓋項 70
5.3.3 測試用例 70
5.3.4 驗證測試用例 71
5.4 測試實現(xiàn)和測試結果 71
5.4.1 測試實現(xiàn) 71
5.4.2 測試結果 72
5.5 語句覆蓋的細節(jié) 73
5.5.1 故障模型 73
5.5.2 描述 73
5.5.3 分析:識別未執(zhí)行的語句 73
5.5.4 測試覆蓋項 73
5.5.5 測試用例 73
5.6 評估 74
5.6.1 局限性 74
5.6.2 強項和弱項 75
5.7 劃重點 76
5.8 給有經驗的測試員的建議 76
第6章 分支覆蓋 77
6.1 分支覆蓋測試 77
6.1.1 獲取分支覆蓋率 77
6.2 示例 77
6.2.1 分析 78
6.2.2 測試覆蓋項 80
6.2.3 測試用例 80
6.2.4 驗證測試用例 80
6.3 測試實現(xiàn)和測試