軟件測(cè)試（第3版）

第一部分　數(shù)學(xué)基礎(chǔ)
第1章　測(cè)試概述　
1.1　基本概念　
1.2　測(cè)試用例　
1.3　通過維恩圖來考察測(cè)試　
1.4　構(gòu)造測(cè)試用例　
1.4.1　功能測(cè)試　
1.4.2　結(jié)構(gòu)測(cè)試　
1.4.3　功能測(cè)試與結(jié)構(gòu)測(cè)試之爭(zhēng)　
1.5　錯(cuò)誤與故障差異　
1.6　測(cè)試的層次　
參考文獻(xiàn)　
習(xí)題　
第2章　程序示例　
2.1　通用偽代碼　
2.2　三角形問題　
2.2.1　問題描述　
2.2.2　三角形問題的討論　
2.2.3　三角形問題的經(jīng)典實(shí)現(xiàn)　
2.2.4　三角形問題的結(jié)構(gòu)化實(shí)現(xiàn)　
2.3　NextDate函數(shù)　
2.3.1　問題描述　
2.3.2　NextDate函數(shù)的討論　
2.3.3　NextDate函數(shù)的實(shí)現(xiàn)　
2.4　傭金問題　
2.4.1　問題描述　
2.4.2　傭金問題的討論　
2.4.3　傭金問題的實(shí)現(xiàn)　
2.5　SATM系統(tǒng)　
2.5.1　問題描述　
2.5.2　SATM系統(tǒng)的討論　
2.6　貨幣轉(zhuǎn)換器　
2.7　雨刷控制器　
參考文獻(xiàn)　
習(xí)題　
第3章　測(cè)試人員的離散數(shù)學(xué)　
3.1　集合論　
3.1.1　集合的成員關(guān)系　
3.1.2　集合的定義方法　
3.1.3　空集　
3.1.4　集合的維恩圖　
3.1.5　集合運(yùn)算　
3.1.6　集合關(guān)系　
3.1.7　集合劃分　
3.1.8　集合恒等　
3.2　函數(shù)　
3.2.1　定義域與值域　
3.2.2　函數(shù)的類型　
3.2.3　函數(shù)復(fù)合　
3.3　關(guān)系　
3.3.1　集合之間的關(guān)系　
3.3.2　單個(gè)集合上的關(guān)系　
3.4　命題邏輯　
3.4.1　邏輯運(yùn)算符　
3.4.2　邏輯表達(dá)式　
3.4.3　邏輯等價(jià)　
3.5　概率論　
參考文獻(xiàn)　
習(xí)題　
第4章　測(cè)試人員的圖論　
4.1　圖　
4.1.1　節(jié)點(diǎn)的度　
4.1.2　關(guān)聯(lián)矩陣　
4.1.3　鄰接矩陣　
4.1.4　路徑　
4.1.5　連通性　
4.1.6　壓縮圖　
4.1.7　圈數(shù)　
4.2　有向圖　
4.2.1　入度與出度　
4.2.2　節(jié)點(diǎn)類型　
4.2.3　有向圖的鄰接矩陣　
4.2.4　路徑與半路徑　
4.2.5　可達(dá)矩陣　
4.2.6　n連通性　
4.2.7　強(qiáng)分圖　
4.3　軟件測(cè)試中常用的圖　
4.3.1　程序圖　
4.3.2　有限狀態(tài)機(jī)　
4.3.3　Petri網(wǎng)　
4.3.4　事件驅(qū)動(dòng)Petri網(wǎng)　
4.3.5　狀態(tài)圖　
參考文獻(xiàn)　
習(xí)題　
第二部分　功能測(cè)試
第5章　邊界值測(cè)試　
5.1　邊界值分析　
5.1.1　邊界值分析的拓展　
5.1.2　邊界值分析的局限性　
5.2　健壯性測(cè)試　
5.3　最壞情況測(cè)試　
5.4　特殊值測(cè)試　
5.5　示例　
5.5.1　三角形問題的測(cè)試用例　
5.5.2　NextDate函數(shù)的測(cè)試用例　
5.5.3　傭金問題的測(cè)試用例　
5.6　隨機(jī)測(cè)試　
5.7　邊界值測(cè)試的原則　
習(xí)題　
第6章　等價(jià)類測(cè)試　
6.1　等價(jià)類　
6.1.1　弱一般等價(jià)類測(cè)試　
6.1.2　強(qiáng)一般等價(jià)類測(cè)試　
6.1.3　弱健壯等價(jià)類測(cè)試　
6.1.4　強(qiáng)健壯等價(jià)類測(cè)試　
6.2　三角形問題的等價(jià)類測(cè)試用例　
6.3　NextDate函數(shù)的等價(jià)類測(cè)試用例　
6.4　傭金問題的等價(jià)類測(cè)試用例　
6.5　原則與注意事項(xiàng)　
參考文獻(xiàn)　
習(xí)題　
第7章　基于決策表的測(cè)試　
7.1　決策表　
7.2　三角形問題的測(cè)試用例　
7.3　NextDate函數(shù)的測(cè)試用例　
7.3.1　第一輪嘗試　
7.3.2　第二輪嘗試　
7.3.3　第三輪嘗試　
7.4　傭金問題的測(cè)試用例　
7.5　原則與注意事項(xiàng)　
參考文獻(xiàn)　
習(xí)題　
第8章　功能測(cè)試回顧　
8.1　測(cè)試的工作量　
8.2　測(cè)試的效率　
8.3　測(cè)試的有效性　
8.4　原則　
8.5　案例研究　
第三部分　結(jié)構(gòu)測(cè)試
第9章　路徑測(cè)試　
9.1　DD路徑　
9.2　測(cè)試覆蓋指標(biāo)　
9.2.1　基于指標(biāo)的測(cè)試　
9.2.2　測(cè)試覆蓋分析器　
9.3　基路徑測(cè)試　
9.3.1　McCabe的基路徑方法　
9.3.2　McCabe基路徑方法的注意事項(xiàng)　
9.3.3　McCabe方法的基本復(fù)雜度　
9.4　原則與注意事項(xiàng)　
參考文獻(xiàn)　
習(xí)題　
第10章　數(shù)據(jù)流測(cè)試　
10.1　定義/使用測(cè)試　
10.1.1　舉例　
10.1.2　stocks的定義使用路徑　
10.1.3　locks的定義使用路徑　
10.1.4　totalLocks的定義使用路徑　
10.1.5　sales的定義使用路徑　
10.1.6　commission的定義使用路徑　
10.1.7　定義使用路徑的測(cè)試覆蓋指標(biāo)　
10.2　基于片的測(cè)試　
10.2.1　舉例　
10.2.2　風(fēng)格與方法　
10.3　原則與注意事項(xiàng)　
參考文獻(xiàn)　
習(xí)題　
第11章　結(jié)構(gòu)測(cè)試回顧　
11.1　缺漏與冗余　
11.2　用于評(píng)估測(cè)試方法的指標(biāo)　
11.3　重新修訂的案例研究　
11.3.1　基于路徑的測(cè)試　
11.3.2　數(shù)據(jù)流測(cè)試　
11.3.3　片測(cè)試　
參考文獻(xiàn)　
習(xí)題　
第四部分　集成測(cè)試和系統(tǒng)測(cè)試
第12章　測(cè)試的層次　
12.1　測(cè)試層次劃分的傳統(tǒng)觀點(diǎn)　
12.2　其他生命周期模型　
12.2.1　瀑布模型的變體　
12.2.2　基于規(guī)格說明的生命周期模型　
12.3　SATM系統(tǒng)　
12.4　將集成測(cè)試與系統(tǒng)測(cè)試分開　
12.4.1　從結(jié)構(gòu)角度分析　
12.4.2　從行為角度分析　
參考文獻(xiàn)　
第13章　集成測(cè)試　
13.1　深入研究SATM系統(tǒng)　
13.2　基于功能分解的集成　
13.2.1　自頂向下集成　
13.2.2　自底向上集成　
13.2.3　三明治集成　
13.2.4　優(yōu)缺點(diǎn)　
13.3　基于調(diào)用圖的集成　
13.3.1　成對(duì)集成　
13.3.2　相鄰集成　
13.3.3　基于調(diào)用圖集成的優(yōu)缺點(diǎn)　
13.4　基于路徑的集成　
13.4.1　新概念與擴(kuò)展概念　
13.4.2　SATM系統(tǒng)中的MM路徑　
13.4.3　MM路徑復(fù)雜度　
13.4.4　基于路徑集成技術(shù)的優(yōu)缺點(diǎn)　
13.5　案例分析　
13.5.1　基于分解的集成　
13.5.2　基于調(diào)用圖的集成　
13.5.3　基于MM路徑的集成　
參考文獻(xiàn)　
習(xí)題　
第14章　系統(tǒng)測(cè)試　
14.1　線索　
14.1.1　線索存在的可能性　
14.1.2　線索定義　
14.2　需求規(guī)格說明的基本概念　
14.2.1　數(shù)據(jù)　
14.2.2　行為　
14.2.3　設(shè)備　
14.2.4　事件　
14.2.5　線索　
14.2.6　基本概念之間的關(guān)系　
14.2.7　利用基本概念建?！?br /> 14.3　尋找線索　
14.4　線索測(cè)試的結(jié)構(gòu)策略　
14.4.1　自底向上組織線索　
14.4.2　節(jié)點(diǎn)與邊覆蓋指標(biāo)　
14.5　線索測(cè)試的功能策略　
14.5.1　基于事件的線索測(cè)試　
14.5.2　基于端口的線索測(cè)試　
14.5.3　基于數(shù)據(jù)的線索測(cè)試　
14.6　SATM測(cè)試線索　
14.7　系統(tǒng)測(cè)試原則　
14.7.1　偽結(jié)構(gòu)系統(tǒng)測(cè)試　
14.7.2　性能分析　
14.7.3　累進(jìn)測(cè)試與回歸測(cè)試　
14.8　ASF測(cè)試示例　
參考文獻(xiàn)　
習(xí)題　
第15章　交互性測(cè)試　
15.1　交互的語境　
15.2　交互的分類　
15.2.1　單處理器中的靜態(tài)交互　
15.2.2　多處理器中的靜態(tài)交互　
15.2.3　單處理器中的動(dòng)態(tài)交互　
15.2.4　多處理器中的動(dòng)態(tài)交互　
15.3　線索的交互、合成和確定性　
15.4　客戶/服務(wù)器系統(tǒng)的測(cè)試　
參考文獻(xiàn)　
習(xí)題　
第五部分　面向?qū)ο鬁y(cè)試
第16章　面向?qū)ο鬁y(cè)試的相關(guān)問題　
16.1　面向?qū)ο鬁y(cè)試的單元　
16.2　合成與封裝的含義　
16.3　繼承的含義　
16.4　多態(tài)性的含義　
16.5　面向?qū)ο鬁y(cè)試的層次　
16.6　GUI測(cè)試　
16.7　面向?qū)ο筌浖臄?shù)據(jù)流測(cè)試　
16.8　第五部分所采用的示例　
16.8.1　面向?qū)ο蟮娜諝v程序　
16.8.2　貨幣轉(zhuǎn)換應(yīng)用程序　
參考文獻(xiàn)　
習(xí)題　
第17章　類測(cè)試　
17.1　以方法為單元的測(cè)試　
17.1.1　o-oCalendar　的偽代碼　
17.1.2　Date.increment　的單元測(cè)試　
17.2　以類為單元的測(cè)試　
17.2.1　windshieldWiper類的偽代碼　
17.2.2　windshieldWiper類的單元測(cè)試　
第18章　面向?qū)ο蟮募蓽y(cè)試　
18.1　UML對(duì)集成測(cè)試的支持　
18.2　面向?qū)ο筌浖腗M路徑　
18.3　面向?qū)ο髷?shù)據(jù)流集成測(cè)試的框架　
18.3.1　事件驅(qū)動(dòng)和消息驅(qū)動(dòng)的Petri網(wǎng)　
18.3.2　由繼承導(dǎo)出的數(shù)據(jù)流　
18.3.3　由消息導(dǎo)出的數(shù)據(jù)流　
18.3.4　是否需要片　
參考文獻(xiàn)　
習(xí)題　
第19章　GUI測(cè)試　
19.1　貨幣轉(zhuǎn)換程序　
19.2　貨幣轉(zhuǎn)換程序的單元測(cè)試　
19.3　貨幣轉(zhuǎn)換程序的集成測(cè)試　
19.4　貨幣轉(zhuǎn)換程序的系統(tǒng)測(cè)試　
習(xí)題　
第20章　面向?qū)ο蟮南到y(tǒng)測(cè)試　
20.1　貨幣轉(zhuǎn)換器的UML描述　
20.1.1　問題陳述　
20.1.2　系統(tǒng)功能　
20.1.3　表示層　
20.1.4　高層用例　
20.1.5　基本用例　
20.1.6　詳細(xì)的GUI定義　
20.1.7　擴(kuò)展的基本用例　
20.1.8　真實(shí)用例　
20.2　基于UML的系統(tǒng)測(cè)試　
20.3　基于狀態(tài)圖的系統(tǒng)測(cè)試　
參考文獻(xiàn)　
第六部分　新興測(cè)試技術(shù)
第21章　探索式測(cè)試　
21.1　上下文驅(qū)動(dòng)學(xué)派　
21.2　探索式測(cè)試　
21.3　探索一個(gè)常見示例　
21.4　探索式測(cè)試與上下文驅(qū)動(dòng)測(cè)試探討　
參考文獻(xiàn)　
習(xí)題　
第22章　基于模型測(cè)試　
22.1　基于模型進(jìn)行測(cè)試　
22.2　恰當(dāng)?shù)南到y(tǒng)模型　
22.2.1　Peterson格　
22.2.2　主流模型的表達(dá)能力　
22.2.3　選擇恰當(dāng)?shù)哪Ｐ汀?br /> 22.3　基于用例的測(cè)試　
22.3.1　從用例中推導(dǎo)出測(cè)試用例　
22.3.2　交互用例　
22.3.3　需要多少用例　
22.4　支持基于模型的測(cè)試的商用工具　
參考文獻(xiàn)　
第23章　測(cè)試驅(qū)動(dòng)開發(fā)　
23.1　“測(cè)試然后編碼”的軟件開發(fā)周期　
23.2　自動(dòng)化測(cè)試執(zhí)行(測(cè)試框架)　
23.3　Java和JUnit示例　
23.3.1　Java源代碼　
23.3.2　JUnit測(cè)試代碼　
23.4　其他待解決的問題　
23.4.1　基于規(guī)格說明還是基于代碼　
23.4.2　需要配置管理嗎　
23.4.3　粒度應(yīng)該多大　
23.5　測(cè)試驅(qū)動(dòng)開發(fā)的優(yōu)缺點(diǎn)及其他相關(guān)問題　
23.6　模型驅(qū)動(dòng)開發(fā)與測(cè)試驅(qū)動(dòng)開發(fā)對(duì)比　
第24章　全對(duì)測(cè)試詳述　
24.1　全對(duì)測(cè)試技術(shù)　
24.1.1　程序輸入　
24.1.2　獨(dú)立變量　
24.1.3　輸入的順序　
24.1.4　完全由輸入所引發(fā)的失效　
24.2　對(duì)NIST研究成果的進(jìn)一步分析　
24.3　全對(duì)測(cè)試的適用范圍　
24.4　對(duì)全對(duì)測(cè)試的建議　
參考文獻(xiàn)　
第25章　尾聲：軟件測(cè)試精益求精　
25.1　軟件測(cè)試是一種技藝　
25.2　軟件測(cè)試的最佳實(shí)踐　
25.3　讓軟件測(cè)試更出色的10項(xiàng)最佳實(shí)踐　
25.3.1　模型驅(qū)動(dòng)開發(fā)　
25.3.2　慎重地定義與劃分測(cè)試的層次　
25.3.3　基于模型的系統(tǒng)級(jí)測(cè)試　
25.3.4　系統(tǒng)測(cè)試的擴(kuò)展　
25.3.5　利用關(guān)聯(lián)矩陣指導(dǎo)回歸測(cè)試　
25.3.6　利用MM路徑實(shí)現(xiàn)集成測(cè)試　
25.3.7　把基于規(guī)格說明的測(cè)試和基于代碼的單元級(jí)測(cè)試有機(jī)地結(jié)合起來　
25.3.8　基于單個(gè)單元特性的代碼覆蓋指標(biāo)　
25.3.9　維護(hù)階段的探索式測(cè)試　
25.3.10　測(cè)試驅(qū)動(dòng)開發(fā)　
25.4　針對(duì)不同項(xiàng)目實(shí)現(xiàn)最佳實(shí)踐　
25.4.1　任務(wù)關(guān)鍵型項(xiàng)目　
25.4.2　時(shí)間關(guān)鍵型項(xiàng)目　
25.4.3　對(duì)遺留代碼的糾錯(cuò)維護(hù)