軟件測試（原書第2版）

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