軟件測試︰概念與實踐

軟件測試︰概念與實踐
定價:270
NT $ 235
 

內容簡介

本書系統地講述軟件測試的基本概念、理論和方法,及其在工程實踐中的應用。本書中,軟件測試的概念作為軟件開發過程中每個階段的一個有機組成部分進行講述,而不是像傳統方式那樣把軟件測試作為獨立的、位于軟件實現之後的一項活動。書中每一章的開始都給出一組預期要達到的目標,以方便讀者閱讀;每一章的結尾都給出相關的參考文獻,以方便讀者進行深入學習。

本書適用于高等院校的計算機專業本科及碩士生閱讀,可作為軟件測試課程教材。書中闡述了軟件測試研究和實踐領域的實用內容,可供軟件測試領域的研究者和工程實踐人員閱讀參考。
 

目錄

第一章 軟件測試基礎
本章目標
1.1 簡介
1.2 軟件測試概述
1.2.1 相關術語
1.2.2 對測試的誤解
1.2.3 軟件測試的目標
1.2.4 挑戰和問題
1.3 實施有效的軟件測試
1.4 軟件測試類型
1.5 軟件測試原則
1.6 測試與調試
1.7 小結
習題
參考文獻
相關鏈接
第二章 軟件可測試性
本章目標
2.1 簡介
2.2 可測試性的定義
2.3 提高可測試性的要素
2.3.1 內部要素
2.3.2 外部要素
2.3.3 環境要素
2.4 可測試性等級
2.5 可測試性評價
2.6 可測試性分析
2.6.1 可測試性設計
2.6.2 可測試性增強
2.7 可測試性的綜合考慮
2.8 可測試性與面向對象軟件質量
2.8.1 質量要素
2.8.2 設計特征
2.8.3 質量要素與設計特征的關系
2.9 小結
習題
參考文獻
相關鏈接
第三章 靜態測試
本章目標
3.1 簡介
3.2 靜態測試的原則
3.3 靜態測試方法分類
3.3.1 一般方法
3.3.2 靜態測試分類
3.4 人工測試技術
3.4.1 走查
3.4.2 正式評審
3.4.3 審查
3.5 自動測試技術

3.5.1 語法分析器
3.5.2 靜態驗證
3.5.3 符號執行
3.6 靜態測試與動態測試的比較
3.7 小結
習題
參考文獻
相關鏈接
第四章 黑盒測試
本章目標
4.1 簡介
4.2 黑盒測試技術
4.3 等價類劃分法
4.3.1 範圍和前景
4.3.2 測試用例生成
4.4 邊界值分析法
4.4.1 範圍和前景
4.4.2 測試用例生成
4.5 健壯性測試
4.5.1 範圍和前景
4.5.2 測試用例生成
4.6 語法測試
4.6.1 範圍和前景
4.6.2 測試用例生成
4.7 有窮狀態測試
4.7.1 範圍和前景
4.7.2 測試用例生成
4.8 小結
習題
參考文獻
相關鏈接
第五章 白盒測試
本章目標
5.1 簡介
5.2 白盒測試技術
5.3 白盒建模
5.4 基本路徑測試
5.4.1 範圍和前景
5.4.2 測試用例生成
5.5 控制結構測試
5.5.1 範圍和前景
5.5.2 測試用例生成
5.6 變異測試
5.6.1 範圍和前景
5.6.2 測試用例生成
5.7 灰盒測試
5.7.1 範圍和前景
5.7.2 測試用例生成
5.8 小結
習題
參考文獻
相關鏈接
第六章 軟件測試策略
本章目標
6.1 簡介
6.2 測試策略考慮的問題
6.3 測試策略的前提
6.4 常用軟件測試策略
6.4.1 單元測試
6.4.2 集成測試
6.4.3 確認測試
6.4.4 系統測試
6.4.5 回歸測試
6.5 測試結束條件
6.6 軟件構件測試
6.7 實時系統測試
6.8 軟件測試模型
6.8.1 V-模型
6.8.2 W-模型
6.8.3 B-模型
6.9 小結
習題
參考文獻
相關鏈接
第七章 軟件測試計劃
本章目標
7.1 簡介
7.2 測試計劃規格說明
7.3 測試計劃的層次
7.4 制訂測試計劃
7.4.1 相關要素
7.4.2 可測試性評價
7.5 主測試計劃
7.6 階段性測試計劃
7.6.1 接收測試計劃
7.6.2 系統測試計劃
7.6.3 集成測試計劃
7.6.4 單兀測試計劃
7.7 小結
習題
參考文獻
相關鏈接
第八章 面向對象測試
本章目標
8.1 簡介
8.2 面向對象方法
8.2.1 對象
8.2.2 類
8.2.3 特點
8.3 面向對象產生的影響
8.4 相關問題
8.5 面向對象測試模型
8.6 面向對象軟件測試策略
8.7 需求測試
8.8 設計測試
8.9 單元測試
8.10 集成測試
8.11 系統測試
8.12 小結
習題
參考文獻
相關鏈接
第九章 軟件容錯
本章目標
9.1 簡介
9.2 軟件容錯的用途
9.3 軟件失效
9.4 軟件容錯的原則
9.5 軟件容錯技術
9.6 基于故障的測試方法
9.7 小結
習題
參考文獻
相關鏈接
第十章 變異測試
本章目標
10.1 簡介
10.2 結構化變異
10.3 面向對象變異
10.4 小結
習題
參考文獻
相關鏈接
第十一章 類測試的復雜性
本章目標
11.1 簡介
11.2 類級別測試
11.3 類的度量
11.4 面向對象度量的現狀
11.5 度量套集
11.6 基于類圖的度量計算
11.7 實例檢驗
11.8 統計分析
11.9 實例解釋
11.10 小結
習題
參考文獻
相關鏈接
 

在開發人員和測試人員看來,軟件測試是非常有趣且不同尋常的一件事。軟件中的缺陷曾經導致飛機失事、空間飛行器任務失敗、股票交易所暫停,乃至危及生命等各種災難。因此,軟件測試至關重要。例如,針對千年蟲(Y2K)問題出現了大量的專業人員和專門工具,以避免現代社會在下個千年到來的第一天陷入混亂之中。軟件調試可以用來尋找設計缺陷,但它只是軟件測試的一個局部表現。軟件測試活動在可信軟件的開發中扮演著重要角色,它需要耗費大量的資源,包括時間、資金和人力。軟件測試的困難源于軟件本身的復雜性,即使一個中等復雜度的軟件都很難被完全測試。軟件測試是軟件開發過程的一個組成部分,它耗費了軟件開發過程中約40%的付出。因此,亟須當今的軟件工程師深入理解軟件測試,而不是僅僅盼望著他們在花費極高的實踐代價後,通過經驗積累來掌握軟件測試。

主要特點

本書主要關注工程實踐中的軟件質量及保證,以滿足讀者的需要。與其他書籍相比,本書的主要特點包括︰

(1)讀者範圍廣泛。不像其他軟件測試書籍主要以軟件測試從業者為目標,本書在開始撰寫時定位的目標讀者就包括了學生、研究人員和工程應用人員。

(2)拓展軟件測試理念。在本書中,將軟件測試看做是各階段中一個必不可少的活動,而不是僅僅作為單獨的、在開發後實施的活動。

(3)通過制訂目標來引導學習。書中每一章首先給出一組預期要達到的目標,以便讀者在學習過程中確定正確的方向。

(4)習題。每一章之後都給出一系列習題,其中包括了客觀題、簡答題和啟發性論述題三種類型。

(5)參考文獻。每章之後針對該章中的概念給出一些重要的參考文獻,以便讀者獲得與所學內容相關的更多、更深入的信息。

(6)相關鏈接。每章之後給出相應的網址列表,以便讀者查找相關主題的更多資料。

本書結構

本書共分為十一章,具體組織如下︰

第一章︰軟件測試基礎

本章講述軟件開發過程中測試以及軟件測試的重要性與意義,定義了軟件測試的目標、特性、構成和類型,確立了軟件測試在軟件質量保證中的角色,闡述了軟件測試與軟件可靠性之間的關系,列舉了軟件測試中需要考慮的因素,說明了軟件測試的許多特點,並給出軟件測試定義的不同觀點。

第二章︰軟件可測試性

本章把軟件可測試性作為軟件質量中的一個重要因素進行講述,說明了軟件可測試性度量的重要性和意義,闡述了軟件可測試性度量所要考慮的各種軟件特征,描述了軟件可測試性因素及其作用。

第三章︰靜態測試

本章講述了軟件測試策略的重要性和意義,通過描述軟件驗證和確認過程的相關因素,定義了軟件測試的方法策略。此外,本章給出了靜態分析的各種原理,以及在軟件測試中執行走查和審查的過程。最後說明了軟件測試中技術評審的重要性和意義。

第四章︰黑盒測試

本章闡述了在項目中使用黑盒測試的好處,列出了黑盒測試技術的優缺點,給出邊界值分析法的目標與能力,並定義了邊界條件。此外,本章討論了健壯性測試、語法測試和有窮狀態測試。

第五章︰白盒測試

本章介紹了白盒測試技術,闡述了基本路徑測試的重要性和主要方法。進一步討論了控制流圖的角色和目標,說明了軟件測試中使用圖矩陣的好處,並定義了控制結構測試。此外,還介紹了測試面向對象軟件時使用的變異測試方法。

第六章︰軟件測試策略

本章主要講述了常見的軟件測試策略,闡述了測試策略的重要性和意義。進一步描述了軟件測試策略的一般特征,以及單元測試、集成測試、確認測試和系統測試等不同策略的用途。此外,給出了測試完成的準則,最後說明了軟件構件測試的重要性和意義。

第七章︰軟件測試計劃

本章講述了測試軟件之前建立軟件測試計劃、測試規範中文檔化的重要性。此外,詳細討論了測試成功的標準,以及如何確定哪些方面需要測試而哪些不需要測試。最後列出了測試需要交付的相關文檔和產品。

第八章︰面向對象測試

本章介紹了面向對象技術和面向對象軟件測試方法的重要性和意義,描述了對軟件測試和軟件質量起到重要作用的軟件特征。討論了面向對象軟件測試的原理,給出面向對象方法和傳統方法的主要不同之處。

第九章︰軟件容錯

本章講述了容錯的概念、重要性和意義,並對軟件失效進行了定義和描述。介紹了錯誤檢測中各種檢測方法的相關因素,描述了不同的軟件容錯方法。此外,對軟件錯誤檢測的不同看法與觀點也進行了介紹。

第十章︰變異測試

本章主要講述在軟件開發生命周期的早期,對面向對象軟件進行變異測試的重要性和意義。另外,對設計階段的變異進行了定義,給…測試數據集的充分性評價方法,並闡述了在評價軟件測試充分性時進行變異操作的重要性。

第十一章︰類測試的復雜性

本章主要講述面向對象的度量,並指出在早期使用sDLC進行度量是對軟件開發進行成功管理的重要因素,也是降低類測試復雜性和成本的主要因素。本章還給出了一組度量準則,用來預測面向對象軟件類測試的復雜性,並進一步介紹了利用回歸線來描述軟件特征與復雜度之間相關性的方法。
網路書店 類別 折扣 價格
  1. 新書
    87
    $235