第1部分軟件測(cè)試概述

1、第 1部分 軟件測(cè)試概述,袁玉宇yuanyuyu@263.net yuanyy@cesi.ac.cn yuyu_yuan4@hotmail.com,本部分課程目標(biāo),軟件缺陷的定義軟件缺陷產(chǎn)生的原因軟件測(cè)試的目標(biāo)軟件測(cè)試的特征軟件測(cè)試的數(shù)學(xué)基礎(chǔ),軟件的生命周期,,“臭蟲”的由來(lái),人們將軟件錯(cuò)誤稱為“臭蟲”，這是因?yàn)榈谝粋€(gè)有記載的電腦故障是由線路上的臭蟲造成的。就是我們通常稱的“BUG”。,軟件失敗的術(shù)語(yǔ)描述,缺點(diǎn)（def

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

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

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

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

6、太大輸出結(jié)果太多軟件實(shí)現(xiàn)途徑太多軟件說(shuō)明書沒(méi)有客觀標(biāo)準(zhǔn),軟件測(cè)試是有風(fēng)險(xiǎn)的行為,如果決定不去測(cè)試所有的情況，那就是選擇了風(fēng)險(xiǎn) 。,軟件缺陷的寄生蟲性,找到的軟件缺陷越多，就說(shuō)明軟件缺陷越多,原因：程序員的疲倦程序員往往犯同樣的錯(cuò)誤某些軟件的缺陷其實(shí)是大災(zāi)難的征兆,軟件測(cè)試的殺蟲劑現(xiàn)象,軟件測(cè)試越多，其免疫力越強(qiáng)的現(xiàn)象,克服方法：不斷編寫不同的新的測(cè)試程序?qū)Τ绦虻牟煌糠诌M(jìn)行測(cè)試,軟件測(cè)試的不修復(fù)原則,并非所有軟件缺陷都能

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

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

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

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

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

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

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

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