軟件測試的目標(1)

1、第 1部分 軟件測試概述1本部分課程目標軟件缺陷的定義軟件缺陷產生的原因軟件測試的目標軟件測試的特征軟件測試的數(shù)學基礎2軟件的生命周期需求規(guī)格說明概要設計詳細設計系統(tǒng)測試集成測試單元測試編碼3“臭蟲”的由來 人們將軟件錯誤稱為“臭蟲”，這是因為第一個有記載的電腦故障是由線路上的臭蟲造成的。就是我們通常稱的“BUG”。4軟件失敗的術語描述缺點（defect) 問題 (problem)謬誤 (fault) 矛盾(inconsistency) 失敗(failure) 偏差(variance)毛病 (incident) 特殊(feature)異常 (anomaly) 錯誤 (error)缺陷(bug)

2、5軟件失敗的幾個定義錯誤：人類會犯錯誤。缺陷：缺陷是錯誤的結果。失效：當缺陷執(zhí)行時會發(fā)生失效。事故：當出現(xiàn)失效時，可能會也可能不會呈現(xiàn)給用戶。6軟件缺陷軟件未達到產品描述表明的功能。軟件出現(xiàn)了產品描述指明不會出現(xiàn)的錯誤。軟件功能超出產品描述指明范圍。軟件未達到產品描述雖未指出但應達到的目標。軟件測試人員認為軟件難以理解、不易使用、運行速度緩慢，或者最終用戶認為不好。7軟件缺陷的分類以出現(xiàn)相應錯誤的開發(fā)階段來劃分；以相應失效產生的后果來劃分；以解決難度來劃分；以不解決會產生的風險來劃分；根據(jù)異常出現(xiàn)的頻率來劃分。8軟件缺陷產生的原因軟件缺陷產生的原因有很多，但最主要的原因要歸咎于產品描述9常見導

3、致錯誤的根源缺乏有效的溝通，或者沒有進行溝通；軟件復雜度不斷變更的需求時間的壓力缺乏文檔的代碼軟件開發(fā)工具10軟件測試員的目標發(fā)現(xiàn)軟件缺陷11測試的目標證明獲取系統(tǒng)在可接受范圍內可用的信心；嘗試在非正常情況和條件下的功能和特性；保證一個工作產品是完整的并且可用或可被集成。12測試的目標檢測發(fā)現(xiàn)缺陷、錯誤和系統(tǒng)不足；定義系統(tǒng)的能力和局限性；提供組件、工作產品和系統(tǒng)的質量信息。13測試的目標預防澄清系統(tǒng)的規(guī)格和性能；提供預防或減少可能制造錯誤的信息；在過程中盡早檢測錯誤；確定問題和風險，并且提前確認解決這些問題和風險的途徑。14軟件測試的生命周期需求規(guī)格說明設計缺陷分類缺陷解決缺陷隔離測試編碼錯誤

4、錯誤錯誤錯誤修復事故缺陷缺陷缺陷15軟件測試的理解規(guī)格說明（預期的）程序（觀察的）SP16軟件測試用例的理解7規(guī)格說明（預期的）程序（觀察的）SPT8215643測試用例（已檢驗）17黑盒測試技術（功能）規(guī)格說明（預期的）程序（觀察的）SP測試用例18白盒測試技術（結構）規(guī)格說明（預期的）程序（觀察的）SP測試用例19軟件測試的特征軟件測試具有一定的風險軟件缺陷的寄生蟲性軟件測試的殺蟲劑現(xiàn)象軟件測試的不修復原則Pareto原則20完全測試程序是不可能的原因：輸入量太大輸出結果太多軟件實現(xiàn)途徑太多軟件說明書沒有客觀標準21軟件測試是有風險的行為 如果決定不去測試所有的情況，那就是選擇了風險 。2

5、2軟件缺陷的寄生蟲性找到的軟件缺陷越多，就說明軟件缺陷越多原因：程序員的疲倦程序員往往犯同樣的錯誤某些軟件的缺陷其實是大災難的征兆23軟件測試的殺蟲劑現(xiàn)象軟件測試越多，其免疫力越強的現(xiàn)象克服方法：不斷編寫不同的新的測試程序對程序的不同部分進行測試24軟件測試的不修復原則并非所有軟件缺陷都能修復不需要修復軟件缺陷的原因：沒有足夠的時間不算真正的軟件缺陷修復的風險太大不值得修復25Pareto原則 Pareto原則暗示著測試發(fā)現(xiàn)的錯誤中的80%很可能起源于程序模塊中的20%。26軟件測試中的誤區(qū)調試和測試是一樣的；測試組應當為保證質量負責；把測試作為新員工的一個過渡工作；關注測試的執(zhí)行而忽略測試的

6、設計；測試自動化是萬能的；測試時枯燥乏味，缺乏創(chuàng)造力的工作。27測試人員的離散數(shù)學離散數(shù)學包括：集合論、函數(shù)、關系、命題邏輯和概率論。28集合論集合定義集合有三種方式定義：簡單列出集合的元素給出辨別規(guī)則通過其他集合構建29集合論空集空集采用符號 表示，在集合中占有特殊位置。 空集不包含元素?？占俏ㄒ坏模床粫袃蓚€空集。如果集合被規(guī)則定義為永遠失敗， 那么該集合就是空集。30集合論集合關系定義： A是B的子集 A是B的真子集 A是B的相等集合。31集合論子集劃分定義：子集劃分由于劃分是一組子集， 因此可以把單個子集看做是劃分的元素。 劃分可以保證完備性和無冗余性。32函數(shù)函數(shù)的定義函數(shù)的定義

7、域與值域函數(shù)的類型函數(shù)的合成33關系集合之間的關系集合之間的關系的定義關系的勢的定義關系的參與的定義34關系單個集合上的關系關系的四個特殊屬性排序關系的定義等價關系的定義35命題邏輯命題的定義邏輯操作符邏輯表達式邏輯等價36概率論事件的概率的定義概率論在測試中的應用37測試人員的圖論本課程主要介紹：無向圖和有向圖。38圖圖的定義定義：圖G=（V,E）有節(jié)點的有限（并且非空）集合V和節(jié)點無需對偶集合E組成。 V=n1,n2 ,nm和 E=e1, e2,.,ep其中每條邊ek=ni,nj ,ni 、njV。39圖基本概念節(jié)點的度圖的關聯(lián)距陣圖的相鄰距陣40圖路徑路徑的定義路徑的連接性壓縮圖圈數(shù)41

8、有向圖定義定義： 有向圖（或框圖）G=（V,E）包含:一個節(jié)點的有限集合V=n1,n2 ,nm，一個邊的集合E=e1, e2,.,ep，其中每條邊ek=ni,nj是節(jié)點ni 、njV的一個有序對偶。 42有向圖基本概念內度與外度節(jié)點的類型有向圖的相鄰距陣43有向圖基本概念路徑與半路徑可到達性距陣n-連接性強組件44用于測試的圖程序圖定義 給定一個采用命令式程序設計語言編寫的程序，其程序圖是一種有向圖，其中： 節(jié)點是程序語句，邊表示控制流（從節(jié)點I到節(jié)點j有一條邊，當且僅當對應節(jié)點j的語句可以立即在節(jié)點I對應的語句之后執(zhí)行。45用于測試的圖程序圖46用于測試的圖有限狀態(tài)機定義 有限狀態(tài)機是一種有

9、向圖，其中狀態(tài)是節(jié)點，轉移是邊。源狀態(tài)和吸收狀態(tài)是初始節(jié)點和終止節(jié)點，路徑被建模為通路。大多數(shù)有限狀態(tài)機表示方法都要為邊（轉移）增加信息，已指示轉移的原因合作為轉移的結果要發(fā)生的行動。47用于測試的圖有限狀態(tài)機48用于測試的圖Petri網(wǎng)定義 Petri網(wǎng)是一種雙向有向圖（P,T,In,Out),其中，P和T是不相交的節(jié)點集合，In和Out是邊集合，In c PXT,Out c TXP。49用于測試的圖Petri網(wǎng)50用于測試的圖Petri網(wǎng)51用于測試的圖Petri網(wǎng)52用于測試的圖Petri網(wǎng)53用于測試的圖事件驅動的Petri網(wǎng)定義 EDPN是一種多向圖（P,D,S,In,Out),包括三個節(jié)點集合P、D和S，以及兩個映射集合In和Out。其中：P是端口事件的集合；D是數(shù)據(jù)地點的集合；S是轉移的集合；In是（PD）XS的有序對偶集合；Out是SX P D）的有序對偶集合。54事件驅動的Petri網(wǎng)示例55用于測試的圖狀態(tài)圖狀態(tài)圖是將為維恩圖描述層次結構的能力以及有向圖描述有