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

定　價：￥87.00

作　者：	（美）Robert V.Binder 著；華慶一等譯
出版社：	人民郵電出版社
叢編項：
標(biāo)　簽：	面向?qū)ο笳Z言程序設(shè)計測試

購買這本書可以去

ISBN：	9787115091529	出版時間：	2001-01-01	包裝：	膠版紙
開本：	26cm	頁數(shù)：	796	字?jǐn)?shù)：

內(nèi)容簡介

　　本書是對面向?qū)ο髴?yīng)用進行測試設(shè)計和實現(xiàn)自動化的權(quán)威性的指南。全書分預(yù)備知識、模型、樣式和工具四部分，共19章，闡明了為什么測試必須是基于模型的，并給出了建立可測模型的技術(shù)，引入了測試樣式的概念并介紹了37種樣式，以及如何設(shè)計和實現(xiàn)面向?qū)ο鬁y試的自動化。作者力求以易于理解的方式闡述面向?qū)ο鬁y試，使讀者無需花費太多精力即可以理解并加以利用。本書既可以作為教材，也可以作為面向?qū)ο鬁y試的手冊，供在軟件測試第一線工作的人員以及對面向?qū)ο箝_發(fā)和測試有興趣的人員使用。

作者簡介

暫缺《面向?qū)ο笙到y(tǒng)的測試》作者簡介

圖書目錄

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