中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
軟件測試基礎 版權信息
- ISBN：9787111293989
- 條形碼：9787111293989 ; 978-7-111-29398-9
- 裝幀：暫無
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
軟件測試基礎 本書特色
《軟件測試基礎》采用創新方法來講述軟件測試，定義測試為將幾個通用的測試準則應用于軟件結構或軟件模型的過程。書中融入了*新的測試技術，包括現代軟件方法（如面向對象）、Web應用程序和嵌入式軟件。另外，《軟件測試基礎》包含了大量的實例。
軟件測試基礎 目錄
譯者序 前言 **部分 概 覽 第1章 概述 1 1.1 測試工程師的工作 2 1.1.1 基于軟件活動的測試級別 3 1.1.2 基于測試過程成熟度的beizer的測試級別 5 1.1.3 測試活動的自動化 6 1.2 軟件測試的局限性和術語 7 1.3 測試覆蓋標準 12 1.3.1 不可行性與包含 14 1.3.2 好的覆蓋標準的特征 15 1.4 以往的軟件測試術語 16 1.5 參考文獻注釋 17 第二部分 覆 蓋 標 準 第2章 圖覆蓋 19 2.1 概述 19 2.2 圖覆蓋標準 23 2.2.1 結構化覆蓋標準 24 2.2.2 數據流標準 33 2.2.3 圖覆蓋標準中的包含關系 38 2.3 源代碼的圖覆蓋 40 2.3.1 源代碼的結構化圖覆蓋 40 2.3.2 源代碼的數據流圖覆蓋 41 2.4 設計元素的圖覆蓋 50 2.4.1 設計元素的結構化圖覆蓋 50 2.4.2 設計元素的數據流覆蓋 51 2.5 規格說明的圖覆蓋 57 2.5.1 順序約束測試 57 2.5.2 軟件狀態行為測試 60 2.6 用例的圖覆蓋 68 2.7 用代數方法表示圖 71 2.7.1 把圖簡化成路徑表達式 73 2.7.2 路徑表達式的應用 75 2.7.3 得到測試輸入 75 2.7.4 在流圖中計算路徑數并確定*大路徑長度 76 2.7.5 到達所有邊的路徑的*小值 77 2.7.6 互補運算分析 77 2.8 參考文獻注釋 79 第3章 邏輯覆蓋 82 3.1 概覽：邏輯謂詞和子句 82 3.2 邏輯表達式覆蓋標準 83 3.2.1 有效的子句覆蓋 84 3.2.2 無效子句覆蓋 87 3.2.3 不可行性和包含 88 3.2.4 使子句決定謂詞 89 3.2.5 尋找滿足的取值 91 3.3 程序的結構化邏輯覆蓋 94 3.4 基于規約的邏輯覆蓋 104 3.5 有限狀態機的邏輯覆蓋 106 3.6 析取范式標準 109 3.7 參考文獻注釋 116 第4章 輸入空間劃分 119 4.1 輸入域建模 120 4.1.1 基于接口的輸入域建模 121 4.1.2 基于功能的輸入域建模 122 4.1.3 識別特性 122 4.1.4 選擇塊和值 123 4.1.5 使用一種以上的輸入域模型 125 4.1.6 檢查輸入域模型 125 4.2 組合策略標準 126 4.3 劃分中的約束 130 4.4 參考文獻注釋 131 第5章 基于句法的測試 134 5.1 基于句法的覆蓋標準 134 5.1.1 bnf覆蓋標準 134 5.1.2 變異測試 136 5.2 基于程序的語法 139 5.2.1 編程語言的bnf語法 139 5.2.2 基于程序的變異 139 5.3 集成與面向對象測試 151 5.3.1 bnf集成測試 151 5.3.2 集成變異 151 5.4 基于規范的語法 155 5.4.1 bnf語法 156 5.4.2 基于規范的變異 156 5.5 輸入空間語法 158 5.5.1 bnf語法 158 5.5.2 輸入語法的變異 161 5.6 參考文獻注釋 166 第三部分 在實踐中運用的標準 第6章 實際的考慮 169 6.1 回歸測試 169 6.2 集成和測試 170 6.2.1 樁和驅動程序 171 6.2.2 類的集成測試順序 171 6.3 測試過程 172 6.3.1 需求分析和規格說明書 173 6.3.2 系統和軟件設計 174 6.3.3 中級設計 174 6.3.4 詳細設計 175 6.3.5 實現 175 6.3.6 集成 175 6.3.7 系統部署 176 6.3.8 操作和維護 176 6.3.9 總結 176 6.4 測試計劃 177 6.5 識別正確的輸出 181 6.5.1 輸出的直接驗證 181 6.5.2 冗余計算 182 6.5.3 一致性檢查 182 6.5.4 數據冗余 183 6.6 參考文獻注釋 184 第7章 技術的工程標準 185 7.1 測試面向對象軟件 185 7.1.1 面向對象軟件測試特有的問題 186 7.1.2 面向對象的錯誤類型 186 7.2 測試web應用和web服務 201 7.2.1 測試靜態超文本web站點 202 7.2.2 測試動態web應用 202 7.2.3 測試web 服務 204 7.3 測試圖形用戶界面 205 7.4 實時軟件和嵌入式軟件 206 7.5 參考文獻注釋 209 第8章 創建測試工具 211 8.1 圖和邏輯表達式標準的插樁 211 8.1.1 節點覆蓋和邊覆蓋 211 8.1.2 數據流覆蓋 213 8.1.3 邏輯覆蓋 213 8.2 構造變異測試工具 215 8.2.1 解釋方法 215 8.2.2 分離編譯的方法 216 8.2.3 基于模式的方法 216 8.2.4 使用java反射機制 217 8.2.5 實現一個現代的變異系統 217 8.3 參考文獻注釋 217 第9章 軟件測試中的挑戰 220 9.1 測試緊急性屬性：安全性和保密性 220 9.2 軟件的可測試性 222 9.3 測試標準和軟件測試的未來 225 9.4 參考文獻注釋 227 參考文獻 229
展開全部
軟件測試基礎 節選
《軟件測試基礎》經過了大量的課堂檢驗，是深受學生和行業專業人員歡迎的軟件工程指南。《軟件測試基礎》所展示的軟件測試程概念和技術廣泛地覆蓋了各種語言及其平臺。與其他軟件工程書籍相比，《軟件測試基礎》內容更加全面，并具有很大的實踐價值。《軟件測試基礎》適合作為國內高等院校計算機及相關專業本科生的軟件工程課程教材，也可供軟件工程領域的技術人員參考。
軟件測試基礎 相關資料
插圖：本書的作者給軟件工程和計算機科學專業的學生講授軟件測試已經超過15年r。征此別間，我們得出了一個很不期望看到的結論：沒有人寫出一本我們想要的書。所以，如果我們想要，就必須自己寫。以前的測試類書籍把軟件測試當作一個相對簡單的學科，認為這個學科依賴于過程，而不是從技術的角度去理解軟件是如何構成的；有的書把測試作為一個需要詳細理解大量軟件開發技術的復雜的、割裂的學科；還有的書把測試當作一個只有數學家和計算機理論科學家才能掌握的純理論學科。大多數關于測試的書籍圍繞著一個典型的軟件開發周期的各個階段展開，這種方法會使原本普通的測試主題變得難懂。最后，大多數測試類書籍是作為參考書而寫的，而不是教科書。所以，只有先前有過專門軟件測試知識的教師才能輕松使用。而本書對于那些不是測試專家的教師也是易于使用的。本書在許多重要方面不同于其他的軟件測試類書籍。許多書講解如何管理測試過程，當然這很重要，但告訴測試者基于基礎理論的具體測試技術同樣重要。本書在理論和實踐應用之間保持了很好的平衡。這是軟件公司必須有的重要信息，但是本書特別注重設計和創建測試用例的基本技術問題。目前市面上其他的測試類書籍主要關注技術或活動，比如系統測試或單元測試，而本書旨在綜合軟件開發的整個過程，涵蓋盡可能多的技術。如前所述，本書的目的是支持多種軟件測試課程。我們在喬治·梅森大學軟件工程碩士研究生的軟件測試課上做了第一個嘗試，每學期有30多個計算機科學和軟件工程專業的學生選修這門課程。我們還組織了軟件測試的博士研討會，舉辦了特定方向的短期企業培訓，還為許多本科課程進行了講座。雖然有關軟件測試的本科課程不多，但我們相信不久的將來會有很多。許多關于測試的書并不是用在課堂上的，我們特地寫了這本書來支持課堂教學，因此征本書網站上本書目錄的后面看到我們的測試課程的提綱就不足為奇了。本書采用了許多精心打造的實例來幫助學生和老師學習略顯復雜的概念。教輔資源包括高質量的PPT、演講提示、習題解答和相關軟件。我們的思想是：我們不僅僅是在寫一本書，同時也在為社區提供課程。我們的目標之一是，所寫的內容作為研究文獻有學術性，對于非研究人員也是易于使用的。雖然本書的論述與出自研究論文的資料有些不同，但其本質思想是忠實于文獻的。為了使文章更為通順，我們刪除了論述中的引用。對于那些喜歡追根溯源的研究者，每章最后都有一個參考文獻注釋，它對概念的來源進行了總結。
軟件測試基礎 作者簡介
作者：（美國）阿曼（Paul Ammann） （美國）奧法特（Jeff Offutt） 譯者：郁蓮 等Paul Ammann 在美國維吉尼亞大學獲得計算機科學博士學位，現為喬治·梅森大學軟件工程副教授。他于2007年獲得Volgenau信息技術與工程學院的杰出教學獎。Jeff Offutt在喬治亞理工學院獲得計算機博士學位，現為喬治·梅森大學軟件工程教授。他是《Journal of Software Testing，Verification and Reliability》的主編，是IEEE軟件測試、驗證和確認國際會議指導委員會主席，還是許多期刊的編委。他于2003年獲得喬治·梅森大學Volgenau信息技術與工程學院的優秀教師獎。
書友推薦
- >
巴金－再思錄
- >
經典常談
- >
月亮與六便士
- >
推拿
- >
羅曼·羅蘭讀書隨筆-精裝
- >
【精裝繪本】畫給孩子的中國神話
- >
伯納黛特,你要去哪(2021新版)
- >
史學評論
本類暢銷
