軟件測(cè)試因果圖測(cè)試

《軟件測(cè)試因果圖測(cè)試》由會(huì)員分享，可在線閱讀，更多相關(guān)《軟件測(cè)試因果圖測(cè)試（22頁(yè)珍藏版）》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。

1、A Free sample background from ,Click to edit Master title style,Click to edit Master text styles,Second level,Third level,Slide,*,*,3.6,因果圖法,3.6.1,因果圖法的簡(jiǎn)介,3.6.2,因果圖,3.6.3,因果圖法測(cè)試舉例,3.6.1,因果圖法的簡(jiǎn)介,因果圖法產(chǎn)生的背景：,等價(jià)類劃分法和邊界值分析方法都是著重考慮輸入條件，但沒(méi)有考慮輸入條件的各種組合、輸入條件之間的相互制約關(guān)系。這樣雖然各種輸入條件可能出錯(cuò)的情況已經(jīng)測(cè)試到了，但多個(gè)輸入條件組合起來(lái)可能出錯(cuò)的情

2、況卻被忽視了。,如果在測(cè)試時(shí)必須考慮輸入條件的各種組合，則可能的組合數(shù)目將是天文數(shù)字，因此必須考慮采用一種適合于描述多種條件的組合、相應(yīng)產(chǎn)生多個(gè)動(dòng)作的形式來(lái)進(jìn)行測(cè)試用例的設(shè)計(jì)，這就需要利用因果圖（邏輯模型）。,因果圖法的簡(jiǎn)介,（續(xù)）,因果圖法是基于這樣的一種思想：一些程序的功能可以用判定表（或稱決策表）的形式來(lái)表示，并根據(jù)輸入條件的組合情況規(guī)定相應(yīng)的操作。,因果圖法的定義：是一種利用圖解法分析輸入的各種組合情況，從而設(shè)計(jì)測(cè)試用例的方法，它適合于檢查程序輸入條件的各種組合情況。,采用因果圖法設(shè)計(jì)測(cè)試用例的步驟：,（,1,）根據(jù)程序規(guī)格說(shuō)明書描述，分析并確定因（輸入條件）和果（輸出結(jié)果或程序狀態(tài)的

3、改變），畫出因果圖。,（,2,）將得到的因果圖轉(zhuǎn)換為判定表。,（,3,）為判定表中每一列所表示的情況設(shè)計(jì)一個(gè)測(cè)試用例。,因果圖法的簡(jiǎn)介,（續(xù)）,使用因果圖法的優(yōu)點(diǎn)：,（,1,）考慮到了輸入情況的各種組合以及各個(gè)輸入情況之間的相互制約關(guān)系。,（,2,）能夠幫助測(cè)試人員按照一定的步驟，高效率的開(kāi)發(fā)測(cè)試用例。,（,3,）因果圖法是將自然語(yǔ)言規(guī)格說(shuō)明轉(zhuǎn)化成形式語(yǔ)言規(guī)格說(shuō)明的一種嚴(yán)格的方法，可以指出規(guī)格說(shuō)明存在的不完整性和二義性。,3.6.2,因果圖,因果圖中用來(lái)表示,4,種因果關(guān)系的基本符號(hào)：,c,1,e,1,恒等,c,1,e,1,非,c,1,e,1,或,c,2,c,3,c,1,e,1,與,c,2,因

4、果圖,（續(xù)）,因果圖中的4種基本關(guān)系,在因果圖的基本符號(hào)中，圖中的左結(jié)點(diǎn),c,i,表示輸入狀態(tài)（或稱原因），右結(jié)點(diǎn),e,i,表示輸出狀態(tài)（或稱結(jié)果）。,c,i,與,e,i,取值0或1，0表示某狀態(tài)不出現(xiàn)，1則表示某狀態(tài)出現(xiàn)。,恒等：若,c,1,是1，則,e,1,也為,1，,否則,e,1,為,0,非：若,c,1,是1，則,e,1,為,0，,否則,e,1,為,1,或：若,c,1,或,c,2,或,c,3,是1，則,e,1,為,1，,否則,e,1,為,0,與：若,c,1,和,c,2,都是1，則,e,1,為,1，,否則,e,1,為,0,因果圖,（續(xù)）,因果圖中的約束,在實(shí)際問(wèn)題中輸入狀態(tài)相互之間、輸出狀

5、態(tài)相互之間可能存在某些依賴關(guān)系，稱為“約束”。對(duì)于輸入條件的約束有,E,、,I,、,O,、,R,四種約束，對(duì)于輸出條件的約束只有,M,約束。,E,約束(異)：,a,和,b,中最多有一個(gè)可能為1，即,a,和,b,不能同時(shí) 為1。,I,約束(或)：,a、b、c,中至少有一個(gè)必須為1，即,a、b、c,不能同時(shí)為0。,O,約束(唯一)：,a,和,b,必須有一個(gè)且僅有一個(gè)為1。,R,約束(要求)：,a,是1時(shí)，,b,必須是1，即,a,為1時(shí)，,b,不能為0。,M,約束(強(qiáng)制)：若結(jié)果,a,為1，則結(jié)果,b,強(qiáng)制為0。,因果圖,（續(xù)）,a,b,異,E,a,b,或,I,c,a,b,唯一,O,R,a,b,要求

6、,M,a,b,強(qiáng)制,因果圖中用來(lái)表示約束關(guān)系的約束符號(hào)：,因果圖,（續(xù)）,因果圖法最終生成的是決策表。利用因果圖生成測(cè)試用例的基本步驟如下：,（,1,）分析軟件規(guī)格說(shuō)明中哪些是原因（即輸入條件或輸入條件的等價(jià)類），哪些是結(jié)果（即輸出條件），并給每個(gè)原因和結(jié)果賦予一個(gè)標(biāo)識(shí)符。,（,2,）分析軟件規(guī)格說(shuō)明中的語(yǔ)義，找出原因與結(jié)果之間、原因與原因之間對(duì)應(yīng)的關(guān)系，根據(jù)這些關(guān)系畫出因果圖。,（,3,）由于語(yǔ)法或環(huán)境的限制，有些原因與原因之間、原因與結(jié)果之間的組合情況不可能出現(xiàn)。為表明這些特殊情況，在因果圖上用一些記號(hào)表明約束或限制條件。,（,4,）把因果圖轉(zhuǎn)換為決策表。,（,5,）根據(jù)決策表中的每一列設(shè)

7、計(jì)測(cè)試用例。,3.6.3,因果圖法測(cè)試舉例,實(shí)例,用因果圖法測(cè)試以下程序。,程序的規(guī)格說(shuō)明要求：輸入的第一個(gè)字符必須是,#,或*，第二個(gè)字符必須是一個(gè)數(shù)字，此情況下進(jìn)行文件的修改；如果第一個(gè)字符不是,#,或*，則給出信息,N,，如果第二個(gè)字符不是數(shù)字，則給出信息,M,。,解題步驟：,（,1,）分析程序的規(guī)格說(shuō)明，列出原因和結(jié)果。,（,2,）找出原因與結(jié)果之間的因果關(guān)系、原因與原因之間的約束關(guān)系，畫出因果圖。,（,3,）將因果圖轉(zhuǎn)換成決策表。,（,4,）根據(jù)（,3,）中的決策表，設(shè)計(jì)測(cè)試用例的輸入數(shù)據(jù)和預(yù)期輸出。,因果圖法測(cè)試舉例,（續(xù)）,（,1,）分析程序規(guī)格說(shuō)明中的原因和結(jié)果：,（,2,）畫

8、出因果圖（編號(hào)為,10,的中間結(jié)點(diǎn)是導(dǎo)出結(jié)果的進(jìn)一步原因）：,原因,結(jié)果,c1,：第一個(gè)字符是,#,e1,：給出信息,N,c2,：第一個(gè)字符是,*,e2,：修改文件,c3,：第二個(gè)字符是一個(gè)數(shù)字,e3,：給出信息,M,c,1,c,2,c,3,e,1,10,e,2,e,3,E,因果圖法測(cè)試舉例,（續(xù)）,（,3,）將因果圖轉(zhuǎn)換成如下所示的決策表：,1,2,3,4,5,6,7,8,條件：,C1,C2,C3,10,1,1,1,1,1,0,1,0,1,1,1,0,0,1,0,1,1,1,0,1,0,1,0,0,1,0,0,0,0,0,動(dòng)作：,e1,e2,e3,不可能,測(cè)試用例,#3,#A,*,6,*,B

9、,A1,GT,規(guī)則,選項(xiàng),因果圖法測(cè)試舉例,（續(xù)）,（,4,）根據(jù)決策表中的每一列設(shè)計(jì)測(cè)試用例：,測(cè)試用例編號(hào),輸入數(shù)據(jù),預(yù)期輸出,1,#3,修改文件,2,#A,給出信息,M,3,*,6,修改文件,4,*,B,給出信息,M,5,A1,給出信息,N,6,GT,給出信息,N,和信息,M,有一個(gè)處理單價(jià)為,1,元,5,角錢的盒裝飲料的自動(dòng)售貨機(jī)軟件。若投入,1,元,5,角硬幣，按下“可樂(lè)”、“雪碧”或“紅茶”按鈕，相應(yīng)的飲料就送出來(lái)。若投入的是兩元硬幣，在送出飲料的同時(shí)退還,5,角硬幣。,原因：投入,1,元,5,角硬幣；投入,2,元硬幣；按“可樂(lè)”按鈕；按“雪碧”按鈕；按“紅茶”按鈕。,中間狀態(tài)：已

10、投幣；已按鈕。,結(jié)果：退還,5,角硬幣；送出“可樂(lè)”飲料；送出“雪碧”飲料；送出“紅茶”飲料。,因果圖,決策表,習(xí)題,1,、使用因果圖法為三角形問(wèn)題設(shè)計(jì)測(cè)試用例。,2,、某軟件的一個(gè)模塊的需求規(guī)格說(shuō)明書中描述：,（,1,）年薪制員工：嚴(yán)重過(guò)失，扣年終風(fēng)險(xiǎn)金的,4%,；過(guò)失，扣年終風(fēng)險(xiǎn)金的,2%,。,（,2,）非年薪制員工：嚴(yán)重過(guò)失，扣當(dāng)月薪資的,8%,；過(guò)失，扣當(dāng)月薪資的,4%,。,請(qǐng)繪制出因果圖和判定表，并給出相應(yīng)的測(cè)試用例。,3.8,錯(cuò)誤推測(cè)法,錯(cuò)誤推測(cè)法的概念：基于經(jīng)驗(yàn)和直覺(jué)推測(cè)程序中所有可能存在的各種錯(cuò)誤，從而有針對(duì)性的設(shè)計(jì)測(cè)試用例的方法。,錯(cuò)誤推測(cè)方法的基本思想：列舉出程序中所有可能

11、有的錯(cuò)誤和容易發(fā)生錯(cuò)誤的特殊情況，根據(jù)它們選擇測(cè)試用例。例如：,在單元測(cè)試時(shí)曾列出的許多在模塊中常見(jiàn)的錯(cuò)誤、以前產(chǎn)品測(cè)試中曾經(jīng)發(fā)現(xiàn)的錯(cuò)誤等，這些就是經(jīng)驗(yàn)的總結(jié)。,還有，輸入數(shù)據(jù)和輸出數(shù)據(jù)為,0,的情況、輸入表格為空格或輸入表格只有一行等。這些都是容易發(fā)生錯(cuò)誤的情況，可選擇這些情況下的例子作為測(cè)試用例。,3.9,測(cè)試方法的選擇,通常，在確定測(cè)試方法時(shí)，應(yīng)遵循以下原則：,根據(jù)程序的重要性和一旦發(fā)生故障將造成的損失來(lái)確定測(cè)試等級(jí)和測(cè)試重點(diǎn)。,認(rèn)真選擇測(cè)試策略，以便能盡可能少的使用測(cè)試用例，發(fā)現(xiàn)盡可能多的程序錯(cuò)誤。因?yàn)橐淮瓮暾能浖y(cè)試過(guò)后，如果程序中遺留的錯(cuò)誤過(guò)多并且嚴(yán)重，則表明該次測(cè)試是不足的，而

12、測(cè)試不足則意味著讓用戶承擔(dān)隱藏錯(cuò)誤帶來(lái)的危險(xiǎn)，但測(cè)試過(guò)度又會(huì)帶來(lái)資源的浪費(fèi)。因此測(cè)試需要找到一個(gè)平衡點(diǎn)。,測(cè)試方法的選擇,（續(xù)）,通常在確定測(cè)試策略時(shí)，有以下5條參考原則：,（,1,）在任何情況下都必須采用邊界值分析法。這種方法設(shè)計(jì)出的測(cè)試用例發(fā)現(xiàn)程序錯(cuò)誤的能力最強(qiáng)。,（,2,）必要時(shí)采用等價(jià)類劃分法補(bǔ)充測(cè)試用例。,（,3,）采用錯(cuò)誤推斷法再追加測(cè)試用例。,（,4,）對(duì)照程序邏輯，檢查已設(shè)計(jì)出的測(cè)試用例的邏輯覆蓋程度。如果沒(méi)有達(dá)到要求的覆蓋標(biāo)準(zhǔn)，則應(yīng)當(dāng)再補(bǔ)充更多的測(cè)試用例。,（,5,）如果程序的功能說(shuō)明中含有輸入條件的組合情況，則應(yīng)一開(kāi)始就選用因果圖法。,習(xí)題,2,、有一個(gè)處理單價(jià)為,5,角錢的飲料的自動(dòng)售貨機(jī)，相應(yīng)規(guī)格說(shuō)明如下：,若投入,5,角錢或,1,元錢的硬幣，按下,橙汁,或,啤酒,的按鈕，則相應(yīng)的飲料就送出來(lái)。（每次只投入一個(gè)硬幣，只按下一種飲料的按鈕）,如投入,5,角的硬幣，按下按鈕后，總有飲料送出。,若售貨機(jī)沒(méi)有零錢找，則一個(gè)顯示,零錢找完,的紅燈會(huì)亮，這時(shí)再投入,1,元硬幣并按下按鈕后，飲料不送出來(lái)而且,1,元硬幣也退出來(lái)。,若有零錢找，則顯示,零錢找完,的紅燈不會(huì)亮，若投入,1,元硬幣及按飲料按鈕，則送出飲料的同時(shí)找回,5,角硬幣。,請(qǐng)選擇適當(dāng)?shù)暮诤袦y(cè)試方法，寫出選擇該方法的原因，并使用該方法的步驟，設(shè)計(jì)出相應(yīng)的測(cè)試用例。,