第1部分軟件測試概述

1、第 1部分 軟件測試概述,袁玉宇yuanyuyu@263.net yuanyy@cesi.ac.cn yuyu_yuan4@hotmail.com,本部分課程目標,軟件缺陷的定義軟件缺陷產生的原因軟件測試的目標軟件測試的特征軟件測試的數(shù)學基礎,軟件的生命周期,,“臭蟲”的由來,人們將軟件錯誤稱為“臭蟲”，這是因為第一個有記載的電腦故障是由線路上的臭蟲造成的。就是我們通常稱的“BUG”。,軟件失敗的術語描述,缺點（def

2、ect) 問題 (problem)謬誤 (fault) 矛盾(inconsistency) 失敗(failure) 偏差(variance)毛病 (incident) 特殊(feature)異常 (anomaly) 錯誤 (error)缺陷(bug),軟件失敗的幾個定義,錯誤：人類會犯錯誤。缺陷：缺陷是錯誤的結果。失效：當缺陷執(zhí)行時會發(fā)生失效。事故：當出現(xiàn)失效時，可能會也可能不會呈現(xiàn)給

3、用戶。,軟件缺陷,軟件未達到產品描述表明的功能。軟件出現(xiàn)了產品描述指明不會出現(xiàn)的錯誤。軟件功能超出產品描述指明范圍。軟件未達到產品描述雖未指出但應達到的目標。軟件測試人員認為軟件難以理解、不易使用、運行速度緩慢，或者最終用戶認為不好。,軟件缺陷的分類,以出現(xiàn)相應錯誤的開發(fā)階段來劃分；以相應失效產生的后果來劃分；以解決難度來劃分；以不解決會產生的風險來劃分；根據(jù)異常出現(xiàn)的頻率來劃分。,軟件缺陷產生的原因,軟件缺陷產生的原因

4、有很多，但最主要的原因要歸咎于產品描述,常見導致錯誤的根源,缺乏有效的溝通，或者沒有進行溝通；軟件復雜度不斷變更的需求時間的壓力缺乏文檔的代碼軟件開發(fā)工具,軟件測試員的目標,發(fā)現(xiàn)軟件缺陷,測試的目標——證明,獲取系統(tǒng)在可接受范圍內可用的信心；嘗試在非正常情況和條件下的功能和特性；保證一個工作產品是完整的并且可用或可被集成。,測試的目標——檢測,發(fā)現(xiàn)缺陷、錯誤和系統(tǒng)不足；定義系統(tǒng)的能力和局限性；提供組件、工作產品和系統(tǒng)的

5、質量信息。,測試的目標——預防,澄清系統(tǒng)的規(guī)格和性能；提供預防或減少可能制造錯誤的信息；在過程中盡早檢測錯誤；確定問題和風險，并且提前確認解決這些問題和風險的途徑。,軟件測試的生命周期,,軟件測試的理解,,軟件測試用例的理解,,黑盒測試技術（功能）,,白盒測試技術（結構）,軟件測試的特征,軟件測試具有一定的風險軟件缺陷的寄生蟲性軟件測試的殺蟲劑現(xiàn)象軟件測試的不修復原則Pareto原則,完全測試程序是不可能的,原因：輸入量

6、太大輸出結果太多軟件實現(xiàn)途徑太多軟件說明書沒有客觀標準,軟件測試是有風險的行為,如果決定不去測試所有的情況，那就是選擇了風險 。,軟件缺陷的寄生蟲性,找到的軟件缺陷越多，就說明軟件缺陷越多,原因：程序員的疲倦程序員往往犯同樣的錯誤某些軟件的缺陷其實是大災難的征兆,軟件測試的殺蟲劑現(xiàn)象,軟件測試越多，其免疫力越強的現(xiàn)象,克服方法：不斷編寫不同的新的測試程序對程序的不同部分進行測試,軟件測試的不修復原則,并非所有軟件缺陷都能

7、修復,不需要修復軟件缺陷的原因：沒有足夠的時間不算真正的軟件缺陷修復的風險太大不值得修復,Pareto原則,Pareto原則暗示著測試發(fā)現(xiàn)的錯誤中的80%很可能起源于程序模塊中的20%。,軟件測試中的誤區(qū),調試和測試是一樣的；測試組應當為保證質量負責；把測試作為新員工的一個過渡工作；關注測試的執(zhí)行而忽略測試的設計；測試自動化是萬能的；測試時枯燥乏味，缺乏創(chuàng)造力的工作。,測試人員的離散數(shù)學,離散數(shù)學包括：集合論、函數(shù)、關

8、系、命題邏輯和概率論。,集合論—集合定義,集合有三種方式定義：簡單列出集合的元素給出辨別規(guī)則通過其他集合構建,集合論—空集,空集采用符號 表示，在集合中占有特殊位置。 空集不包含元素。空集是唯一的，即不會有兩個空集。如果集合被規(guī)則定義為永遠失敗， 那么該集合就是空集。,集合論—集合關系,定義： A是B的子集 A是B的真子集 A是B的相等集合。,集合論—子集劃分,定義：子集劃分由于劃分是一組子集

9、， 因此可以把單個子集看做是劃分的元素。 劃分可以保證完備性和無冗余性。,函數(shù),函數(shù)的定義函數(shù)的定義域與值域函數(shù)的類型函數(shù)的合成,關系—集合之間的關系,集合之間的關系的定義關系的勢的定義關系的參與的定義,關系—單個集合上的關系,關系的四個特殊屬性排序關系的定義等價關系的定義,命題邏輯,命題的定義邏輯操作符邏輯表達式邏輯等價,概率論,事件的概率的定義概率論在測試中的應用,測試人員的圖論,本課程主要介紹：無向圖和有向

10、圖。,圖—圖的定義,定義：圖G=（V,E）有節(jié)點的有限（并且非空）集合V和節(jié)點無需對偶集合E組成。 V={n1,,n2 ,……,nm}和 E={e1, e2,…..,ep}其中每條邊ek={ni,nj} ,ni 、nj∈V。,圖—基本概念,節(jié)點的度圖的關聯(lián)距陣圖的相鄰距陣,圖—路徑,路徑的定義路徑的連接性壓縮圖圈數(shù),有向圖—定義,定義： 有向圖（或框圖）G=（V,E）包含:一個節(jié)點的

11、有限集合V={n1,,n2 ,……,nm}，一個邊的集合E={e1, e2,…..,ep}，其中每條邊ek=〈ni,nj〉是節(jié)點ni 、nj∈V的一個有序對偶。,有向圖—基本概念,內度與外度節(jié)點的類型有向圖的相鄰距陣,有向圖—基本概念,路徑與半路徑可到達性距陣n-連接性強組件,用于測試的圖—程序圖,定義 給定一個采用命令式程序設計語言編寫的程序，其程序圖是一種有向圖，其中： 節(jié)點是程序語句，邊表示控制流（從節(jié)點

12、I到節(jié)點j有一條邊，當且僅當對應節(jié)點j的語句可以立即在節(jié)點I對應的語句之后執(zhí)行。,用于測試的圖—程序圖,用于測試的圖—有限狀態(tài)機,定義 有限狀態(tài)機是一種有向圖，其中狀態(tài)是節(jié)點，轉移是邊。源狀態(tài)和吸收狀態(tài)是初始節(jié)點和終止節(jié)點，路徑被建模為通路。大多數(shù)有限狀態(tài)機表示方法都要為邊（轉移）增加信息，已指示轉移的原因合作為轉移的結果要發(fā)生的行動。,用于測試的圖—有限狀態(tài)機,用于測試的圖—Petri網(wǎng),定義 Petri網(wǎng)是一種雙向有向圖（

13、P,T,In,Out),其中，P和T是不相交的節(jié)點集合，In和Out是邊集合，In c PXT,Out c TXP。,用于測試的圖—Petri網(wǎng),用于測試的圖—Petri網(wǎng),用于測試的圖—Petri網(wǎng),用于測試的圖—Petri網(wǎng),用于測試的圖—事件驅動的Petri網(wǎng),定義 EDPN是一種多向圖（P,D,S,In,Out),包括三個節(jié)點集合P、D和S，以及兩個映射集合In和Out。其中：P是端口事件的集合；D是數(shù)據(jù)地點的集合；S

14、是轉移的集合；In是（P∪D）XS的有序對偶集合；Out是SX P∪ D）的有序對偶集合。,事件驅動的Petri網(wǎng)示例,用于測試的圖—狀態(tài)圖,狀態(tài)圖是將為維恩圖描述層次結構的能力以及有向圖描述有向連接性的能力結合在一起，開發(fā)出一種可視化表示法。,狀態(tài)圖的團點,狀態(tài)圖中的初始狀態(tài),進入子狀態(tài)的默認入口,,并發(fā)狀態(tài),,,小結,軟件及軟件生命周期軟件缺陷及產生原因軟件缺陷的生命周期軟件測試的目的軟件測試的特征及誤區(qū)軟件測試所用到數(shù)學