軟件測試（第3版）

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