軟件測(cè)試（原書第2版）

出版者的話
譯者序
前言
第一部分　軟件測(cè)試綜述
第1章　軟件測(cè)試的背景　┊2
1.1　臭名昭著的軟件錯(cuò)誤用例研究　┊2
1.1.1　迪士尼的獅子王（1994～1995年）　┊2
1.1.2　英特爾奔騰浮點(diǎn)除法缺陷（1994年）　┊3
1.1.3　美國(guó)航天局火星極地登陸者號(hào)探測(cè)器（1999年）　┊4
1.1.4　愛(ài)國(guó)者導(dǎo)彈防御系統(tǒng)（1991年）　┊4
1.1.5　千年蟲問(wèn)題（大約1974年）　┊4
1.1.6　危險(xiǎn)的預(yù)見(jiàn)（2004年）　┊5
1.2　軟件缺陷是什么　┊5
1.2.1　軟件失敗的術(shù)語(yǔ)　┊5
1.2.2　軟件缺陷的官方定義　┊6
1.3　為什么會(huì)出現(xiàn)軟件缺陷　┊8
1.4　軟件缺陷的修復(fù)費(fèi)用　┊8
1.5　軟件測(cè)試員究竟做些什么　┊9
1.6　優(yōu)秀的軟件測(cè)試員應(yīng)具備的素質(zhì)　┊10
第2章　軟件開發(fā)的過(guò)程　┊12
2.1　產(chǎn)品的組成部分　┊12
2.1.1　軟件產(chǎn)品需要多少投入　┊12
2.1.2　軟件產(chǎn)品由哪些部分組成　┊15
2.2　軟件項(xiàng)目成員　┊16
2.3　軟件開發(fā)生命周期模式　┊17
2.3.1　大爆炸模式　┊17
2.3.2　邊寫邊改模式　┊18
2.3.3　瀑布模式　┊19
2.3.4　螺旋模式　┊20
第3章　軟件測(cè)試的實(shí)質(zhì)　┊23
3.1　測(cè)試的原則　┊23
3.1.1　完全測(cè)試程序是不可能的　┊23
3.1.2　軟件測(cè)試是有風(fēng)險(xiǎn)的行為　┊24
3.1.3　測(cè)試無(wú)法顯示潛伏的軟件缺陷　┊25
3.1.4　找到的軟件缺陷越多，就說(shuō)明軟件缺陷越多　┊25
3.1.5　殺蟲劑怪事　┊26
3.1.6　并非所有軟件缺陷都要修復(fù)　┊26
3.1.7　什么時(shí)候才叫缺陷難以說(shuō)清　┊27
3.1.8　產(chǎn)品說(shuō)明書從沒(méi)有最終版本　┊28
3.1.9　軟件測(cè)試員在產(chǎn)品小組中不受歡迎　┊28
3.1.10　軟件測(cè)試是一個(gè)講究條理的技術(shù)職業(yè)　┊29
3.2　軟件測(cè)試的術(shù)語(yǔ)和定義　┊29
3.2.1　精確和準(zhǔn)確　┊29
3.2.2　確認(rèn)和驗(yàn)證　┊30
3.2.3　質(zhì)量和可靠性　┊31
3.2.4　測(cè)試和質(zhì)量保證　┊31
第二部分　測(cè)試基礎(chǔ)
第4章　檢查產(chǎn)品說(shuō)明書　┊34
4.1　開始測(cè)試　┊34
4.1.1　黑盒測(cè)試和白盒測(cè)試　┊35
4.1.2　靜態(tài)測(cè)試和動(dòng)態(tài)測(cè)試　┊36
4.1.3　靜態(tài)黑盒測(cè)試—測(cè)試產(chǎn)品說(shuō)明書　┊36
4.2　對(duì)產(chǎn)品說(shuō)明書進(jìn)行高級(jí)審查　┊37
4.2.1　假設(shè)自己是客戶　┊37
4.2.2　研究現(xiàn)有的標(biāo)準(zhǔn)和規(guī)范　┊37
4.2.3　審查和測(cè)試類似軟件　┊38
4.3 產(chǎn)品說(shuō)明書的低層次測(cè)試技術(shù)　┊39
4.3.1　產(chǎn)品說(shuō)明書屬性檢查清單　┊39
4.3.2　產(chǎn)品說(shuō)明書用語(yǔ)檢查清單　┊39
第5章　帶上眼罩測(cè)試軟件　┊41
5.1　動(dòng)態(tài)黑盒測(cè)試：帶上眼罩測(cè)試軟件　┊42
5.2　通過(guò)性測(cè)試和失效性測(cè)試　┊43
5.3　等價(jià)類劃分　┊44
5.4　數(shù)據(jù)測(cè)試　┊45
5.4.1　邊界條件　┊46
5.4.2　次邊界條件　┊49
5.4.3　默認(rèn)、空白、空值、零值和無(wú)　┊51
5.4.4　非法、錯(cuò)誤、不正確和垃圾數(shù)據(jù)　┊52
5.5　狀態(tài)測(cè)試　┊52
5.5.1　測(cè)試軟件的邏輯流程　┊53
5.5.2　失敗狀態(tài)測(cè)試　┊56
5.6　其他黑盒測(cè)試技術(shù)　┊58
5.6.1　像笨拙的用戶那樣做　┊58
5.6.2　在已經(jīng)找到軟件缺陷的地方再找找　┊58
5.6.3　像黑客一樣考慮問(wèn)題　┊59
5.6.4　憑借經(jīng)驗(yàn)、直覺(jué)和預(yù)感　┊59
第6章　檢查代碼　┊61
6.1　靜態(tài)白盒測(cè)試：檢查設(shè)計(jì)和代碼　┊61
6.2　正式審查　┊62
6.2.1　同事審查　┊63
6.2.2　走查　┊63
6.2.3　檢驗(yàn)　┊64
6.3　編碼標(biāo)準(zhǔn)和規(guī)范　┊64
6.3.1　編程標(biāo)準(zhǔn)和規(guī)范示例　┊65
6.3.2　獲取標(biāo)準(zhǔn)　┊66
6.4　通用代碼審查清單　┊67
6.4.1　數(shù)據(jù)引用錯(cuò)誤　┊67
6.4.2　數(shù)據(jù)聲明錯(cuò)誤　┊67
6.4.3　計(jì)算錯(cuò)誤　┊68
6.4.4　比較錯(cuò)誤　┊68
6.4.5　控制流程錯(cuò)誤　┊68
6.4.6　子程序參數(shù)錯(cuò)誤　┊69
6.4.7　輸入/輸出錯(cuò)誤　┊69
6.4.8　其他檢查　┊69
第7章　帶上X光眼鏡測(cè)試軟件　┊71
7.1 動(dòng)態(tài)白盒測(cè)試　┊71
7.2　動(dòng)態(tài)白盒測(cè)試和調(diào)試　┊72
7.3　分段測(cè)試　┊73
7.3.1　單元測(cè)試和集成測(cè)試　┊74
7.3.2　單元測(cè)試示例　┊75
7.4 數(shù)據(jù)覆蓋　┊77
7.4.1　數(shù)據(jù)流　┊77
7.4.2　次邊界　┊78
7.4.3　公式和等式　┊78
7.4.4　錯(cuò)誤強(qiáng)制　┊78
7.5　代碼覆蓋　┊79
7.5.1　程序語(yǔ)句和代碼行覆蓋　┊80
7.5.2　分支覆蓋　┊81
7.5.3 條件覆蓋　┊81
第三部分　運(yùn)用測(cè)試技術(shù)
第8章　配置測(cè)試　┊86
8.1　配置測(cè)試綜述　┊86
8.1.1　分離配置缺陷　┊89
8.1.2　計(jì)算工作量　┊90
8.2　執(zhí)行任務(wù)　┊91
8.2.1　確定所需的硬件類型　┊91
8.2.2　確定有哪些廠商的硬件、型號(hào)和驅(qū)動(dòng)程序可用　┊92
8.2.3　確定可能的硬件特性、模式和選項(xiàng)　┊92
8.2.4　將確定后的硬件配置縮減為可控制的范圍　┊92
8.2.5　明確與硬件配置有關(guān)的軟件唯一特性　┊93
8.2.6　設(shè)計(jì)在每種配置中執(zhí)行的測(cè)試用例　┊94
8.2.7　在每種配置中執(zhí)行測(cè)試　┊94
8.2.8　反復(fù)測(cè)試直到小組對(duì)結(jié)果滿意為止　┊94
8.3　獲得硬件　┊94
8.4　明確硬件標(biāo)準(zhǔn)　┊96
8.5　對(duì)其他硬件進(jìn)行配置測(cè)試　┊96
第9章　兼容性測(cè)試　┊98
9.1　兼容性測(cè)試綜述　┊98
9.2　平臺(tái)和應(yīng)用程序版本　┊99
9.2.1　向后和向前兼容　┊100
9.2.2　測(cè)試多個(gè)版本的影響　┊100
9.3　標(biāo)準(zhǔn)和規(guī)范　┊102
9.3.1　高級(jí)標(biāo)準(zhǔn)和規(guī)范　┊102
9.3.2　低級(jí)標(biāo)準(zhǔn)