面向?qū)ο笙到y(tǒng)的測(cè)試

第一部分預(yù)備知識(shí)                  
 第1章  一個(gè)小問(wèn)題                  
 第2章  如何使用本書(shū)                  
   2. 1  讀者向?qū)?nbsp;                 
   2. 2  約定                  
     2. 2. 1  每章的基本成分                  
     2. 2. 2  難度                  
     2. 2. 3  標(biāo)準(zhǔn)                  
     2. 2. 4  面向?qū)ο笮g(shù)語(yǔ)                  
     2. 2. 5  程序設(shè)計(jì)語(yǔ)言和代碼舉例                  
     2. 2. 6  測(cè)試工具                  
     2. 2. 7  歡迎指出本書(shū)的錯(cuò)誤                  
   2. 3  用于面向?qū)ο鬁y(cè)試的FAQ                  
     2. 3. 1  為什么要測(cè)試對(duì)象                  
     2. 3. 2  測(cè)試設(shè)計(jì)                  
     2. 3. 3  方法和類的測(cè)試設(shè)計(jì)                  
     2. 3. 4  復(fù)用的測(cè)試                  
     2. 3. 5  子系統(tǒng)和應(yīng)用系統(tǒng)的測(cè)試設(shè)計(jì)                  
     2. 3. 6  集成測(cè)試和開(kāi)發(fā)的順序                  
     2. 3. 7  回歸測(cè)試和重復(fù)的增量的開(kāi)發(fā)                  
     2. 3. 8  UML模型的測(cè)試                  
     2. 3. 9  測(cè)試自動(dòng)機(jī)                  
   2. 4  測(cè)試過(guò)程                  
 第3章  軟件測(cè)試：簡(jiǎn)要介紹                  
   3. 1  什么是軟件測(cè)試                  
   3. 2  定義                  
   3. 3  測(cè)試的局限                  
     3. 3. 1  輸入／狀態(tài)空間                  
     3. 3. 2  執(zhí)行順序                  
     3. 3. 3  故障敏感性和巧合正確性                  
     3. 3. 4  絕對(duì)局限性                  
   3. 4  測(cè)試能完成什么                  
   3. 5  文獻(xiàn)注釋                  
 第4章  必須改變：測(cè)試和面向?qū)ο筌浖?nbsp;                 
   4. 1  軟件測(cè)試的沉悶科學(xué)                  
     4. 1. 1  我是對(duì)的, 你是對(duì)的, 對(duì)象也是對(duì)的                  
     4. 1. 2  故障模型的作用                  
     4. 1. 3  用于面向?qū)ο缶幊痰墓收夏Ｐ?nbsp;                 
   4. 2  范型的副作用                  
     4. 2. 1  什么錯(cuò)了                  
     4. 2. 2  封裝                  
     4. 2. 3  繼承性                  
     4. 2. 4  多態(tài)性                  
     4. 2. 5  消息序列和狀態(tài)相關(guān)錯(cuò)誤                  
     4. 2. 6  內(nèi)置的低層服務(wù)                  
     4. 2. 7  錯(cuò)誤列表                  
   4. 3  具體語(yǔ)言的風(fēng)險(xiǎn)                  
     4. 3. 1  C++                  
     4. 3. 2  Java                  
     4. 3. 3  Smalltalk                  
   4. 4  面向?qū)ο鬁y(cè)試的覆蓋模型                  
   4. 5  面向?qū)ο鬁y(cè)試的聲明                  
   4. 6  文獻(xiàn)注釋                  
 第二部分  模  型                  
 第5章  測(cè)試模型                  
   5. 1  測(cè)試設(shè)計(jì)與測(cè)試模型                  
     5. 1. 1  為什么測(cè)試必須是基于模型的                  
     5. 1. 2  什么是模型                  
     5. 1. 3  模型在測(cè)試中的作用                  
     5. 1. 4  草圖或測(cè)試就緒模型                  
     5. 1. 5  結(jié)論                  
   5. 2  文獻(xiàn)注釋                  
 第6章  組合模型                  
   6. 1  組合模型如何支持測(cè)試                  
   6. 2  怎樣得到判定表                  
     6. 2. 1  基本方法                  
     6. 2. 2  構(gòu)件和結(jié)構(gòu)                  
     6. 2. 3  汽車保險(xiǎn)續(xù)保模型                  
     6. 2. 4  無(wú)關(guān)條件. 不知條件和不可能發(fā)生條件                  
     6. 2. 5  判定表在面向?qū)ο箝_(kāi)發(fā)中的應(yīng)用                  
   6. 3  導(dǎo)出邏輯函數(shù)                  
     6. 3. 1  布爾表達(dá)式                  
     6. 3. 2  真值表與判定表                  
     6. 3. 3  布爾表達(dá)式的組成                  
     6. 3. 4  卡諾矩陣(Kanaugh—Veitch Matrix)                  
     6. 3. 5  因—果圖(Cause—Effect Graphs)                  
   6. 4  判定表確認(rèn)(Validation)                  
   6. 5  測(cè)試生成(Test Generation)                  
     6. 5. 1  故障模型(Fault Model)                  
     6. 5. 2  全顯式變式                  
     6. 5. 3  全變式. 全真變式. 全假變式和全素因子變式                  
     6. 5. 4  每一個(gè)條件／所有條件                  
     6. 5. 5  二元判定圖行列式                  
     6. 5. 6  變量的否定(variable negation)                  
     6. 5. 7  非二值變量值域分析                  
     6. 5. 8  其它啟發(fā)方式                  
   6. 6  選擇組合測(cè)試策略                  
   6. 7  文獻(xiàn)注釋                  
 第7章  狀態(tài)機(jī)                  
   7. 1  動(dòng)機(jī)                  
   7. 2  基本模型                  
     7. 2. 1  什么是狀態(tài)機(jī)                  
     7. 2. 2  狀態(tài)轉(zhuǎn)換圖                  
     7. 2. 3  有限狀態(tài)自動(dòng)機(jī)的一些性質(zhì)                  
     7. 2. 4  受監(jiān)視轉(zhuǎn)換                  
     7. 2. 5  Mealy機(jī)和Moore機(jī)                  
     7. 2. 6  狀態(tài)轉(zhuǎn)換表                  
     7. 2. 7  基本模型的局限性                  
     7. 2. 8  狀態(tài)圖                  
     7. 2. 9  狀態(tài)機(jī)與面向?qū)ο蟮拈_(kāi)發(fā)                  
   7. 3  FREE狀態(tài)模型                  
     7. 3. 1  OOA/D行為模型的局限性                  
     7. 3. 2  狀態(tài)                  
     7. 3. 3  轉(zhuǎn)換                  
     7. 3. 4  a和w狀態(tài)                  
     7. 3. 5  繼承性及類的展平                  
     7. 3. 6  未指明的事件/轉(zhuǎn)換對(duì)偶                  
   7. 4  基于狀態(tài)的測(cè)試設(shè)計(jì)                  
     7. 4. 1  狀態(tài)機(jī)是如何失敗的                  
     7. 4. 2  開(kāi)發(fā)可側(cè)模型                  
     7. 4. 3  N+測(cè)試策略                  
     7. 4. 4  相關(guān)能力和局限性                  
     7. 4. 5  選擇基于狀態(tài)測(cè)試的策略                  
   7. 5  文獻(xiàn)注釋                  
 第8章  UML測(cè)試者指南                  
   8. 1  引言                  
     8. 1. 1  作為測(cè)試模型的UML                  
     8. 1. 2  關(guān)系測(cè)試策略                  
   8. 2  通用元素                  
     8. 2. 1  組織與注解                  
     8. 2. 2  對(duì)象約束語(yǔ)言                  
   8. 3  用例圖                  
     8. 3. 1  符號(hào)和語(yǔ)義                  
     8. 3. 2  一般測(cè)試模型                  
     8. 3. 3  測(cè)試性擴(kuò)充                  
   8. 4  類圖                  
     8. 4. 1  符號(hào)和語(yǔ)義                  
     8. 4. 2  一般測(cè)試模型                  
   8. 5  順序圖                  
     8. 5. 1  符號(hào)和語(yǔ)義                  
     8. 5. 2  一般測(cè)試需求                  
     8. 5. 3  可測(cè)試性能擴(kuò)充                  
   8. 6  活動(dòng)圖                  
     8. 6. 1  符號(hào)和語(yǔ)義                  
     8. 6. 2  一般測(cè)試模型                  
   8. 7  狀態(tài)圖                  
   8. 8  協(xié)作圖                  
     8. 8. 1  符號(hào)和語(yǔ)義                  
     8. 8. 2  一般測(cè)試模型                  
     8. 8. 3  可測(cè)試性擴(kuò)充                  
   8. 9  構(gòu)件圖                  
     8. 9. 1  符號(hào)和語(yǔ)義                  
     8. 9. 2  一般測(cè)試模型                  
   8. 10  實(shí)施圖                  
     8. 10. 1  符號(hào)和語(yǔ)義                  
     8. 10. 2  一般溯試模型                  
   8. 11  圖. 關(guān)系和測(cè)試                  
   8. 12  文獻(xiàn)注釋                  
 第三部分  樣  式                  
 第9章  面向結(jié)果的測(cè)試策略                  
   9. 1  面向結(jié)果的測(cè)試                  
     9. 1. 1  基于責(zé)任的測(cè)試設(shè)計(jì)的作用                  
     9. 1. 2  基于實(shí)現(xiàn)的測(cè)試設(shè)計(jì)的作用                  
     9. 1. 3  面向?qū)ο箝_(kāi)發(fā)的集成                  
     9. 1. 4  利用責(zé)任和實(shí)現(xiàn)                  
   9. 2  測(cè)試設(shè)計(jì)樣式                  
     9. 2. 1  什么是樣式                  
     9. 2. 2  樣式和測(cè)試                  
     9. 2. 3  測(cè)試設(shè)計(jì)樣式模板                  
     9. 2. 4  本書(shū)中的測(cè)試樣式                  
     9. 2. 5  應(yīng)用測(cè)試設(shè)計(jì)樣式                  
   9. 3  測(cè)試實(shí)例. 測(cè)試包和測(cè)試計(jì)劃的文檔                  
     9. 3. 1  IEEE829文件                  
     9. 3. 2  可跟蹤性                  
   9. 4  文獻(xiàn)注釋                  
 第10章  類                  
   10. 1  類測(cè)試和集成                  
     10. 1. 1  什么是類范圍的測(cè)試                  
     10. 1. 2  為什么在類范圍進(jìn)行測(cè)試                  
     10. 1. 3  由誰(shuí)和什么時(shí)候測(cè)試                  
     10. 1. 4  實(shí)例分析：MPR Teltech                  
   10. 2  基礎(chǔ)知識(shí)                  
     10. 2. 1  類范圍集成                  
     10. 2. 2  基于實(shí)現(xiàn)的測(cè)試模型                  
     10. 2. 3  路徑敏感                  
     10. 2. 4  域測(cè)試模型                  
   10. 3  方法范圍測(cè)試設(shè)計(jì)樣式                  
     10. 3. 1  功能內(nèi)聚                  
     10. 3. 2  方法范圍的集成                  
     10. 3. 3  樣式                  
   10. 4  類范圍測(cè)試設(shè)計(jì)樣式                  
     10. 4. 1  類模態(tài)性                  
     10. 4. 2  樣式                  
   10. 5  展平類范圍測(cè)試設(shè)計(jì)樣式                  
     10. 5. 1  超類的麻煩                  
     10. 5. 2  展平類的測(cè)試策略                  
     10. 5. 3  樣式                  
   10. 6  文獻(xiàn)注釋                  
 第11章  可復(fù)用構(gòu)件                  
   11. 1  測(cè)試和復(fù)用                  
     11. 1. 1  復(fù)用機(jī)制                  
     11. 1. 2  測(cè)試在復(fù)用中的作用                  
     11. 1. 3  復(fù)用測(cè)試包                  
   11. 2  測(cè)試設(shè)計(jì)樣式                  
     11. 2. 1  抽象類測(cè)試                  
     11. 2. 2  類屬類測(cè)試                  
     11. 2. 3  新框架測(cè)試                  
     11. 2. 4  流行框架溯試                  
   11. 3  文獻(xiàn)注釋                  
 第12章  子系統(tǒng)                  
   12. 1  子系統(tǒng)                  
     12. 1. 1  什么是子系統(tǒng)                  
     12. 1. 2  為什么在于系統(tǒng)范圍內(nèi)測(cè)試                  
   12. 2  子系統(tǒng)測(cè)試設(shè)計(jì)樣式                  
     12. 2. 1  類關(guān)聯(lián)測(cè)試                  
     12. 2. 2  往返場(chǎng)景測(cè)試                  
     12. 2. 3  受控異常測(cè)試                  
     12. 2. 4  模式機(jī)測(cè)試                  
   12. 3  文獻(xiàn)注釋                  
 第13章  集成                  
   13. 1  面向?qū)ο箝_(kāi)發(fā)中的集成                  
     13. 1. 1  定義                  
     13. 1. 2  集成測(cè)試的必要性                  
     13. 1. 3  相依性分析                  
     13. 1. 4  集成故障                  
   13. 2  集成樣式                  
     13. 2. 1  特定范圍需要考慮的事項(xiàng)                  
     13. 2. 2  大爆炸集成                  
     13. 2. 3  自底向上集成                  
     13. 2. 4  自頂向下集成                  
     13. 2. 5  協(xié)作集成                  
     13. 2. 6  基于集成                  
     13. 2. 7  層次集成                  
     13. 2. 8  客戶/服務(wù)器集成                  
     13. 2. 9  分布服務(wù)集成                  
     13. 2. 10  高頻集成                  
   13. 3  文獻(xiàn)注釋                  
 第14章  應(yīng)用系統(tǒng)                  
   14. 1  應(yīng)用系統(tǒng)測(cè)試                  
     14. 1. 1  一個(gè)告誡人們的故事                  
     14. 1. 2  面向?qū)ο髴?yīng)用系統(tǒng)測(cè)試                  
     14. 1. 3  應(yīng)用系統(tǒng)測(cè)試策略                  
   14. 2  測(cè)試設(shè)計(jì)樣式                  
     14. 2. 1  擴(kuò)充式用例測(cè)試                  
     14. 2. 2  覆蓋CRUD                  
     14. 2. 3  按綱要分配測(cè)試                  
   14. 3  特定實(shí)現(xiàn)的能力                  
     14. 3. 1  配置和兼容性                  
     14. 3. 2  性能                  
     14. 3. 3  完整性和容錯(cuò)性                  
     14. 3. 4  人機(jī)交互                  
   14. 4  開(kāi)發(fā)后測(cè)試                  
   14. 5  測(cè)試性能目標(biāo)注解                  
     14. 5. 1  批處理系統(tǒng)                  
     14. 5. 2  交互式系統(tǒng)                  
     14. 5. 3  實(shí)時(shí)系統(tǒng)                  
   14. 6  文獻(xiàn)注釋                  
 第15章  回歸測(cè)試                  
   15. 1  預(yù)備                  
     15. 1. 1  什么和為什么                  
     15. 1. 2  何時(shí)和如何                  
     15. 1. 3  回歸故障(RepessionFault)                  
     15. 1. 4  測(cè)試自動(dòng)化                  
     15. 1. 5  測(cè)試包維護(hù)                  
     15. 1. 6  縮減一個(gè)測(cè)試包需要考慮的事項(xiàng)                  
   15. 2  測(cè)試樣式                  
     15. 2. 1  全部再測(cè)試                  
     15. 2. 2  再測(cè)試風(fēng)險(xiǎn)用例                  
     15. 2. 3  按綱要再測(cè)試                  
     15. 2. 4  再測(cè)試修改的代碼                  
     15. 2. 5  防火墻內(nèi)再測(cè)試                  
   15. 3  文獻(xiàn)注釋                  
 第四部分工  具                  
 第16章  測(cè)試自動(dòng)機(jī)                  
   16. 1  為什么測(cè)試必須自動(dòng)化                  
   16. 2  限制和告誡                  
 第17章  斷言                  
   17. 1  簡(jiǎn)介                  
     17. 1. 1  什么是斷言                  
     17. 1. 2  為什么使用斷言                  
     17. 1. 3  誰(shuí)使用斷言                  
   17. 2  基于實(shí)現(xiàn)的斷言                  
     17. 2. 1  假設(shè)檢查器                  
     17. 2. 2  潛伏的故障和探測(cè)器                  
   17. 3  基于責(zé)任的斷言                  
     17. 3. 1  概述                  
     17. 3. 2  責(zé)任. 契約和子類型                  
     17. 3. 3  方法范圍                  
     17. 3. 4  類范圍                  
     17. 3. 5  順序約束                  
     17. 3. 6  超類／子類范圍                  
     17. 3. 7  客戶/服務(wù)器范圍                  
   17. 4  實(shí)現(xiàn)                  
     17. 4. 1  程序設(shè)計(jì)人員的斷言FAQ                  
     17. 4. 2  斷言動(dòng)作                  
     17. 4. 3  不可執(zhí)行的斷言                  
     17. 4. 4  Ada95                  
     17. 4. 5  C++                  
     17. 4. 6  Eiffel                  
     17. 4. 7  Java                  
     17. 4. 8  Objective-C                  
     17. 4. 9  Smalltalk                  
   17. 5  實(shí)施                  
     17. 5. 1  內(nèi)嵌測(cè)試的驗(yàn)證                  
     17. 5. 2  應(yīng)用斷言設(shè)計(jì)測(cè)試                  
     17. 5. 3  發(fā)行前的考慮                  
     17. 5. 4  發(fā)行后的考慮                  
   17. 6  限制和告誡                  
   17. 7  一些斷言工具                  
   17. 8  文獻(xiàn)注釋                  
 第18章  預(yù)測(cè)                  
   18. 1  簡(jiǎn)介                  
   18. 2  預(yù)測(cè)樣式                  
     18. 2. 1  簡(jiǎn)介                  
     18. 2. 2  評(píng)判                  
     18. 2. 3  預(yù)說(shuō)明預(yù)測(cè)                  
     18. 2. 4  保值預(yù)測(cè)                  
     18. 2. 5  有機(jī)預(yù)測(cè)                  
   18. 3  比較器                  
     18. 3. 1  簡(jiǎn)介                  
     18. 3. 2  確定對(duì)象相等                  
     18. 3. 3  深相等和淺相等                  
     18. 3. 4  抽象內(nèi)容和具體內(nèi)容                  
     18. 3. 5  別名                  
     18. 3. 6  匯集                  
     18. 3. 7  類型／子類型相等                  
     18. 3. 8  部分相等方法                  
   18. 4  文獻(xiàn)注釋                  
 第19章  測(cè)試裝置設(shè)計(jì)                  
   19. 1  如何開(kāi)發(fā)測(cè)試裝置                  
     19. 1. 1  需求                  
     19. 1. 2  體系結(jié)構(gòu)                  
   19. 2  測(cè)試實(shí)例樣式                  
     19. 2. 1  考慮                  
   19. 3  測(cè)試控制樣式                  
     19. 3. 1  考慮                  
   19. 4  驅(qū)動(dòng)器樣式                  
     19. 4. 1  考慮                  
     19. 4. 2  驅(qū)動(dòng)器設(shè)計(jì)樣式                  
   19. 5  測(cè)試執(zhí)行樣式                  
   19. 6  測(cè)試實(shí)現(xiàn)語(yǔ)法                  
   19. 7  文獻(xiàn)注釋                  
 附錄  BigFoot's Tootsie：實(shí)例研究                  
 術(shù)語(yǔ)匯編                  
 參考文獻(xiàn)