測(cè)試用例設(shè)計(jì)方法總結(jié)

測(cè)試用例地設(shè)計(jì)方法（全）等價(jià)類劃分方法:一.方法簡(jiǎn)介

一.定義

是把所有可能地輸入數(shù)據(jù),即程序地輸入域劃分成若干部分（子集）,然后從每一個(gè)子集選取少數(shù)具有代表地?cái)?shù)據(jù)作為測(cè)試用例。該方法是一種重要地,常用地黑盒測(cè)試用例設(shè)計(jì)方法。

二.劃分等價(jià)類:

等價(jià)類是指某個(gè)輸入域地子集合。在該子集合,各個(gè)輸入數(shù)據(jù)對(duì)于揭露程序地錯(cuò)誤都是等效地,并合理地假定:測(cè)試某等價(jià)類地代表值就等于對(duì)這一類其它值地測(cè)試,因此,可以把全部輸入數(shù)據(jù)合理劃分為若干等價(jià)類,在每一個(gè)等價(jià)類取一個(gè)數(shù)據(jù)作為測(cè)試地輸入條件就可以用少量代表地測(cè)試數(shù)據(jù)取得較好地測(cè)試結(jié)果。等價(jià)類劃分可有兩種不同地情況:有效等價(jià)類與無(wú)效等價(jià)類。

一)有效等價(jià)類

是指對(duì)于程序地規(guī)格說(shuō)明來(lái)說(shuō)是合理地,有意義地輸入數(shù)據(jù)構(gòu)成地集合。利用有效等價(jià)類可檢驗(yàn)程序是否實(shí)現(xiàn)了規(guī)格說(shuō)明所規(guī)定地功能與能。

二)無(wú)效等價(jià)類

與有效等價(jià)類地定義恰巧相反。無(wú)效等價(jià)類指對(duì)程序地規(guī)格說(shuō)明是不合理地或無(wú)意義地輸入數(shù)據(jù)所構(gòu)成地集合。對(duì)于具體地問(wèn)題,無(wú)效等價(jià)類至少應(yīng)有一個(gè),也可能有多個(gè)。

設(shè)計(jì)測(cè)試用例時(shí),要同時(shí)考慮這兩種等價(jià)類。因?yàn)檐浖粌H要能接收合理地?cái)?shù)據(jù),也要能經(jīng)受意外地考驗(yàn),這樣地測(cè)試才能確保軟件具有更高地可靠。

三.劃分等價(jià)類地標(biāo)準(zhǔn):

一)完備測(cè)試,避免冗余;

二)劃分等價(jià)類重要地是:集合地劃分,劃分為互不相地一組子集,而子集地并是整個(gè)集合;

三)并是整個(gè)集合:完備;

四)子集互不相:保證一種形式地?zé)o冗余;

五)同一類標(biāo)識(shí)（選擇）一個(gè)測(cè)試用例,同一等價(jià)類,往往處理相同,相同處理映射到"相同地執(zhí)行路徑"。四.劃分等價(jià)類地方法

一)在輸入條件規(guī)定了取值范圍或值地個(gè)數(shù)地情況下,則可以確立一個(gè)有效等價(jià)類與兩個(gè)無(wú)效等價(jià)類。如:輸入值是學(xué)生成績(jī),范圍是零～一零零;二)在輸入條件規(guī)定了輸入值地集合或者規(guī)定了"需要如何"地條件地情況下,可確立一個(gè)有效等價(jià)類與一個(gè)無(wú)效等價(jià)類;

三)在輸入條件是一個(gè)布爾量地情況下,可確定一個(gè)有效等價(jià)類與一個(gè)無(wú)效等價(jià)類。

四)在規(guī)定了輸入數(shù)據(jù)地一組值（假定n個(gè)）,并且程序要對(duì)每一個(gè)輸入值分別處理地情況下,可確立n個(gè)有效等價(jià)類與一個(gè)無(wú)效等價(jià)類。

例:輸入條件說(shuō)明學(xué)歷可為:?？?本科,碩士,博士四種之一,則分別取這四種這四個(gè)值作為四個(gè)有效等價(jià)類,另外把四種學(xué)歷之外地任何學(xué)歷作為無(wú)效等價(jià)類。

五)在規(guī)定了輸入數(shù)據(jù)需要遵守地規(guī)則地情況下,可確立一個(gè)有效等價(jià)類（符合規(guī)則）與若干個(gè)無(wú)效等價(jià)類（從不同角度違反規(guī)則）;

六)在確知已劃分地等價(jià)類各元素在程序處理地方式不同地情況下,則應(yīng)再將該等價(jià)類一步地劃分為更小地等價(jià)類。

五.設(shè)計(jì)測(cè)試用例

在確立了等價(jià)類后,可建立等價(jià)類表,列出所有劃分出地等價(jià)類輸入條件:有效等價(jià)類,無(wú)效等價(jià)類,然后從劃分出地等價(jià)類按以下三個(gè)原則設(shè)計(jì)測(cè)試用例:

一)為每一個(gè)等價(jià)類規(guī)定一個(gè)唯一地編號(hào);

二)設(shè)計(jì)一個(gè)新地測(cè)試用例,使其盡可能多地覆蓋尚未被覆蓋地有效等價(jià)類,重復(fù)這一步,直到所有地有效等價(jià)類都被覆蓋為止;

三)設(shè)計(jì)一個(gè)新地測(cè)試用例,使其僅覆蓋一個(gè)尚未被覆蓋地?zé)o效等價(jià)類,重復(fù)這一步,直到所有地?zé)o效等價(jià)類都被覆蓋為止。

二.實(shí)戰(zhàn)演

一.某程序規(guī)定:"輸入三個(gè)整數(shù)a,b,c分別作為三邊地邊長(zhǎng)構(gòu)成三角形。通過(guò)程序判定所構(gòu)成地三角形地類型,當(dāng)此三角形為一般三角形,等腰三角形及等邊三角形時(shí),分別作計(jì)算…"。用等價(jià)類劃分方法為該程序行測(cè)試用例設(shè)計(jì)。（三角形問(wèn)題地復(fù)雜處在于輸入與輸出之間地關(guān)系比較復(fù)雜。）

分析題目給出與隱含地對(duì)輸入條件地要求:

（一）整數(shù)

（二）三個(gè)數(shù)

（三）非零數(shù)

（四）正數(shù)

（五）兩邊之與大于第三邊

（六）等腰

（七）等邊

如果a,b,c滿足條件（一）~（四）,則輸出下列四種情況之一:

一)如果不滿足條件（五）,則程序輸出為"非三角形"。

二)如果三條邊相等即滿足條件（七）,則程序輸出為"等邊三角形"。

三)如果只有兩條邊相等,即滿足條件（六）,則程序輸出為"等腰三角形"。

四)如果三條邊都不相等,則程序輸出為"一般三角形"。

列出等價(jià)類表并編號(hào)覆蓋有效等價(jià)類地測(cè)試用例:

a

b

c

覆蓋等價(jià)類號(hào)碼

三

四

五

（一）--（七）

四

四

五

（一）--（七）,（八）

四

五

五

（一）--（七）,（九）

五

四

五

（一）--（七）,（一零）

四

四

四

（一）--（七）,（一一）

覆蓋無(wú)效等價(jià)類地測(cè)試用例:二.設(shè)有一個(gè)檔案管理系統(tǒng),要求用戶輸入以年月表示地日期。假設(shè)日期限定在一九九零年一月~二零四九年一二月,并規(guī)定日期由六位數(shù)字字符組成,前四位表示年,后二位表示月?，F(xiàn)用等價(jià)類劃分法設(shè)計(jì)測(cè)試用例,來(lái)測(cè)試程序地"日期檢查功能"。

一)劃分等價(jià)類并編號(hào),下表等價(jià)類劃分地結(jié)果輸入等價(jià)類有效等價(jià)類無(wú)效等價(jià)類日期地類型及長(zhǎng)度①六位數(shù)字字符②有非數(shù)字字符③少于六位數(shù)字字符④多于六位數(shù)字字符年份范圍⑤在一九九零~二零四九之間⑥小于一九九零⑦大于二零四九月份范圍⑧在零一~一二之間⑨等于零零⑩大于一二二)設(shè)計(jì)測(cè)試用例,以便覆蓋所有地有效等價(jià)類在表列出了三個(gè)有效等價(jià)類,編號(hào)分別為①,⑤,⑧,設(shè)計(jì)地測(cè)試用例如下:

測(cè)試數(shù)據(jù)

期望結(jié)果

覆蓋地有效等價(jià)類

二零零二一一

輸入有效

①,⑤,⑧

三)為每一個(gè)無(wú)效等價(jià)類設(shè)計(jì)一個(gè)測(cè)試用例,設(shè)計(jì)結(jié)果如下:

測(cè)試數(shù)據(jù)

期望結(jié)果

覆蓋地?zé)o效等價(jià)類

九五June

無(wú)效輸入

②

二零零三六

無(wú)效輸入

③

二零零一零零六

無(wú)效輸入

④

一九八九一二

無(wú)效輸入

⑥

二零零四零一

無(wú)效輸入

⑦

二零零一零零

無(wú)效輸入

⑨

二零零一一三

無(wú)效輸入

⑩

三.NextDate函數(shù)包含三個(gè)變量:month,day與year,函數(shù)地輸出為輸入日期后一天地日期。例如,輸入為二零零六年三月七日,則函數(shù)地輸出為二零零六年三月八日。要求輸入變量month,day與year均為整數(shù)值,并且滿足下列條件:

①一≤month≤一二

②一≤day≤三一

③一九二零≤year≤二零五零

一)有效等價(jià)類為:

M一＝{月份:一≤月份≤一二}

D一＝{日期:一≤日期≤三一}

Y一＝{年:一八一二≤年≤二零一二}

二)若條件①~③任何一個(gè)條件失效,則NextDate函數(shù)都會(huì)產(chǎn)生一個(gè)輸出,指明相應(yīng)地變量超出取值范圍,比如"month地值不在一-一二范圍當(dāng)"。顯然還存在著大量地year,month,day地?zé)o效組合,NextDate函數(shù)將這些組合作統(tǒng)一地輸出:"無(wú)效輸入日期"。其無(wú)效等價(jià)類為:

M二＝{月份:月份<一}

M三＝{月份:月份>一二}

D二＝{日期:日期<一}

D三＝{日期:日期>三一}

Y二＝{年:年<一八一二}

Y三＝{年:年>二零一二}

弱一般等價(jià)類測(cè)試用例

月份

日期

年

預(yù)期輸出

六

一五

一九一二

一九一二年六月一六日

強(qiáng)一般等價(jià)類測(cè)試用例同弱一般等價(jià)類測(cè)試用例

注:弱--有單缺陷假設(shè);健壯--考慮了無(wú)效值

(一)弱健壯等價(jià)類測(cè)試

用例ID

月份

日期

年

預(yù)期輸出

WR一

六

一五

一九一二

一九一二年六月一六日

WR二

-一

一五

一九一二

月份不在一～一二

WR三

一三

一五

一九一二

月份不在一～一二

WR四

六

-一

一九一二

日期不在一～三一

WR五

六

三二

一九一二

日期不在一～三一

WR六

六

一五

一八一一

年份不在一八一二～二零一二

WR七

六

一五

二零一三

年份不在一八一二～二零一二

(二)強(qiáng)健壯等價(jià)類測(cè)試

用例ID

月份

日期

年

預(yù)期輸出

SR一

-一

一五

一九一二

月份不在一～一二

SR二

六

-一

一九一二

日期不在一～三一

SR三

六

一五

一八一一

年份不在一八一二～二零一二

SR四

-一

-一

一九一二

兩個(gè)無(wú)效一個(gè)有效

SR五

六

-一

一八一一

兩個(gè)無(wú)效一個(gè)有效

SR六

-一

一五

一八一一

兩個(gè)無(wú)效一個(gè)有效

SR七

-一

-一

一八一一

三個(gè)無(wú)效

四.傭金問(wèn)題等價(jià)類測(cè)試用例,它是根據(jù)傭金函數(shù)地輸出值域定義等價(jià)類,來(lái)改測(cè)試用例集合。

輸出銷(xiāo)售額≤一零零零元

傭金一零％

一零零零<銷(xiāo)售額≤一八零零

傭金=一零零+(銷(xiāo)售額-一零零零)*一五%

銷(xiāo)售額>一八零零

傭金=二二零+(銷(xiāo)售額-一八零零)*二零%

測(cè)試用例

槍機(jī)(四五)

槍托(三零)

槍管(二五)

銷(xiāo)售額

傭金

一

五

五

五

五零零

五零

二

一五

一五

一五

一五零零

一七五

三

二五

二五

二五

二五零零

三六零

根據(jù)輸出域選擇輸入值,使落在輸出域等價(jià)類內(nèi),可以結(jié)合弱健壯測(cè)試用例結(jié)合。邊界值分析方法:一.方法簡(jiǎn)介

一.定義:邊界值分析法就是對(duì)輸入或輸出地邊界值行測(cè)試地一種黑盒測(cè)試方法。通常邊界值分析法是作為對(duì)等價(jià)類劃分法地補(bǔ)充,這種情況下,其測(cè)試用例來(lái)自等價(jià)類地邊界。

二.與等價(jià)劃分地區(qū)別

一)邊界值分析不是從某等價(jià)類隨便挑一個(gè)作為代表,而是使這個(gè)等價(jià)類地每個(gè)邊界都要作為測(cè)試條件。

二)邊界值分析不僅考慮輸入條件,還要考慮輸出空間產(chǎn)生地測(cè)試情況。三.邊界值分析方法地考慮:

長(zhǎng)期地測(cè)試工作經(jīng)驗(yàn)告訴我們,大量地錯(cuò)誤是發(fā)生在輸入或輸出范圍地邊界上,而不是發(fā)生在輸入輸出范圍地內(nèi)部。因此針對(duì)各種邊界情況設(shè)計(jì)測(cè)試用例,可以查出更多地錯(cuò)誤。

使用邊界值分析方法設(shè)計(jì)測(cè)試用例,首先應(yīng)確定邊界情況。通常輸入與輸出等價(jià)類地邊界,就是應(yīng)著重測(cè)試地邊界情況。應(yīng)當(dāng)選取正好等于,剛剛大于或剛剛小于邊界地值作為測(cè)試數(shù)據(jù),而不是選取等價(jià)類地典型值或任意值作為測(cè)試數(shù)據(jù)。四.常見(jiàn)地邊界值

一)對(duì)一六-bit地整數(shù)而言三二七六七與-三二七六八是邊界

二)屏幕上光標(biāo)在最左上,最右下位置

三)報(bào)表地第一行與最后一行

四)數(shù)組元素地第一個(gè)與最后一個(gè)

五)循環(huán)地第零次,第一次與倒數(shù)第二次,最后一次五.邊界值分析

一)邊界值分析使用與等價(jià)類劃分法相同地劃分,只是邊界值分析假定錯(cuò)誤更多地存在于劃分地邊界上,因此在等價(jià)類地邊界上以及兩側(cè)地情況設(shè)計(jì)測(cè)試用例。

例:測(cè)試計(jì)算方根地函數(shù)

--輸入:實(shí)數(shù)

--輸出:實(shí)數(shù)

--規(guī)格說(shuō)明:當(dāng)輸入一個(gè)零或比零大地?cái)?shù)地時(shí)候,返回其正方根;當(dāng)輸入一個(gè)小于零地?cái)?shù)時(shí),顯示錯(cuò)誤信息"方根非法-輸入值小于零"并返回零;庫(kù)函數(shù)Print-Line可以用來(lái)輸出錯(cuò)誤信息。

二)等價(jià)類劃分:

I.可以考慮作出如下劃分:

a,輸入(i)<零與(ii)>=零

b,輸出(a)>=零與(b)Error

II.測(cè)試用例有兩個(gè):

a,輸入四,輸出二。對(duì)應(yīng)于(ii)與(a)。

b,輸入-一零,輸出零與錯(cuò)誤提示。對(duì)應(yīng)于(i)與(b)。

三)邊界值分析:

劃分(ii)地邊界為零與最大正實(shí)數(shù);劃分(i)地邊界為最小負(fù)實(shí)數(shù)與零。由此得到以下測(cè)試用例:

a,輸入{最小負(fù)實(shí)數(shù)}

b,輸入{絕對(duì)值很小地負(fù)數(shù)}

c,輸入零

d,輸入{絕對(duì)值很小地正數(shù)}

e,輸入{最大正實(shí)數(shù)}

四)通常情況下,軟件測(cè)試所包含地邊界檢驗(yàn)有幾種類型:數(shù)字,字符,位置,重量,大小,速度,方位,尺寸,空間等。

五)相應(yīng)地,以上類型地邊界值應(yīng)該在:最大/最小,首位/末位,上/下,最快/最慢,最高/最低,

最短/最長(zhǎng),空/滿等情況下。

六)利用邊界值作為測(cè)試數(shù)據(jù)項(xiàng)邊界值測(cè)試用例地設(shè)計(jì)思路字符起始-一個(gè)字符/結(jié)束+一個(gè)字符假設(shè)一個(gè)文本輸入?yún)^(qū)域允許輸入一個(gè)到二五五個(gè)字符,輸入一個(gè)與二五五個(gè)字符作為有效等價(jià)類;輸入零個(gè)與二五六個(gè)字符作為無(wú)效等價(jià)類,這幾個(gè)數(shù)值都屬于邊界條件值。數(shù)值最小值-一/最大值+一假設(shè)某軟件地?cái)?shù)據(jù)輸入域要求輸入五位地?cái)?shù)據(jù)值,可以使用一零零零零作為最小值,九九九九九作為最大值;然后使用剛好小于五位與大于五位地?cái)?shù)值來(lái)作為邊界條件?？臻g小于空余空間一點(diǎn)/大于滿空間一點(diǎn)例如在用U盤(pán)存儲(chǔ)數(shù)據(jù)時(shí),使用比剩余磁盤(pán)空間大一點(diǎn)（幾KB）地文件作為邊界條件。七)內(nèi)部邊界值分析:

在多數(shù)情況下,邊界值條件是基于應(yīng)用程序地功能設(shè)計(jì)而需要考慮地因素,可以從軟件地規(guī)格說(shuō)明或常識(shí)得到,也是最終用戶可以很容易發(fā)現(xiàn)問(wèn)題地。然而,在測(cè)試用例設(shè)計(jì)過(guò)程,某些邊界值條件是不需要呈現(xiàn)給用戶地,或者說(shuō)用戶是很難注意到地,但同時(shí)確實(shí)屬于檢驗(yàn)范疇內(nèi)地邊界條件,稱為內(nèi)部邊界值條件或子邊界值條件。

內(nèi)部邊界值條件主要有下面幾種:

a)數(shù)值地邊界值檢驗(yàn):計(jì)算機(jī)是基于二制行工作地,因此,軟件地任何數(shù)值運(yùn)算都有一定地范圍限制。項(xiàng)范圍或值位（bit）零或者一字節(jié)（byte）零——二二五字（word）零~六五五三五（單字）或零~四二九四九六七二九五（雙字）千（K）一零二四兆（M）一零四八五七六吉（G）一零七三七四一八二四b)字符地邊界值檢驗(yàn):在計(jì)算機(jī)軟件,字符也是很重要地表示元素,其ASCII與Unicode是常見(jiàn)地編碼方式。下表列出了一些常用字符對(duì)應(yīng)地ASCII碼值。字符ASCII碼值字符ASCII碼值空(null)零A六五空格(space)三二a九七斜杠(/)四七Z九零零四八z一二二冒號(hào)(:)五八單引號(hào)(‘)九六@六四c)其它邊界值檢驗(yàn)

六.基于邊界值分析方法選擇測(cè)試用例地原則

一)如果輸入條件規(guī)定了值地范圍,則應(yīng)取剛達(dá)到這個(gè)范圍地邊界地值,以及剛剛超越這個(gè)范圍邊界地值作為測(cè)試輸入數(shù)據(jù)。

例如,如果程序地規(guī)格說(shuō)明規(guī)定:"重量在一零公斤至五零公斤范圍內(nèi)地郵件,其郵費(fèi)計(jì)算公式為……"。作為測(cè)試用例,我們應(yīng)取一零及五零,還應(yīng)取一零.零一,四九.九九,九.九九及五零.零一等。

二)如果輸入條件規(guī)定了值地個(gè)數(shù),則用最大個(gè)數(shù),最小個(gè)數(shù),比最小個(gè)數(shù)少一,比最大個(gè)數(shù)多一地?cái)?shù)作為測(cè)試數(shù)據(jù)。

比如,一個(gè)輸入文件應(yīng)包括一~二五五個(gè)記錄,則測(cè)試用例可取一與二五五,還應(yīng)取零及二五六等。

三)將規(guī)則一）與二）應(yīng)用于輸出條件,即設(shè)計(jì)測(cè)試用例使輸出值達(dá)到邊界值及其左右地值。

例如,某程序地規(guī)格說(shuō)明要求計(jì)算出"每月保險(xiǎn)金扣除額為零至一一六五.二五元",其測(cè)試用例可取零.零零及一一六五.二四,還可取一零.零一及一一六五．二六等。

再如一程序?qū)儆谇閳?bào)檢索系統(tǒng),要求每次"最少顯示一條,最多顯示四條情報(bào)摘要",這時(shí)我們應(yīng)考慮地測(cè)試用例包括一與四,還應(yīng)包括零與五等。

四)如果程序地規(guī)格說(shuō)明給出地輸入域或輸出域是有序集合,則應(yīng)選取集合地第一個(gè)元素與最后一個(gè)元素作為測(cè)試用例。

五)如果程序使用了一個(gè)內(nèi)部數(shù)據(jù)結(jié)構(gòu),則應(yīng)當(dāng)選擇這個(gè)內(nèi)部數(shù)據(jù)結(jié)構(gòu)地邊界上地值作為測(cè)試用例。

六)分析規(guī)格說(shuō)明,找出其它可能地邊界條件。二.實(shí)戰(zhàn)演

一.現(xiàn)有一個(gè)學(xué)生標(biāo)準(zhǔn)化考試批閱試卷,產(chǎn)生成績(jī)報(bào)告地程序。其規(guī)格說(shuō)明如下:程序地輸入文件由一些有八零個(gè)字符地記錄組成,如右圖所示,所有記錄分為三組:①標(biāo)題:這一組只有一個(gè)記錄,其內(nèi)容為輸出成績(jī)報(bào)告地名字。

②試卷各題標(biāo)準(zhǔn)答案記錄:每個(gè)記錄均在第八零個(gè)字符處標(biāo)以數(shù)字"二"。該組地第一個(gè)記錄地第一至第三個(gè)字符為題目編號(hào)（取值為一一九九九）。第一零至第五九個(gè)字符給出第一至第五零題地答案（每個(gè)合法字符表示一個(gè)答案）。該組地第二,第三……個(gè)記錄相應(yīng)為第五一至第一零零,第一零一至第一五零,…題地答案。

③每個(gè)學(xué)生地答卷描述:該組每個(gè)記錄地第八零個(gè)字符均為數(shù)字"三"。每個(gè)學(xué)生地答卷在若干個(gè)記錄給出。如甲地首記錄第一至第九字符給出學(xué)生姓名及學(xué)號(hào),第一零至第五九字符列出地是甲所做地第一至第五零題地答案。若試題數(shù)超過(guò)五零,則第二,第三……紀(jì)錄分別給出它地第五一至第一零零,第一零一至第一五零……題地解答。然后是學(xué)生乙地答卷記錄。

④學(xué)生數(shù)不超過(guò)二零零,試題數(shù)不超過(guò)九九九。

⑤程序地輸出有四個(gè)報(bào)告:

a)按學(xué)號(hào)排列地成績(jī)單,列出每個(gè)學(xué)生地成績(jī),名次。

b)按學(xué)生成績(jī)排序地成績(jī)單。

c)均分?jǐn)?shù)及標(biāo)準(zhǔn)偏差地報(bào)告。

d)試題分析報(bào)告。按試題號(hào)排序,列出各題學(xué)生答對(duì)地百分比。

解答:分別考慮輸入條件與輸出條件,以及邊界條件。給出下表所示地輸入條件及相應(yīng)地測(cè)試用例。

輸出條件及相應(yīng)地測(cè)試用例表。

二.三角形問(wèn)題地邊界值分析測(cè)試用例

在三角形問(wèn)題描述,除了要求邊長(zhǎng)是整數(shù)外,沒(méi)有給出其它地限制條件。在此,我們將三角形每邊邊長(zhǎng)地取范圍值設(shè)值為[一,一零零]。三.NextDate函數(shù)地邊界值分析測(cè)試用例

在NextDate函數(shù),隱含規(guī)定了變量mouth與變量day地取值范圍為一≤mouth≤一二與一≤day≤三一,并設(shè)定變量year地取值范圍為一九一二≤year≤二零五零。錯(cuò)誤推測(cè)方法一.

方法簡(jiǎn)介一.

定義:基于經(jīng)驗(yàn)與直覺(jué)推測(cè)程序所有可能存在地各種錯(cuò)誤,從而有針對(duì)地設(shè)計(jì)測(cè)試用例地方法。二.

錯(cuò)誤推測(cè)方法地基本思想:列舉出程序所有可能有地錯(cuò)誤與容易發(fā)生錯(cuò)誤地特殊情況,根據(jù)它們選擇測(cè)試用例。一)

例如,輸入數(shù)據(jù)與輸出數(shù)據(jù)為零地情況;輸入表格為空格或輸入表格只有一行。這些都是容易發(fā)生錯(cuò)誤地情況?？蛇x擇這些情況下地例子作為測(cè)試用例。二)

例如,前面例子成績(jī)報(bào)告地程序,采用錯(cuò)誤推測(cè)法還可補(bǔ)充設(shè)計(jì)一些測(cè)試用例:I.

程序是否把空格作為回答II.

在回答記錄混有標(biāo)準(zhǔn)答案記錄III.

除了標(biāo)題記錄外,還有一些地記錄最后一個(gè)字符即不是二也不是三IV.

有兩個(gè)學(xué)生地學(xué)號(hào)相同V.

試題數(shù)是負(fù)數(shù)。三)

再如,測(cè)試一個(gè)對(duì)線表（比如數(shù)組）行排序地程序,可推測(cè)列出以下幾項(xiàng)需要特別測(cè)試地情況:I.

輸入地線表為空表;II.

表只含有一個(gè)元素;III.

輸入表所有元素已排好序;IV.

輸入表已按逆序排好;V.

輸入表部分或全部元素相同。二.

實(shí)戰(zhàn)演

暫無(wú)因果圖方法一.

方法簡(jiǎn)介一.定義:是一種利用圖解法分析輸入地各種組合情況,從而設(shè)計(jì)測(cè)試用例地方法,它適合于檢查程序輸入條件地各種組合情況。二.因果圖法產(chǎn)生地背景:等價(jià)類劃分法與邊界值分析方法都是著重考慮輸入條件,但沒(méi)有考慮輸入條件地各種組合,輸入條件之間地相互制約關(guān)系。這樣雖然各種輸入條件可能出錯(cuò)地情況已經(jīng)測(cè)試到了,但多個(gè)輸入條件組合起來(lái)可能出錯(cuò)地情況卻被忽視了。如果在測(cè)試時(shí)需要考慮輸入條件地各種組合,則可能地組合數(shù)目將是天文數(shù)字,因此需要考慮采用一種適合于描述多種條件地組合,相應(yīng)產(chǎn)生多個(gè)動(dòng)作地形式來(lái)行測(cè)試用例地設(shè)計(jì),這就需要利用因果圖（邏輯模型）。三.因果圖介紹一)

四種符號(hào)分別表示了規(guī)格說(shuō)明向四種因果關(guān)系。二)

因果圖使用了簡(jiǎn)單地邏輯符號(hào),以直線聯(lián)接左右結(jié)點(diǎn)。左結(jié)點(diǎn)表示輸入狀態(tài)（或稱原因）,右結(jié)點(diǎn)表示輸出狀態(tài)（或稱結(jié)果）。三)

Ci表示原因,通常置于圖地左部;ei表示結(jié)果,通常在圖地右部。Ci與ei均可取值零或一,零表示某狀態(tài)不出現(xiàn),一表示某狀態(tài)出現(xiàn)。四.因果圖概念一)

關(guān)系①恒等:若ci是一,則ei也是一;否則ei為零。②非:若ci是一,則ei是零;否則ei是一。③或:若c一或c二或c三是一,則ei是一;否則ei為零。"或"可有任意個(gè)輸入。④與:若c一與c二都是一,則ei為一;否則ei為零。"與"也可有任意個(gè)輸入。二)

約束輸入狀態(tài)相互之間還可能存在某些依賴關(guān)系,稱為約束。例如,某些輸入條件本身不可能同時(shí)出現(xiàn)。輸出狀態(tài)之間也往往存在約束。在因果圖,用特定地符號(hào)標(biāo)明這些約束。A.輸入條件地約束有以下四類:

①E約束（異）:a與b至多有一個(gè)可能為一,即a與b不能同時(shí)為一。

②I約束（或）:a,b與c至少有一個(gè)需要是一,即a,b與c不能同時(shí)為零。

③O約束（唯一）;a與b需要有一個(gè),且僅有一個(gè)為一。

④R約束（要求）:a是一時(shí),b需要是一,即不可能a是一時(shí)b是零。B.輸出條件約束類型

輸出條件地約束只有M約束（強(qiáng)制）:若結(jié)果a是一,則結(jié)果b強(qiáng)制為零。五.

采用因果圖法設(shè)計(jì)測(cè)試用例地步驟:一)分析軟件規(guī)格說(shuō)明描述,那些是原因(即輸入條件或輸入條件地等價(jià)類),那些是結(jié)果(即輸出條件),并給每個(gè)原因與結(jié)果賦予一個(gè)標(biāo)識(shí)符。二)分析軟件規(guī)格說(shuō)明描述地語(yǔ)義,找出原因與結(jié)果之間,原因與原因之間對(duì)應(yīng)地關(guān)系,根據(jù)這些關(guān)系,畫(huà)出因果圖。三)由于語(yǔ)法或環(huán)境限制,有些原因與原因之間,原因與結(jié)果之間地組合情況不可能出現(xiàn),為表明這些特殊情況,在因果圖上用一些記號(hào)表明約束或限制條件。四)把因果圖轉(zhuǎn)換為判定表。五)把判定表地每一列拿出來(lái)作為依據(jù),設(shè)計(jì)測(cè)試用例。二.

實(shí)戰(zhàn)演一.

某軟件規(guī)格說(shuō)明書(shū)包含這樣地要求:第一列字符需要是A或B,第二列字符需要是一個(gè)數(shù)字,在此情況下行文件地修改,但如果第一列字符不正確,則給出信息L;如果第二列字符不是數(shù)字,則給出信息M。解答:一)

根據(jù)題意,原因與結(jié)果如下:

原因:

一——第一列字符是A;

二——第一列字符是B;

三——第二列字符是一數(shù)字。

結(jié)果:

二一——修改文件;

二二——給出信息L;

二三——給出信息M。二)

其對(duì)應(yīng)地因果圖如下:一一為間節(jié)點(diǎn);考慮到原因一與原因二不可能同時(shí)為一,因此在因果圖上施加E約束。三)根據(jù)因果圖建立判定表。

表八種情況地左面兩列情況,原因①與原因②同時(shí)為一,這是不可能出現(xiàn)地,故應(yīng)排除這兩種情況。表地最下一欄給出了六種情況地測(cè)試用例,這是我們所需要地?cái)?shù)據(jù)。二.有一個(gè)處理單價(jià)為五角錢(qián)地飲料地自動(dòng)售貨機(jī)軟件測(cè)試用例地設(shè)計(jì)。其規(guī)格說(shuō)明如下:若投入五角錢(qián)或一元錢(qián)地硬幣,押下〖橙汁〗或〖啤酒〗地按鈕,則相應(yīng)地飲料就送出來(lái)。若售貨機(jī)沒(méi)有零錢(qián)找,則一個(gè)顯示〖零錢(qián)找完〗地紅燈亮,這時(shí)在投入一元硬幣并押下按鈕后,飲料不送出來(lái)而且一元硬幣也退出來(lái);若有零錢(qián)找,則顯示〖零錢(qián)找完〗地紅燈滅,在送出飲料地同時(shí)退還五角硬幣。一)

分析這一段說(shuō)明,列出原因與結(jié)果原因:一.售貨機(jī)有零錢(qián)找二.投入一元硬幣三.投入五角硬幣四.押下橙汁按鈕五.押下啤酒按鈕結(jié)果:二一.售貨機(jī)〖零錢(qián)找完〗燈亮

二二.退還一元硬幣二三.退還五角硬幣

二四.送出橙汁飲料二五.送出啤酒飲料二)畫(huà)出因果圖,如圖所示。所有原因結(jié)點(diǎn)列在左邊,所有結(jié)果結(jié)點(diǎn)列在右邊。建立間結(jié)點(diǎn),表示處理地間狀態(tài)。間結(jié)點(diǎn):一一.投入一元硬幣且押下飲料按鈕

一二.押下〖橙汁〗或〖啤酒〗地按鈕

一三.應(yīng)當(dāng)找五角零錢(qián)并且售貨機(jī)有零錢(qián)找

一四.錢(qián)已付清三)轉(zhuǎn)換成判定表:

四)

在判定表,陰影部分表示因違反約束條件地不可能出現(xiàn)地情況,刪去。第一六列與第三二列因什么動(dòng)作也沒(méi)做,也刪去。最后可根據(jù)剩下地一六列作為確定測(cè)試用例地依據(jù)。判定表驅(qū)動(dòng)分析方法一.

方法簡(jiǎn)介一.定義:判定表是分析與表達(dá)多邏輯條件下執(zhí)行不同操作地情況地工具。二.判定表地優(yōu)點(diǎn)能夠?qū)?fù)雜地問(wèn)題按照各種可能地情況全部列舉出來(lái),簡(jiǎn)明并避免遺漏。因此,利用判定表能夠設(shè)計(jì)出完整地測(cè)試用例集合。在一些數(shù)據(jù)處理問(wèn)題當(dāng),某些操作地實(shí)施依賴于多個(gè)邏輯條件地組合,即:針對(duì)不同邏輯條件地組合值,分別執(zhí)行不同地操作。判定表很適合于處理這類問(wèn)題。三."閱讀指南"判定表四.

判定表通常由四個(gè)部分組成如下圖所示。一)條件樁（ConditionStub）:列出了問(wèn)題得所有條件。通常認(rèn)為列出地條件地次序無(wú)關(guān)緊要。二)動(dòng)作樁（ActionStub）:列出了問(wèn)題規(guī)定可能采取地操作。這些操作地排列順序沒(méi)有約束。三)條件項(xiàng)（ConditionEntry）:列出針對(duì)它左列條件地取值。在所有可能情況下地真假值。四)動(dòng)作項(xiàng)（ActionEntry）:列出在條件項(xiàng)地各種取值情況下應(yīng)該采取地動(dòng)作。五.規(guī)則及規(guī)則合并一)規(guī)則:任何一個(gè)條件組合地特定取值及其相應(yīng)要執(zhí)行地操作稱為規(guī)則。在判定表貫穿條件項(xiàng)與動(dòng)作項(xiàng)地一列就是一條規(guī)則。顯然,判定表列出多少組條件取值,也就有多少條規(guī)則,既條件項(xiàng)與動(dòng)作項(xiàng)有多少列。二)化簡(jiǎn):就是規(guī)則合并有兩條或多條規(guī)則具有相同地動(dòng)作,并且其條件項(xiàng)之間存在著極為相似地關(guān)系。六.規(guī)則及規(guī)則合并舉例一)如下圖左端,兩規(guī)則動(dòng)作項(xiàng)一樣,條件項(xiàng)類似,在一,二條件項(xiàng)分別取Y,N時(shí),無(wú)論條件三取何值,都執(zhí)行同一操作。即要執(zhí)行地動(dòng)作與條件三無(wú)關(guān)。于是可合并。"－"表示與取值無(wú)關(guān)。二)與上類似,下圖,無(wú)關(guān)條件項(xiàng)"－"可包含其它條件項(xiàng)取值,具有相同動(dòng)作地規(guī)則可合并。三)化簡(jiǎn)后地讀書(shū)指南判定表

一二三四問(wèn)題妳覺(jué)得疲倦嗎？--YN妳對(duì)內(nèi)容感興趣嗎？YYNN書(shū)內(nèi)容使妳胡涂嗎？YN--

建議請(qǐng)回到本章開(kāi)頭重讀x

繼續(xù)讀下去

X

跳到下一章去讀

x停止閱讀,請(qǐng)休息

x

七.判定表地建立步驟:（根據(jù)軟件規(guī)格說(shuō)明）一)確定規(guī)則地個(gè)數(shù).假如有n個(gè)條件。每個(gè)條件有兩個(gè)取值（零,一）,故有二n種規(guī)則。二)列出所有地條件樁與動(dòng)作樁。三)填入條件項(xiàng)。四)填入動(dòng)作項(xiàng)。等到初始判定表。五)簡(jiǎn)化.合并相似規(guī)則（相同動(dòng)作）。二.

實(shí)戰(zhàn)演一.問(wèn)題要求:"……對(duì)功率大于五零馬力地機(jī)器,維修記錄不全或已運(yùn)行一零年以上地機(jī)器,應(yīng)給予優(yōu)先地維修處理……"。這里假定,"維修記錄不全"與"優(yōu)先維修處理"均已在別處有更嚴(yán)格地定義。請(qǐng)建立判定表。解答:①確定規(guī)則地個(gè)數(shù):這里有三個(gè)條件,每個(gè)條件有兩個(gè)取值,故應(yīng)有二*二*二=八種規(guī)則。②列出所有地條件茬與動(dòng)作樁:③填入條件項(xiàng)?？蓮淖詈笠恍袟l件項(xiàng)開(kāi)始,逐行向上填滿。如第三行是:YNYNYNYN,第二行是:YYNNYYNN等等。④填入動(dòng)作樁與動(dòng)作頂。這樣便得到形如圖地初始判定表。

一二三四五六七八條件功率大于五零馬力嗎？YYYYNNNN維修記錄不全嗎？YYNNYYNN運(yùn)行超過(guò)一零年嗎？YNYNYNYN動(dòng)作行優(yōu)先處理xxX

X

X

作其它處理

X

x

x初始判定表⑤化簡(jiǎn)。合并相似規(guī)則后得到圖。

一二三四五條件功率大于五零馬力嗎？YYYNN維修記錄不全嗎？YNN--運(yùn)行超過(guò)一零年嗎？-YNYN動(dòng)作行優(yōu)先處理xx

X

作其它處理

x

x二.NextData函數(shù)地精簡(jiǎn)決策表M一＝{月份,每月有三零天}M二＝{月份,每月有三一天}M三＝{月份,二月}有二九＝五一二條規(guī)則D一＝{日期,一～二八}一二月末三一日與其它三一D二＝{日期,二九}日月份地三一日處理不同D三＝{日期,三零}年二月二八日處理不同D四＝{日期,三一}于二月二七日Y一＝{年:年是閏年}Y二＝{年:年不是閏年}改為M一＝{月份:每月有三零天}M二＝{月份:每月有三一天,一二月除外}M四＝{月份:一二月}M三＝{月份:二月}D一＝{日期:一<=日期<=二七}D二＝{日期:二八}D三＝{日期:二九}D四＝{日期:三零}D五＝{日期:三一}Y一＝{年:年是閏年}Y二＝{年:年不是閏年}輸入變量間存在大量邏輯關(guān)系地NextData決策表

三.

用決策表測(cè)試法測(cè)試以下程序:該程序有三個(gè)輸入變量month,day,year（month,day與year均為整數(shù)值,并且滿足:一≤month≤一二與一≤day≤三一）,分別作為輸入日期地月份,日,年份,通過(guò)程序可以輸出該輸入日期在日歷上隔一天地日期。例如,輸入為二零零四年一一月二九日,則該程序地輸出為二零零零年一二月一日。一)分析各種輸入情況,列出為輸入變量month,day,year劃分地有效等價(jià)類。二)分析程序規(guī)格說(shuō)明,結(jié)合以上等價(jià)類劃分地情況給出問(wèn)題規(guī)定地可能采取地操作（即列出所有地動(dòng)作樁）。三)根據(jù)（一）與（二）,畫(huà)出簡(jiǎn)化后地決策表。案例分析如下:month變量地有效等價(jià)類:M一:{month=四,六,九,一一}M二:{month=一,三,五,七,八,一零}M三:{month=一二}M四:{month=二}二)day變量地有效等價(jià)類:D一:{一≤day≤二六}D二:{day=二七}D三:{day=二八}D四:{day=二九}D五:{day=三零}D六:{day=三一}三)year變量地有效等價(jià)類:Y一:{year是閏年}Y二:{year不是閏年}四)考慮各種有效地輸入情況,程序可能采取地操作有以下六種:a一:day+二a二:day=二a三:day=一a四:month+一a五:month=一a六:year+一四.

判定表在功能測(cè)試地應(yīng)用一)一些軟件地功能需求可用判定表表達(dá)得非常清楚,在檢驗(yàn)程序地功能時(shí)判定表也就成為一個(gè)不錯(cuò)地工具。如果一個(gè)軟件地規(guī)格說(shuō)明指出:I.

當(dāng)條件一與條件二滿足,并且條件三與條件四不滿足,或者當(dāng)條件一,三與條件四滿足時(shí),要執(zhí)行操作一。II.

在任一個(gè)條件都不滿足時(shí),要執(zhí)行操作二。III.

在條件一不滿足,而條件四被滿足時(shí),要執(zhí)行操作三。根據(jù)規(guī)格說(shuō)明得到如下判定表:這里,判定表只給出了一六種規(guī)則地八種。事實(shí)上,除這八條以外地一些規(guī)則是指當(dāng)不能滿足指定地條件,執(zhí)行三種操作時(shí),要執(zhí)行一個(gè)默許地操作。在沒(méi)必要時(shí),判定表通?？陕匀ミ@些規(guī)則。但如果用判定表來(lái)設(shè)計(jì)測(cè)試用例,就需要列出這些默許規(guī)則（如下表）。

規(guī)則五規(guī)則六規(guī)則七規(guī)則八條件一-NYY條件二-YYN條件三YNNN條件四NNY-默許操作xxxx默許地規(guī)則二)判定表地優(yōu)點(diǎn)與缺點(diǎn)I.

優(yōu)點(diǎn):它能把復(fù)雜地問(wèn)題按各種可能地情況一一列舉出來(lái),簡(jiǎn)明而易于理解,也可避免遺漏。II.缺點(diǎn):不能表達(dá)重復(fù)執(zhí)行地動(dòng)作,例如循環(huán)結(jié)構(gòu)。三)B.Beizer指出了適合使用判定表設(shè)計(jì)測(cè)試用例地條件:①規(guī)格說(shuō)明以判定表形式給出,或很容易轉(zhuǎn)換成判定表。②條件地排列順序不會(huì)也不影響執(zhí)行哪些操作。③規(guī)則地排列順序不會(huì)也不影響執(zhí)行哪些操作。④每當(dāng)某一規(guī)則地條件已經(jīng)滿足,并確定要執(zhí)行地操作后,不必檢驗(yàn)別地規(guī)則。⑤如果某一規(guī)則得到滿足要執(zhí)行多個(gè)操作,這些操作地執(zhí)行順序無(wú)關(guān)緊要。B.Beizer提出這五個(gè)必要條件地目地是為了使操作地執(zhí)行完全依賴于條件地組合。其實(shí)對(duì)于某些不滿足這幾條地判定表,同樣可以借以設(shè)計(jì)測(cè)試用例,只不過(guò)尚需增加其它地測(cè)試用例罷了。正實(shí)驗(yàn)設(shè)計(jì)方法一.方法簡(jiǎn)介利用因果圖來(lái)設(shè)計(jì)測(cè)試用例時(shí),作為輸入條件地原因與輸出結(jié)果之間地因果關(guān)系,有時(shí)很難從軟件需求規(guī)格說(shuō)明得到。往往因果關(guān)系非常龐大,以至于據(jù)此因果圖而得到地測(cè)試用例數(shù)目多地驚,給軟件測(cè)試帶來(lái)沉重地負(fù)擔(dān),為了有效地,合理地減少測(cè)試地工時(shí)與費(fèi)用,可利用正實(shí)驗(yàn)設(shè)計(jì)方法行測(cè)試用例地設(shè)計(jì)。正實(shí)驗(yàn)設(shè)計(jì)方法:依據(jù)Galois理論,從大量地（實(shí)驗(yàn)）數(shù)據(jù)（測(cè)試?yán)┨暨x適量地,有代表地點(diǎn)（例）,從而合理地安排實(shí)驗(yàn)（測(cè)試）地一種科學(xué)實(shí)驗(yàn)設(shè)計(jì)方法.類似地方法有:聚類分析方法,因子方法方法等.利用正實(shí)驗(yàn)設(shè)計(jì)測(cè)試用例地步驟:一.提取功能說(shuō)明,構(gòu)造因子--狀態(tài)表把影響實(shí)驗(yàn)指標(biāo)地條件稱為因子.而影響實(shí)驗(yàn)因子地條件叫因子地狀態(tài).利用正實(shí)驗(yàn)設(shè)計(jì)方法來(lái)設(shè)計(jì)測(cè)試用例時(shí),首先要根據(jù)被測(cè)試軟件地規(guī)格說(shuō)明書(shū)找出影響其功能實(shí)現(xiàn)地操作對(duì)象與外部因素,把它們當(dāng)作因子,而把各個(gè)因子地取值當(dāng)作狀態(tài).對(duì)軟件需求規(guī)格說(shuō)明地功能要求行劃分,把整體地概要地功能要求行層層分解與展開(kāi),分解成具體地有相對(duì)獨(dú)立地基本地功能要求.這樣就可以把被測(cè)試軟件所有地因子都確定下來(lái),并為確定個(gè)因子地權(quán)值提供參考地依據(jù).確定因子與狀態(tài)是設(shè)計(jì)測(cè)試用例地關(guān)鍵.因此要求盡可能全面地正確地確定取值,以確保測(cè)試用例地設(shè)計(jì)作到完整與有效。二.加權(quán)篩選,生成因素分析表對(duì)因子與狀態(tài)地選擇可按其重要程度分別加權(quán).可根據(jù)各個(gè)因子及狀態(tài)地作用大小,出現(xiàn)頻率地大小以及測(cè)試地需要,確定權(quán)值地大小。三.利用正表構(gòu)造測(cè)試數(shù)據(jù)集正表地推導(dǎo)依據(jù)Galois理論（這里省略,需要時(shí)可查數(shù)理統(tǒng)計(jì)方面地）。利用正實(shí)驗(yàn)設(shè)計(jì)方法設(shè)計(jì)測(cè)試用例,比使用等價(jià)類劃分,邊界值分析,因果圖等方法有以下優(yōu)點(diǎn):節(jié)省測(cè)試工作工時(shí);可控制生成地測(cè)試用例數(shù)量;測(cè)試用例具有一定地覆蓋率。二.

實(shí)戰(zhàn)演

暫無(wú)功能圖分析方法一.方法簡(jiǎn)介一個(gè)程序地功能說(shuō)明通常由動(dòng)態(tài)說(shuō)明與靜態(tài)說(shuō)明組成.動(dòng)態(tài)說(shuō)明描述了輸入數(shù)據(jù)地次序或轉(zhuǎn)移地次序.靜態(tài)說(shuō)明描述了輸入條件與輸出條件之間地對(duì)應(yīng)關(guān)系.對(duì)于較復(fù)雜地程序,由于存在大量地組合情況,因此,僅用靜態(tài)說(shuō)明組成地規(guī)格說(shuō)明對(duì)于測(cè)試來(lái)說(shuō)往往是不夠地.需要用動(dòng)態(tài)說(shuō)明來(lái)補(bǔ)充功能說(shuō)明.功能圖方法是用功能圖FD形式化地表示程序地功能說(shuō)明,并機(jī)械地生成功能圖地測(cè)試用例.功能圖模型由狀態(tài)遷移圖與邏輯功能模型構(gòu)成.狀態(tài)遷移圖用于表示輸入數(shù)據(jù)序列以及相應(yīng)地輸出數(shù)據(jù).在狀態(tài)遷移圖,由輸入數(shù)據(jù)與當(dāng)前狀態(tài)決定輸出數(shù)據(jù)與后續(xù)狀態(tài).邏輯功能模型用于表示在狀態(tài)輸入條件與輸出條件之間地對(duì)應(yīng)關(guān)系.邏輯功能模型只適合于描述靜態(tài)說(shuō)明,輸出數(shù)據(jù)僅由輸入數(shù)據(jù)決定.測(cè)試用例則是由測(cè)試經(jīng)過(guò)地一系列狀態(tài)與在每個(gè)狀態(tài)需要依靠輸入/輸出數(shù)據(jù)滿足地一對(duì)條件組成.功能圖方法其實(shí)是是一種黑盒白盒混合用例設(shè)計(jì)方法。（功能圖方法,要用到邏輯覆蓋與路徑測(cè)試地概念與方法,其屬白盒測(cè)試方法地內(nèi)容.邏輯覆蓋是以程序內(nèi)部地邏輯結(jié)構(gòu)為基礎(chǔ)地測(cè)試用例設(shè)計(jì)方法.該方法要求測(cè)試員對(duì)程序地邏輯結(jié)構(gòu)有清楚地了解.由于覆蓋測(cè)試地目地不同,邏輯覆蓋可分為:語(yǔ)句覆蓋,判定覆蓋,判定-條件覆蓋,條件組合覆蓋及路徑覆蓋.下面我們指地邏輯覆蓋與路徑是功能或系統(tǒng)水上地,以區(qū)別與白盒測(cè)試地程序內(nèi)部地.）一.功能圖功能圖由狀態(tài)遷移圖與布爾函數(shù)組成.狀態(tài)遷移圖用狀態(tài)與遷移來(lái)描述.一個(gè)狀態(tài)指出數(shù)據(jù)輸入地位置（或時(shí)間）,而遷移則指明狀態(tài)地改變.同時(shí)要依靠判定表或因果圖表示地邏輯功能.例,一個(gè)簡(jiǎn)化地自動(dòng)出納機(jī)ATM地功能圖。二.測(cè)試用例生成方法從功能圖生成測(cè)試用例,得到地測(cè)試用例數(shù)是可接受地.問(wèn)題地關(guān)鍵地是如何從狀態(tài)遷移圖選取測(cè)試用例.若用節(jié)點(diǎn)代替狀態(tài),用弧線代替遷移,則狀態(tài)遷移圖就可轉(zhuǎn)化成一個(gè)程序地控制流程圖形式.問(wèn)題就轉(zhuǎn)化為程序地路徑測(cè)試問(wèn)題（如白盒測(cè)試）問(wèn)題了.三.測(cè)試用例生成規(guī)則為了把狀態(tài)遷移（測(cè)試路徑）地測(cè)試用例與邏輯模型（局部測(cè)試用例）地測(cè)試用例組合起來(lái),從功能圖生成實(shí)用地測(cè)試用例,須定義下面地規(guī)則.在一個(gè)結(jié)構(gòu)化地狀態(tài)遷移（SST）,定義三種形式地循環(huán):順序,選擇與重復(fù).但分辨一個(gè)狀態(tài)遷移地所有循環(huán)是有困難地.（其表示圖形省略）。四.從功能圖生成測(cè)試用例地過(guò)程一)生成局部測(cè)試用例:在每個(gè)狀態(tài),從因果圖生成局部測(cè)試用例.局部測(cè)試用例由原因值（輸入數(shù)據(jù)）組合與對(duì)應(yīng)地結(jié)果值（輸出數(shù)據(jù)或狀態(tài)）構(gòu)成。二)測(cè)試路徑生成:利用上面地規(guī)則（三種）生成從初始狀態(tài)到最后狀態(tài)地測(cè)試路徑。三)測(cè)試用例合成:合成測(cè)試路徑與功能圖每個(gè)狀態(tài)地局部測(cè)試用例.結(jié)果是初始狀態(tài)到最后狀態(tài)地一個(gè)狀態(tài)序列,以及每個(gè)狀態(tài)輸入數(shù)據(jù)與對(duì)應(yīng)輸出數(shù)據(jù)地組合。五.測(cè)試用例地合成算法:采用條件構(gòu)造樹(shù).二.實(shí)戰(zhàn)演

暫無(wú)場(chǎng)景設(shè)計(jì)方發(fā)一.方法簡(jiǎn)介現(xiàn)在地軟件幾乎都是用觸發(fā)來(lái)控制流程地,觸發(fā)時(shí)地情景便形成了場(chǎng)景,而同一不同地觸發(fā)順序與處理結(jié)果就形成流。這種在軟件設(shè)計(jì)方面地思想也可以引入到軟件測(cè)試,可以比較生動(dòng)地描繪出觸發(fā)時(shí)地情景,有利于測(cè)試設(shè)計(jì)者設(shè)計(jì)測(cè)試用例,同時(shí)使測(cè)試用例更容易理解與執(zhí)行?；玖髋c備選流:如下圖所示,圖經(jīng)過(guò)用例地每條路徑都用基本流與備選流來(lái)表示,直黑線表示基本流,是經(jīng)過(guò)用例地最簡(jiǎn)單地路徑。備選流用不同地色彩表示,一個(gè)備選流可能從基本流開(kāi)始,在某個(gè)特定條件下執(zhí)行,然后重新加入基本