軟件測試導論

定　價：￥79.00

作　者：	[愛]拉爾夫·比瑞格,[愛]斯蒂芬·布朗,[愛]埃德加·加爾文,[愛]喬·蒂莫尼
出版社：	機械工業(yè)出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

當當網(wǎng) (￥59.20)

ISBN：	9787111761839	出版時間：	2024-10-01	包裝：	平裝-膠訂
開本：	16開	頁數(shù)：		字數(shù)：

內(nèi)容簡介

　　軟件測試可以被視為一門藝術(shù)、一門工藝或一門科學，而本書中提出的一種循序漸進且實用的方法在這些不同的視角之間提供了一座橋梁。書中涵蓋多種測試技術(shù)，首先介紹其優(yōu)缺點，然后深入細節(jié)，幫助讀者理解其基本原理。zui后，通過注入故障來展示每種技術(shù)的局限性，并提供了每種技術(shù)在發(fā)現(xiàn)故障方面的成功案例或失敗案例。書中講解的技術(shù)涉及黑盒測試、白盒測試、隨機測試、單元測試、面向?qū)ο蟮能浖y試和應(yīng)用測試。本書還強調(diào)了應(yīng)用技術(shù)的過程，包括分析、測試用例設(shè)計、測試實現(xiàn)和測試結(jié)果分析。

作者簡介

　　拉爾夫·比瑞格（Ralf Bierig）博士，梅努斯大學講師。他曾在德國汽車行業(yè)擔任高級IT顧問，并曾在英國、美國、奧地利和泰國從事研究工作。他的主要研究方向為交互式信息檢索和人機交互。斯蒂芬·布朗（Stephen Brown）博士，梅努斯大學高級講師。他曾在愛爾蘭、美國和英國的數(shù)字設(shè)備公司（DEC）工作10年，并曾在歐盟資助的ADVANCE項目擔任研究員。他的主要研究方向為無線網(wǎng)絡(luò)。埃德加·加爾文（Edgar Galván）博士，梅努斯大學高級研究員，自然計算研究小組聯(lián)合主管。他曾在都柏林大學、都柏林圣三一大學和巴黎薩克雷大學任職。根據(jù)倫敦大學學院的數(shù)據(jù)，他被列為基因編程領(lǐng)域有史以來排名前1%的研究人員。喬·蒂莫尼（Joe Timoney）博士，1999年加入梅努斯大學計算機科學系，現(xiàn)為梅努斯國際工程學院（MIEC）常務(wù)副院長。他的研究興趣為軟件工程和音頻信號處理，重點是音樂應(yīng)用。

圖書目錄

目　　錄
Essentials of Software Testing
譯者序
前言
致謝
第1章　軟件測試簡介　　1
1.1　軟件行業(yè)的現(xiàn)狀　　1
1.1.1　軟件測試與軟件質(zhì)量　　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　基于經(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　詳細程度　　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　等價類劃分的細節(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　邊界值分析的細節(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　判定表的細節(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　語句覆蓋的細節(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)和測試