軟件測試導(dǎo)論 [愛]拉爾夫·比瑞格 [愛]斯蒂芬·布朗 [愛]埃德加·加爾文 [愛]喬·蒂莫尼
定 價:79 元
當(dāng)前圖書已被 3 所學(xué)校薦購過!
查看明細(xì)
- 作者:[愛]拉爾夫·比瑞格,[愛]斯蒂芬·布朗,[愛]埃德加·加爾文,[愛]喬·蒂莫尼
- 出版時間:2024/10/1
- ISBN:9787111761839
- 出 版 社:機械工業(yè)出版社
- 中圖法分類:TP311.5
- 頁碼:
- 紙張:膠版紙
- 版次:
- 開本:16開
軟件測試可以被視為一門藝術(shù)、一門工藝或一門科學(xué),而本書中提出的一種循序漸進且實用的方法在這些不同的視角之間提供了一座橋梁。書中涵蓋多種測試技術(shù),首先介紹其優(yōu)缺點,然后深入細(xì)節(jié),幫助讀者理解其基本原理。zui后,通過注入故障來展示每種技術(shù)的局限性,并提供了每種技術(shù)在發(fā)現(xiàn)故障方面的成功案例或失敗案例。書中講解的技術(shù)涉及黑盒測試、白盒測試、隨機測試、單元測試、面向?qū)ο蟮能浖䴗y試和應(yīng)用測試。本書還強調(diào)了應(yīng)用技術(shù)的過程,包括分析、測試用例設(shè)計、測試實現(xiàn)和測試結(jié)果分析。
本書可謂關(guān)于軟件測試的“精華”,書中內(nèi)容以作者多年來講授的軟件工程和軟件測試課程為基礎(chǔ),同時結(jié)合了豐富的行業(yè)實踐經(jīng)驗。訪問劍橋大學(xué)出版社網(wǎng)站可下載所有示例的編程練習(xí)和Java源代碼。軟件測試可以被視為一門藝術(shù)、一門工藝或一門科學(xué),本書提出了一種循序漸進且實用的方法,在這些不同的視角之間架起了一座橋梁。
前 言
Essentials of Software Testing
隨著現(xiàn)代社會對軟件系統(tǒng)的依賴程度越來越高,軟件系統(tǒng)的正確運行成為一個至關(guān)重要的問題。本書的目的是向讀者介紹軟件測試的基本原理,以使他們能夠開發(fā)出高質(zhì)量的軟件。軟件測試可以被視為一門藝術(shù)、一門工藝或一門科學(xué),而本書中提出的方法正是在這些不同的視角之間建立起一座橋梁。
本書的內(nèi)容以作者多年來講授的本科生和研究生軟件工程及軟件測試課程為基礎(chǔ),同時也結(jié)合了作者多年的行業(yè)經(jīng)驗。本書通過具體的實例來介紹軟件測試的各種技術(shù)及其自動化實現(xiàn),然后詳細(xì)解釋了每種技術(shù)并通過故障注入的方式來證明其局限性。另外,本書還強調(diào)了這些技術(shù)的應(yīng)用過程,包括分析、測試設(shè)計、測試實現(xiàn)和測試結(jié)果分析等步驟。
全書通過一個貫穿始終的實例為初學(xué)者逐步介紹實用的測試技術(shù),并通過額外的細(xì)節(jié)討論加深讀者對基本原則更深入的理解。我們希望你會像我們喜歡寫這本書一樣喜歡讀這
本書。
拉爾夫·比瑞格(Ralf Bierig)
博士,梅努斯大學(xué)講師。他曾在德國汽車行業(yè)擔(dān)任高級IT顧問,并曾在英國、美國、奧地利和泰國從事研究工作。他的主要研究方向為交互式信息檢索和人機交互。
斯蒂芬·布朗(Stephen Brown)
博士,梅努斯大學(xué)高級講師。他曾在愛爾蘭、美國和英國的數(shù)字設(shè)備公司(DEC)工作10年,并曾在歐盟資助的ADVANCE項目擔(dān)任研究員。他的主要研究方向為無線網(wǎng)絡(luò)。
埃德加·加爾文(Edgar Galván)
博士,梅努斯大學(xué)高級研究員,自然計算研究小組聯(lián)合主管。他曾在都柏林大學(xué)、都柏林圣三一大學(xué)和巴黎薩克雷大學(xué)任職。根據(jù)倫敦大學(xué)學(xué)院的數(shù)據(jù),他被列為基因編程領(lǐng)域有史以來排名前1%的研究人員。
喬·蒂莫尼(Joe Timoney)
博士,1999年加入梅努斯大學(xué)計算機科學(xué)系,現(xiàn)為梅努斯國際工程學(xué)院(MIEC)常務(wù)副院長。他的研究興趣為軟件工程和音頻信號處理,重點是音樂應(yīng)用。
目 錄
Essentials of Software Testing
譯者序
前言
致謝
第1章 軟件測試簡介 1
1.1 軟件行業(yè)的現(xiàn)狀 1
1.1.1 軟件測試與軟件質(zhì)量 2
1.1.2 軟件測試和風(fēng)險管理 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 基于經(jīng)驗的測試 11
1.7.4 故障注入 12
1.8 何時停止測試 12
1.9 靜態(tài)測試和動態(tài)測試 12
1.9.1 基于審查的技術(shù) 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 測試的工作產(chǎn)品 17
1.13 故障模型 18
1.14 如何使用本書 18
1.14.1 本書結(jié)構(gòu) 18
1.14.2 測試順序 19
1.14.3 文檔化測試分析 19
1.14.4 編程語言 19
1.14.5 詳細(xì)程度 19
1.14.6 示例 19
1.14.7 軟件測試工具 19
1.15 術(shù)語 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)和測試結(jié)果 28
2.3.1 手工測試的輸出 28
2.3.2 自動化的測試實現(xiàn) 28
2.3.3 測試結(jié)果 31
2.4 等價類劃分的細(xì)節(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 給有經(jīng)驗的測試員的建議 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)和測試結(jié)果 41
3.3.1 測試實現(xiàn) 41
3.3.2 測試結(jié)果 42
3.4 邊界值分析的細(xì)節(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 給有經(jīng)驗的測試員的建議 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)和測試結(jié)果 55
4.3.1 測試實現(xiàn) 55
4.3.2 測試結(jié)果 56
4.4 判定表的細(xì)節(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 給有經(jīng)驗的測試員的建議 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)和測試結(jié)果 71
5.4.1 測試實現(xiàn) 71
5.4.2 測試結(jié)果 72
5.5 語句覆蓋的細(xì)節(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 給有經(jīng)驗的測試員的建議 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)和測試