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