軟件測試（第3版）

第一部分　數(shù)學(xué)基礎(chǔ)
第1章　測試概述　
1.1　基本概念　
1.2　測試用例　
1.3　通過維恩圖來考察測試　
1.4　構(gòu)造測試用例　
1.4.1　功能測試　
1.4.2　結(jié)構(gòu)測試　
1.4.3　功能測試與結(jié)構(gòu)測試之爭　
1.5　錯誤與故障差異　
1.6　測試的層次　
參考文獻(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章　測試人員的離散數(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　單個集合上的關(guān)系　
3.4　命題邏輯　
3.4.1　邏輯運(yùn)算符　
3.4.2　邏輯表達(dá)式　
3.4.3　邏輯等價　
3.5　概率論　
參考文獻(xiàn)　
習(xí)題　
第4章　測試人員的圖論　
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　軟件測試中常用的圖　
4.3.1　程序圖　
4.3.2　有限狀態(tài)機(jī)　
4.3.3　Petri網(wǎng)　
4.3.4　事件驅(qū)動Petri網(wǎng)　
4.3.5　狀態(tài)圖　
參考文獻(xiàn)　
習(xí)題　
第二部分　功能測試
第5章　邊界值測試　
5.1　邊界值分析　
5.1.1　邊界值分析的拓展　
5.1.2　邊界值分析的局限性　
5.2　健壯性測試　
5.3　最壞情況測試　
5.4　特殊值測試　
5.5　示例　
5.5.1　三角形問題的測試用例　
5.5.2　NextDate函數(shù)的測試用例　
5.5.3　傭金問題的測試用例　
5.6　隨機(jī)測試　
5.7　邊界值測試的原則　
習(xí)題　
第6章　等價類測試　
6.1　等價類　
6.1.1　弱一般等價類測試　
6.1.2　強(qiáng)一般等價類測試　
6.1.3　弱健壯等價類測試　
6.1.4　強(qiáng)健壯等價類測試　
6.2　三角形問題的等價類測試用例　
6.3　NextDate函數(shù)的等價類測試用例　
6.4　傭金問題的等價類測試用例　
6.5　原則與注意事項(xiàng)　
參考文獻(xiàn)　
習(xí)題　
第7章　基于決策表的測試　
7.1　決策表　
7.2　三角形問題的測試用例　
7.3　NextDate函數(shù)的測試用例　
7.3.1　第一輪嘗試　
7.3.2　第二輪嘗試　
7.3.3　第三輪嘗試　
7.4　傭金問題的測試用例　
7.5　原則與注意事項(xiàng)　
參考文獻(xiàn)　
習(xí)題　
第8章　功能測試回顧　
8.1　測試的工作量　
8.2　測試的效率　
8.3　測試的有效性　
8.4　原則　
8.5　案例研究　
第三部分　結(jié)構(gòu)測試
第9章　路徑測試　
9.1　DD路徑　
9.2　測試覆蓋指標(biāo)　
9.2.1　基于指標(biāo)的測試　
9.2.2　測試覆蓋分析器　
9.3　基路徑測試　
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ù)流測試　
10.1　定義/使用測試　
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　定義使用路徑的測試覆蓋指標(biāo)　
10.2　基于片的測試　
10.2.1　舉例　
10.2.2　風(fēng)格與方法　
10.3　原則與注意事項(xiàng)　
參考文獻(xiàn)　
習(xí)題　
第11章　結(jié)構(gòu)測試回顧　
11.1　缺漏與冗余　
11.2　用于評估測試方法的指標(biāo)　
11.3　重新修訂的案例研究　
11.3.1　基于路徑的測試　
11.3.2　數(shù)據(jù)流測試　
11.3.3　片測試　
參考文獻(xiàn)　
習(xí)題　
第四部分　集成測試和系統(tǒng)測試
第12章　測試的層次　
12.1　測試層次劃分的傳統(tǒng)觀點(diǎn)　
12.2　其他生命周期模型　
12.2.1　瀑布模型的變體　
12.2.2　基于規(guī)格說明的生命周期模型　
12.3　SATM系統(tǒng)　
12.4　將集成測試與系統(tǒng)測試分開　
12.4.1　從結(jié)構(gòu)角度分析　
12.4.2　從行為角度分析　
參考文獻(xiàn)　
第13章　集成測試　
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　成對集成　
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)測試　
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　利用基本概念建模　
14.3　尋找線索　
14.4　線索測試的結(jié)構(gòu)策略　
14.4.1　自底向上組織線索　
14.4.2　節(jié)點(diǎn)與邊覆蓋指標(biāo)　
14.5　線索測試的功能策略　
14.5.1　基于事件的線索測試　
14.5.2　基于端口的線索測試　
14.5.3　基于數(shù)據(jù)的線索測試　
14.6　SATM測試線索　
14.7　系統(tǒng)測試原則　
14.7.1　偽結(jié)構(gòu)系統(tǒng)測試　
14.7.2　性能分析　
14.7.3　累進(jìn)測試與回歸測試　
14.8　ASF測試示例　
參考文獻(xiàn)　
習(xí)題　
第15章　交互性測試　
15.1　交互的語境　
15.2　交互的分類　
15.2.1　單處理器中的靜態(tài)交互　
15.2.2　多處理器中的靜態(tài)交互　
15.2.3　單處理器中的動態(tài)交互　
15.2.4　多處理器中的動態(tài)交互　
15.3　線索的交互、合成和確定性　
15.4　客戶/服務(wù)器系統(tǒng)的測試　
參考文獻(xiàn)　
習(xí)題　
第五部分　面向?qū)ο鬁y試
第16章　面向?qū)ο鬁y試的相關(guān)問題　
16.1　面向?qū)ο鬁y試的單元　
16.2　合成與封裝的含義　
16.3　繼承的含義　
16.4　多態(tài)性的含義　
16.5　面向?qū)ο鬁y試的層次　
16.6　GUI測試　
16.7　面向?qū)ο筌浖臄?shù)據(jù)流測試　
16.8　第五部分所采用的示例　
16.8.1　面向?qū)ο蟮娜諝v程序　
16.8.2　貨幣轉(zhuǎn)換應(yīng)用程序　
參考文獻(xiàn)　
習(xí)題　
第17章　類測試　
17.1　以方法為單元的測試　
17.1.1　o-oCalendar　的偽代碼　
17.1.2　Date.increment　的單元測試　
17.2　以類為單元的測試　
17.2.1　windshieldWiper類的偽代碼　
17.2.2　windshieldWiper類的單元測試　
第18章　面向?qū)ο蟮募蓽y試　
18.1　UML對集成測試的支持　
18.2　面向?qū)ο筌浖腗M路徑　
18.3　面向?qū)ο髷?shù)據(jù)流集成測試的框架　
18.3.1　事件驅(qū)動和消息驅(qū)動的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測試　
19.1　貨幣轉(zhuǎn)換程序　
19.2　貨幣轉(zhuǎn)換程序的單元測試　
19.3　貨幣轉(zhuǎn)換程序的集成測試　
19.4　貨幣轉(zhuǎn)換程序的系統(tǒng)測試　
習(xí)題　
第20章　面向?qū)ο蟮南到y(tǒng)測試　
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)測試　
20.3　基于狀態(tài)圖的系統(tǒng)測試　
參考文獻(xiàn)　
第六部分　新興測試技術(shù)
第21章　探索式測試　
21.1　上下文驅(qū)動學(xué)派　
21.2　探索式測試　
21.3　探索一個常見示例　
21.4　探索式測試與上下文驅(qū)動測試探討　
參考文獻(xiàn)　
習(xí)題　
第22章　基于模型測試　
22.1　基于模型進(jìn)行測試　
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　基于用例的測試　
22.3.1　從用例中推導(dǎo)出測試用例　
22.3.2　交互用例　
22.3.3　需要多少用例　
22.4　支持基于模型的測試的商用工具　
參考文獻(xiàn)　
第23章　測試驅(qū)動開發(fā)　
23.1　“測試然后編碼”的軟件開發(fā)周期　
23.2　自動化測試執(zhí)行(測試框架)　
23.3　Java和JUnit示例　
23.3.1　Java源代碼　
23.3.2　JUnit測試代碼　
23.4　其他待解決的問題　
23.4.1　基于規(guī)格說明還是基于代碼　
23.4.2　需要配置管理嗎　
23.4.3　粒度應(yīng)該多大　
23.5　測試驅(qū)動開發(fā)的優(yōu)缺點(diǎn)及其他相關(guān)問題　
23.6　模型驅(qū)動開發(fā)與測試驅(qū)動開發(fā)對比　
第24章　全對測試詳述　
24.1　全對測試技術(shù)　
24.1.1　程序輸入　
24.1.2　獨(dú)立變量　
24.1.3　輸入的順序　
24.1.4　完全由輸入所引發(fā)的失效　
24.2　對NIST研究成果的進(jìn)一步分析　
24.3　全對測試的適用范圍　
24.4　對全對測試的建議　
參考文獻(xiàn)　
第25章　尾聲：軟件測試精益求精　
25.1　軟件測試是一種技藝　
25.2　軟件測試的最佳實(shí)踐　
25.3　讓軟件測試更出色的10項(xiàng)最佳實(shí)踐　
25.3.1　模型驅(qū)動開發(fā)　
25.3.2　慎重地定義與劃分測試的層次　
25.3.3　基于模型的系統(tǒng)級測試　
25.3.4　系統(tǒng)測試的擴(kuò)展　
25.3.5　利用關(guān)聯(lián)矩陣指導(dǎo)回歸測試　
25.3.6　利用MM路徑實(shí)現(xiàn)集成測試　
25.3.7　把基于規(guī)格說明的測試和基于代碼的單元級測試有機(jī)地結(jié)合起來　
25.3.8　基于單個單元特性的代碼覆蓋指標(biāo)　
25.3.9　維護(hù)階段的探索式測試　
25.3.10　測試驅(qū)動開發(fā)　
25.4　針對不同項(xiàng)目實(shí)現(xiàn)最佳實(shí)踐　
25.4.1　任務(wù)關(guān)鍵型項(xiàng)目　
25.4.2　時間關(guān)鍵型項(xiàng)目　
25.4.3　對遺留代碼的糾錯維護(hù)