軟件測試

前言

隨著計算機應用領域的日益擴大，計算機系統(tǒng)的規(guī)模和復雜性急劇增加，軟件開發(fā)成本及由于軟件故障而造成的經(jīng)濟損失也正在增加，軟件質(zhì)量問題已成為人們關注的焦點。軟件測試是對軟件需求分析、設計規(guī)格說明和編碼的最終評審，是保證軟件質(zhì)量的關鍵步驟，是為了發(fā)現(xiàn)故障而執(zhí)行程序的過程。軟件系統(tǒng)規(guī)模和復雜性的增加，使得軟件企業(yè)必須重視和加強軟件測試工作。據(jù)統(tǒng)計，在歐美的軟件項目中，軟件測試的工作量已占到項目總工作量的40％以上。國外的成熟軟件企業(yè)中，軟件開發(fā)人員與測試人員的比例約為l：2；而國內(nèi)軟件企業(yè)中，平均8個軟件開發(fā)工程師才配備1個軟件測試工程師，比例嚴重失衡，軟件測試人才緊缺的現(xiàn)狀已經(jīng)凸顯出來。為適應我國軟件產(chǎn)業(yè)的飛速發(fā)展，培養(yǎng)更多、更專業(yè)的軟件測試技術人員，我們在多年從事軟件測試技術研究、實踐和教學的基礎上，結(jié)合當前軟件測試技術的最新發(fā)展動態(tài)，編寫了本書，旨在為普及我國的軟件測試技術盡自己一份微薄的力量。本書根據(jù)“軟件測試”課程的教學需要，結(jié)合未來的職業(yè)需要和定位，綜合考慮了軟件故障分類、軟件測試的停止標準、軟件測試與開發(fā)的關系、測試方法的選擇、測試環(huán)境的搭建、測試計劃的制訂、軟件生存周期各階段的測試任務和可交付的文檔、主流測試工具的選擇和使用、軟件測試職業(yè)指導等方面，力求突出軟件測試技術的基本概念和基本方法；同時注重理論與實踐結(jié)合，重點講解如何選擇有效的軟件測試方法，如何快速地找出軟件中存在的故障，如何清楚地報告發(fā)現(xiàn)的軟件問題，以有助于讀者掌握軟件測試的基本技術并能應用到具體實踐中。此外，我們將多年在軟件測試技術領域積累的資源，整理成附錄，給出了主要的：IEEE／ANSI軟件測試標準、一些著名的軟件測試國際／國內(nèi)會議和期刊，為讀者提供了大量的軟件測試信息資源。全書共分為12章。第1章介紹軟件測試的發(fā)展歷史和現(xiàn)狀；第2章介紹軟件測試的基本概念及涉及的關鍵問題；第3章介紹基本的軟件測試策略；第4章介紹常用的黑盒測試方法；第5章介紹常用的白盒測試方法；第6章介紹單元測試、集成測試和系統(tǒng)測試的任務和測試用例設計思路；第7章介紹基本的驗證方法和確認測試策略；第8章介紹軟件生存周期各階段的測試任務與可交付的文檔；第9章簡單介紹面向?qū)ο筌浖y試與傳統(tǒng)軟件測試的區(qū)別，以及面向?qū)ο筌浖臏y試技術；第10章通過兩個實例說明如何針對具體問題，選擇測試方法和設計測試用例；第11章簡單介紹目前市場上的主流測試工具，詳細介紹了一款業(yè)界常用的白金測試工具——DevPartner；第12章簡單介紹軟件質(zhì)量保證及優(yōu)秀軟件測試工程師應具備的素質(zhì)。本書的建議學時為56-64學時，其中實踐教學建議為16學時左右，帶星號(，-)的章節(jié)為可選內(nèi)容。具體學時分配見下表。

內(nèi)容概要

　　《普通高等教育“十一五”國家級規(guī)劃教材：軟件測試》系統(tǒng)地介紹了軟件測試的基本概念、常用方法、基本流程、測試工具及測試過程中所涉及的文檔資料，重點介紹了黑盒測試和白盒測試方法，并以實例說明了測試方法的選取及測試用例的設計思想，最后簡單介紹了面向?qū)ο蟮能浖y試、軟件質(zhì)量保證以及軟件測試職業(yè)指導等?！　　镀胀ǜ叩冉逃笆晃濉眹壹壱?guī)劃教材：軟件測試》力求突出軟件測試技術的基本概念和基本方法，注重理論與實踐結(jié)合，重點講解如何選擇有效的軟件測試方法，如何快速地找出軟件中存在的故障，如何清楚地報告發(fā)現(xiàn)的軟件問題，以有助于讀者掌握軟件測試的基本技術并能應用到具體實踐中。此外，書中還給出了主要的IEEE/NsI軟件測試標準、主要的軟件測試國際會議和期刊，為讀者提供了大量的軟件測試信息資源?！　　镀胀ǜ叩冉逃笆晃濉眹壹壱?guī)劃教材：軟件測試》結(jié)構(gòu)清晰，內(nèi)容豐富，可作為普通高等院校、高職高專院校計算機相關專業(yè)“軟件測試”課程的教學用書，也適合對軟件測試感興趣的讀者使用，同時對希望增強知識并了解軟件測試的開發(fā)人員、管理人員和質(zhì)量保證人員也具有一定的指導意義。

書籍目錄

開始之前 第1章 緒論 1.1 計算機系統(tǒng)中軟件的可靠性問題 1.2 軟件測試與軟件可靠性 1.3 軟件測試的發(fā)展歷史、現(xiàn)狀和展望 小結(jié) 習題 第2章 軟件測試基礎 2.1 軟件測試的基本概念 2.1.1 軟件測試的目的 2.1.2 軟件測試的定義 2.1.3 軟件測試涉及的關鍵問題 2.1.4 軟件測試與軟件質(zhì)量保證 2.2 軟件故障 2.2.1 故障的定義 2.2.2 軟件故障的分類 2.2.3 軟件故障的修復代價 2.3 測試的復雜性與經(jīng)濟性 2.4 測試的充分性問題 2.5 測試原則 2.6 停止測試的標準 2.6.1 五類常用的停止測試標準 2.6.2 第四類停止測試標準 小結(jié) 習題 第3章 軟件測試策略 3.1 軟件開發(fā)過程及模型 3.1.1 軟件開發(fā)過程 3.1.2 軟件開發(fā)模型 3.2 軟件測試過程 3.2.1 單元測試 3.2.2 集成測試 3.2.3 確認測試 3.2.4 系統(tǒng)測試 3.2.5 驗收測試 3.3 軟件測試與軟件開發(fā)的關系 3.3.1 軟件測試過程模型 3.3.2 軟件測試生存周期 3.4 黑盒測試與白盒測試 3.4.1 黑盒測試 3.4.2 白盒測試 3.4.3 黑盒測試與白盒測試的比較 3.4.4 灰盒測試 3.5 靜態(tài)測試與動態(tài)測試 3.6 驗證測試與確認測試 3.7 回歸測試和隨機測試 3.7.1 回歸測試 3.7.2 隨機測試 3.8 軟件測試方法的分類及選擇 3.8.1 軟件測試方法的分類 3.8.2 軟件測試方法的選擇 3.9 測試環(huán)境的搭建 小結(jié) 習題 第4章 黑盒測試 4.1 3個被測程序 4.1.1 三角形問題 4.1.2 NextDate函數(shù) 4.1.3 傭金問題 4.2 等價類劃分測試 4.2.1 等價類劃分 4.2.2 常見的等價類劃分測試形式 4.2.3 等價類劃分測試舉例 4.2.4 等價類劃分測試的指導方針 4.3 邊界值分析 4.3.1 邊界條件 4.3.2 次邊界條件 4.3.3 邊界值分析測試 4.3.4 穩(wěn)健性測試 4.3.5 邊界值分析舉例 4.3.6 邊界值分析的局限性 4.4 決策表測試 4.4.1 決策表 4.4.2 決策表在黑盒測試中的應用· 4.4.3 決策表測試的指導方針 4.5 其他黑盒測試方法 4.5.1 因果圖 4.5.2 特殊值測試 4.5.3 故障猜測法 4.6 黑盒測試的效率 小結(jié) 習題 第5章 白盒測試 5.1 程序控制流圖 5.2 邏輯覆蓋測試 5.2.1 語句覆蓋 5.2.2 判定覆蓋 5.2.3 條件覆蓋 5.2.4 判定／條件覆蓋 5.2.5 路徑覆蓋 5.3 路徑分析與測試 5.3.1 程序路徑表示 5.3.2 程序中線性獨立路徑數(shù)的計算 5.3.3 Z路徑覆蓋 5.3.4 獨立路徑測試及測試用例生成 5.4 數(shù)據(jù)流測試 5.4.1 數(shù)據(jù)流分析 5.4.2 定義和使用測試 5.5 符號測試 5.6 域測試策略 5.7 程序變異 5.7.1 程序強變異 5.7.2 程序弱變異 5.8 程序插裝 小結(jié) 習題 第6章 軟件測試技術 6.1 單元測試 6.1.1 單元測試的任務 6.1.2 單元測試的環(huán)境 6.1.3 單元測試的策略 6.1.4 單元測試用例的設計 6.2 集成測試 6.2.1 集成測試概述 6.2.2 集成測試與單元測試的區(qū)別 6.2.3 集成測試的策略 6.2.4 集成測試用例的設計 6.3 系統(tǒng)測試 6.3.1 系統(tǒng)測試的任務 …… 第7章 驗證測試和確認測試 第8章 測試計劃與測試文檔 第9章 面向?qū)ο蟮能浖y試 第10章 軟件測試實例分析 第11章 軟件測試自動化和測試工具 第12章 軟件質(zhì)量保證及測試職業(yè)指導 附錄A 軟件工程和軟件測試標準 附錄B 軟件測試會議和期刊 參考文獻 參考網(wǎng)站

章節(jié)摘錄

版權頁：   插圖：   5.7.2程序弱變異 程序弱變異也是一種變異方法，其目標仍然是要查出某一類故障。其主要思想是，假設P是一個程序，C是P的一個簡單組成部分。若有一變異變換作用于C而生成了C′，如果P′是含有C′的P的變異體，弱變異是要設計測試數(shù)據(jù)，使得當P在該測試數(shù)據(jù)下運行時，C被執(zhí)行，且至少在一次執(zhí)行中，C產(chǎn)生的值與C′不同。 由此可以看出，弱變異是一種只對被測程序進行測試的變異方法，它強調(diào)變動程序的組成部分，根據(jù)弱變異準則，只要能夠設計出使C與C′產(chǎn)生不同值的測試數(shù)據(jù)，就可將被測程序在這些測試數(shù)據(jù)上運行，并不需要實際產(chǎn)生其變異體。 實現(xiàn)弱變異的關鍵是，確定程序P的組成部分以及與其相關的變換。組成部分可以是程序中的計算結(jié)構(gòu)、變量定義與引用、算術表達式、關系表達式及布爾表達式等。其中一個組成部分可以是另一個組成部分的一部分。最基本的程序組成部分有：變量引用、變量定義、算術表達式、關系表達式和布爾表達式。其中布爾表達式可以包含關系表達式，關系表達式又可以包含算術表達式，布爾表達式、關系表達式和算術表達式可以包含變量定義和變量引用。下面分別進行簡單討論。 （1）變量定義 變量定義是指給變量賦以新值。例如，在語句A=B中，變量A被賦予新值B，該語句被稱為變量定義組成部分。 變量定義的弱變異使被定義的變量變?yōu)榱硪蛔兞?。如在語句A=B中，使變量A變?yōu)榱硪怀绦蜃兞緿，則語句變?yōu)镈=B。假設V是程序P中變量定義組成部分C的一個被定義變量，C′是C的一個變換。要使C和C′產(chǎn)生不同的值，必須設計測試數(shù)據(jù)，使程序執(zhí)行到C前V的值與C執(zhí)行后V的值不一致。否則，即便C的定義是錯誤定義，因v的值沒有變化，因而不容易查出這一錯誤。 （2）變量引用 變量引用是指變量值的使用。如對于語句： A=B+A變量B被引用，變量A則先被引用，繼而又被定義。再如語句IF（A>B）中，A、B的值均被引用，這些語句是變量引用組成部分。 變量引用的弱變異使被引用的變量變?yōu)榱硪蛔兞?。例如，在語句A=B+A中，使B變?yōu)榱硪怀绦蜃兞緿，則語句變?yōu)锳=D+A。假設V是程序P中變量引用部分C的一個被引用變量，C′是C的一個變換。要保證C和C′在測試數(shù)據(jù)上執(zhí)行時產(chǎn)生的值不同，要求程序執(zhí)行到C時，所有程序變量的值都與V的值不同。這是因為，若組成部分C為A=V，變換C為A=W。如果執(zhí)行到C時，W的值與V相等，那么這組測試數(shù)據(jù)就查不出此變量的引用錯誤。

編輯推薦

《普通高等教育"十一五"國家級規(guī)劃教材:軟件測試》結(jié)構(gòu)清晰，內(nèi)容豐富，可作為普通高等院校、高職高專院校計算機相關專業(yè)“軟件測試”課程的教學用書，也適合對軟件測試感興趣的讀者使用，同時對希望增強知識并了解軟件測試的開發(fā)人員、管理人員和質(zhì)量保證人員也具有一定的指導意義。

圖書封面

評論、評分、閱讀與下載

---

    軟件測試 PDF格式下載

---