軟件測(cè)試方法二

1、軟件測(cè)試方法和技術(shù) - Ch.3軟件測(cè)試方法1第三章 軟件測(cè)試方法3.1 白盒測(cè)試方法3.2 黑盒測(cè)試方法3.3 靜態(tài)測(cè)試和動(dòng)態(tài)測(cè)試3.4 主動(dòng)測(cè)試和被動(dòng)測(cè)試3.5 形式化測(cè)試方法3.6 基于風(fēng)險(xiǎn)的測(cè)試3.7 模糊測(cè)試方法3.8 ALAC測(cè)試和隨機(jī)測(cè)試方法23.2.5 因果圖法測(cè)試用例設(shè)計(jì)多種輸入條件的組合，產(chǎn)生多種結(jié)果設(shè)計(jì)測(cè)試用例。設(shè)計(jì)步驟：分割功能說(shuō)明書，識(shí)別“原因”和“結(jié)果”，并加以編號(hào)。分析程序規(guī)格說(shuō)明的描述中，哪些是原因，哪些是結(jié)果。原因常常是輸入條件或是輸入條件的等價(jià)類，而結(jié)果是輸出條件。根據(jù)原因與結(jié)果之間的關(guān)系畫出因果圖標(biāo)明約束條件 把因果圖轉(zhuǎn)換成判定表。 為判定表中每一列表示的

2、情況設(shè)計(jì)測(cè)試用例。3因果圖通常在因果圖中，用Ci表示原因，Ei表示結(jié)果，其基本符號(hào)如下圖所示。各結(jié)點(diǎn)表示狀態(tài)，可取“0”或“1”?！?”表示某狀態(tài)不會(huì)出現(xiàn)，“1”表示某狀態(tài)出現(xiàn)4因果圖法由于語(yǔ)法或環(huán)境的限制，有些原因和結(jié)果的組合情況是不可能出現(xiàn)的。為表明這些特定的情況，在因果圖上使用若干標(biāo)準(zhǔn)的符號(hào)標(biāo)明約束條件。從輸入原因考慮，有4種約束，如下圖所示。E(互斥)：表示a、b兩個(gè)原因不會(huì)同時(shí)成立，兩個(gè)中最多有一個(gè)可能成立。I(包含)：表示a、b、c這三個(gè)原因中至少有一個(gè)必須成立。O(唯一)：表示a、b當(dāng)中必須有一個(gè)，且僅有一個(gè)成立。R(要求)：表示當(dāng)a出現(xiàn)時(shí)，b也必須出現(xiàn)。a出現(xiàn)時(shí)b不可能不出現(xiàn)。

3、M(屏蔽)：表示當(dāng)a是1時(shí)，b必須是0。而當(dāng)a為0時(shí)，b的值不定。5舉例某軟件規(guī)格說(shuō)明中包含這樣的要求：第一列字符必須是A或B，第二列字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改。但如果第一列字符不正確，則給出信息L;如果第二列字符不是數(shù)字，則給出信息M。分析原因和結(jié)果原因：1-第一列字符是A;2-第一列字符是B;3-第二列字符是一數(shù)字。結(jié)果：21-修改文件;22-給出信息L;23-給出信息M。6因果圖1231121222378舉例有一個(gè)處理單價(jià)為1元的盒裝飲料的自動(dòng)售貨機(jī)軟件。若投入1元硬幣，按下“可樂(lè)”、“雪碧”或“紅茶”按鈕，相應(yīng)的飲料就送出來(lái)。若投入的是兩元硬幣，在送出飲料的同時(shí)退還1

4、元硬幣。根據(jù)對(duì)這一段說(shuō)明的分析，列出原因和結(jié)果。原因：投入1元硬幣；投入2元硬幣；按“可樂(lè)”按鈕；按“雪碧”按鈕；按“紅茶”按鈕。中間狀態(tài)：已投幣；已按鈕。結(jié)果：退還1元硬幣；送出“可樂(lè)”飲料；送出“雪碧”飲料；送出“紅茶”飲料。9因果圖10113.2.5 正交實(shí)驗(yàn)法當(dāng)輸入條件多，且每個(gè)條件不能以“是”或“否”來(lái)回答，測(cè)試組合會(huì)很多，工作量也很大。利用因果圖來(lái)設(shè)計(jì)測(cè)試用例時(shí), 作為輸入條件的原因與輸出結(jié)果之間的因果關(guān)系,有時(shí)很難從軟件需求 規(guī)格說(shuō)明中得到。往往因果關(guān)系非常龐大,以至于據(jù)此因果圖而得到的測(cè)試用例數(shù)目多的驚人，給軟件測(cè)試 帶來(lái)沉重的負(fù)擔(dān)，123.2.6 正交實(shí)驗(yàn)法利用正交實(shí)驗(yàn)設(shè)計(jì)方

5、法設(shè)計(jì)測(cè)試用例，有以下優(yōu)點(diǎn)：節(jié) 省測(cè)試工作工時(shí)；可控制生成的測(cè)試用例數(shù)量；測(cè)試用例具有一定的覆蓋率。正交實(shí)驗(yàn)法是研究多因素多水平的一種設(shè)計(jì)方法，依據(jù)高斯理論根據(jù)正交性原理，選擇部分有代表性的點(diǎn)進(jìn)行實(shí)驗(yàn)，具備“均勻分散，整齊可比”的特點(diǎn)。日本著名的統(tǒng)計(jì)學(xué)家田口玄一將正交試驗(yàn)選擇的水平組合列成表格，稱為正交表。 133.2.6 正交實(shí)驗(yàn)法舉例，一個(gè)化工生產(chǎn)過(guò)程，要提高產(chǎn)品的轉(zhuǎn)化率，選擇影響轉(zhuǎn)化率的三個(gè)因素：溫度（A），時(shí)間（B）和用堿量（C），在其實(shí)驗(yàn)范圍內(nèi)選定幾個(gè)具有代表性的值來(lái)進(jìn)行實(shí)驗(yàn)（1）A：80、85、90（2）B：90、120、150（分鐘）（3）C：5、6、7%分別以全面實(shí)驗(yàn)法、單因子

6、實(shí)驗(yàn)法和正交實(shí)驗(yàn)法來(lái)詳細(xì)討論。 水平因子123溫度808590時(shí)間90120150用堿量5%6%7%143.2.6 正交實(shí)驗(yàn)法全面實(shí)驗(yàn)法將所有的因子的水平組合均作一次，即3*3*3=27次多次單因子實(shí)驗(yàn)固定其他因子不變的情況下，只改變一個(gè)因子，得出該因子的最佳水平數(shù)，在此基礎(chǔ)上類推，得到其他因子的最佳水平參數(shù)。實(shí)驗(yàn)次數(shù)：3+2*2=7結(jié)論有很大的片面性。153.2.6 正交實(shí)驗(yàn)法正交實(shí)驗(yàn)法的步驟提取功能說(shuō)明構(gòu)造因子-狀態(tài)表 把影響實(shí)驗(yàn)指標(biāo)的條件稱為因子，單個(gè)因子所能取的最大值稱為水平數(shù)?？紤]到被測(cè)系統(tǒng)中準(zhǔn)備測(cè)試的功能點(diǎn)，而這些功能點(diǎn)就是要獲取的因子或因 素，但每個(gè)功能點(diǎn)要輸入的數(shù)據(jù)按等價(jià)類劃分

7、有多個(gè)，即每個(gè)因素的輸入條件，即狀態(tài)或水平值 加權(quán)篩選，生成因素分析表。利用正交表構(gòu)造測(cè)試數(shù)據(jù)集 正交表：在一整套比較嚴(yán)格的規(guī)則下設(shè)計(jì)出的表格，用Ln（tc）來(lái)表示，其中L是正交表代號(hào)，n是實(shí)驗(yàn)次數(shù)，t是水平數(shù)，c為列數(shù)，也是可能安排最多的因子個(gè)數(shù)。如：L8(27)水平數(shù)2因子數(shù)7測(cè)試用例數(shù)8 )163.2.6 正交實(shí)驗(yàn)法正交實(shí)驗(yàn)法舉例水平數(shù)3，因子數(shù)3，考慮交互作用，可以設(shè)置空白列L9（34）=因子數(shù)*（水平數(shù)-1）+1=（4*（3-1）+1=9正交表的每一列中不同的數(shù)字出現(xiàn)次數(shù)相等任意兩列數(shù)字的排列方式齊全而且均衡173.2.6 正交實(shí)驗(yàn)法18L9（34）的正交表因子數(shù)列數(shù)12341111

8、1212223133342123522326231173132832139332119根據(jù)L9（34）正交表生成的測(cè)試數(shù)據(jù)因素測(cè)試用例ABC水平組合18090分5%A1B1C1280120分6%A1B2C2380150分7%A1B3C348590分6%A2B1C2585120分7%A2B2C3685150分5%A2B3C179090分7%A3B1C3890120分5%A3B2C1990150分6%A3B3C2203.2.7 功能圖法功能圖法就是使用功能圖形式化表示程序的功能說(shuō)明，由狀態(tài)遷移圖和布爾函數(shù)組成，同時(shí)需要依靠判定表或因果圖表示邏輯功能，并機(jī)械地生成功能圖的測(cè)試用例。功能圖法是黑盒、白

9、盒混合用例的設(shè)計(jì)方法。程序的功能由靜態(tài)說(shuō)明和動(dòng)態(tài)說(shuō)明組成，動(dòng)態(tài)說(shuō)明描述輸入數(shù)據(jù)的次序或者轉(zhuǎn)移的次序；靜態(tài)說(shuō)明描述輸入與輸出條件之間的對(duì)應(yīng)關(guān)系。功能圖模型有狀態(tài)遷移圖和邏輯功能模型組成。狀態(tài)遷移圖針對(duì)動(dòng)態(tài)說(shuō)明，邏輯功能模型針對(duì)靜態(tài)說(shuō)明213.2.7 功能圖法程序的功能由靜態(tài)說(shuō)明和動(dòng)態(tài)說(shuō)明組成，動(dòng)態(tài)說(shuō)明描述輸入數(shù)據(jù)的次序或者轉(zhuǎn)移的次序；靜態(tài)說(shuō)明描述輸入與輸出條件之間的對(duì)應(yīng)關(guān)系。功能圖法就是使用功能圖形式化表示程序的功能說(shuō)明，并生成功能圖的測(cè)試用例功能圖模型有狀態(tài)遷移圖和邏輯功能模型組成。狀態(tài)遷移圖針對(duì)動(dòng)態(tài)說(shuō)明，邏輯功能模型針對(duì)靜態(tài)說(shuō)明223.2.7 功能圖法（動(dòng)態(tài)說(shuō)明）空閑狀態(tài)等待輸入密碼ESC鍵

10、按下不正確的密碼輸入正確的密碼輸入狀態(tài)遷移圖233.2.7 功能圖法（靜態(tài)說(shuō)明）邏輯功能表輸入ESC鍵按下I1其他鍵按下I2正確密碼輸入I3錯(cuò)誤密碼輸入I4輸出顯示密碼輸入框O1密碼錯(cuò)誤提示信息O2狀態(tài)空閑狀態(tài)S1等待輸入密碼S2返回空閑狀態(tài)S3初始化屏幕S4243.2.7 功能圖法生成功能圖測(cè)試用例的步驟如下：1）生成局部測(cè)試用例：在每個(gè)狀態(tài)中，通過(guò)因果圖生成局部測(cè)試用例。2）生成測(cè)試路徑：利用規(guī)則生成從初始狀態(tài)到最后狀態(tài)的測(cè)試路徑。3）合成測(cè)試用例：合成測(cè)試路徑與功能圖中每個(gè)狀態(tài)的局部測(cè)試用例。其結(jié)果是初始狀態(tài)到最后狀態(tài)的一個(gè)狀態(tài)序列，以及每個(gè)狀態(tài)中輸入數(shù)據(jù)與對(duì)應(yīng)輸出數(shù)據(jù)的組合。4）采用條

11、件構(gòu)造樹測(cè)試用例的合成算法。253.2.8 測(cè)試場(chǎng)景法現(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í)行由Rational公司提出，充分利用USE-CASE圖生成測(cè)試用例用例場(chǎng)景表述流經(jīng)用例的路徑，從用例開始到結(jié)束遍歷路徑上所有基本流和備選流。263.2.8 測(cè)試場(chǎng)景法基本流：經(jīng)過(guò)用例最簡(jiǎn)單的路徑（無(wú)任何差錯(cuò)，程序從開始執(zhí)行到結(jié)束），基本流通采用黑線表示備選流：由基本流開始，在某個(gè)特

12、定條件下執(zhí)行，然后重新加入基本流（一般是各種錯(cuò)誤情況）開始用例結(jié)束用例備選流1備選流2備選流3備選流4273.2.8 測(cè)試場(chǎng)景法測(cè)試場(chǎng)景1：基本流1測(cè)試場(chǎng)景2：基本流1，備選流1測(cè)試場(chǎng)景3：基本流1，備選流1，備選流2測(cè)試場(chǎng)景4：基本流1，備選流3測(cè)試場(chǎng)景5：基本流1，備選流4測(cè)試場(chǎng)景6：基本流1，備選流3，備選流1測(cè)試場(chǎng)景7：基本流1，備選流3，備選流1，備選流2測(cè)試場(chǎng)景8：基本流1，備選流3，備選流4開始用例結(jié)束用例備選流1備選流2備選流3備選流4283.2.8 測(cè)試場(chǎng)景法說(shuō)明：V是表示有效數(shù)據(jù)元素，I是表示無(wú)效數(shù)據(jù)元素，n/a是表示不適應(yīng)或沒有場(chǎng)景測(cè)試用例設(shè)計(jì)表29基于測(cè)試方法選擇的綜合

13、策略測(cè)試的設(shè)計(jì)方法不會(huì)單獨(dú)存在，具體到每個(gè)項(xiàng)目會(huì)用多種方法。實(shí)際測(cè)試中，往往要綜合使用多種方法才能提高測(cè)試效率和覆蓋度。首先進(jìn)行等價(jià)類劃分；任何情況使用邊界值分析法；使用錯(cuò)誤推測(cè)法追加測(cè)試用例；對(duì)照程序邏輯，檢查用例的邏輯覆蓋程度；如果含有輸入條件的組合，選用正交實(shí)驗(yàn)法、因果圖法或判定表驅(qū)動(dòng)法；對(duì)于業(yè)務(wù)流清晰的系統(tǒng)，可以利用場(chǎng)景法貫穿整個(gè)測(cè)試過(guò)程，綜合使用各種測(cè)試方法。303.3 靜態(tài)測(cè)試與動(dòng)態(tài)測(cè)試定義:在不執(zhí)行軟件的條件下有條理地仔細(xì)審查軟件設(shè)計(jì)、體系結(jié)構(gòu)和代碼，從而找出軟件缺陷的過(guò)程。有時(shí)也稱為結(jié)構(gòu)分析。作用:盡早發(fā)現(xiàn)軟件缺陷，以找出動(dòng)態(tài)黑盒白盒測(cè)試難以揭示或發(fā)現(xiàn)的軟件缺陷為接受該軟件測(cè)試

14、的黑盒測(cè)試員進(jìn)行測(cè)試設(shè)計(jì)測(cè)試案例提供思路，他們不必了解代碼細(xì)節(jié)，但是根據(jù)審查備注，可以確定有問(wèn)題或者容易存在軟件缺陷的特性范圍問(wèn)題:認(rèn)為會(huì)減慢軟件開發(fā)過(guò)程。313.5 形式化測(cè)試為解決自然語(yǔ)言設(shè)計(jì)和描述帶來(lái)的問(wèn)題，提出形式化方法。形式化方法的寄出是熟悉和邏輯學(xué)，通過(guò)嚴(yán)格的數(shù)字邏輯和形式語(yǔ)言完成軟件定義，然后通過(guò)相應(yīng)工具進(jìn)行自動(dòng)化分析、編碼和驗(yàn)證。UML就是一種半形式化方法。323.8 ALAC測(cè)試和隨機(jī)測(cè)試法ALAC測(cè)試（act-like-customer）:像客戶一樣，針對(duì)最常用的功能進(jìn)行測(cè)試。特別場(chǎng)合：演示版、開放預(yù)算低、沒有時(shí)間測(cè)試。降低成本、縮短測(cè)試時(shí)間隨機(jī)測(cè)試基于概率統(tǒng)計(jì)的思想，強(qiáng)調(diào)人工的自由測(cè)試，不收測(cè)試用例的束縛33小結(jié)3.1 白盒測(cè)試方法3.2 黑盒測(cè)試方法3.3 靜態(tài)測(cè)試和動(dòng)態(tài)測(cè)試3.4 主動(dòng)測(cè)試和被動(dòng)測(cè)試3.5 形式化測(cè)試方法3.8 ALAC測(cè)試和隨機(jī)測(cè)試方法3435問(wèn)題1:使用場(chǎng)景法設(shè)計(jì)測(cè)試場(chǎng)景.基本流/備用流使用表1對(duì)應(yīng)的字母編號(hào)問(wèn)題2:給出測(cè)試用例,將表中的輸入條件和預(yù)期輸