第九章 路徑測試.ppt

1、第九章 路徑測試,東北大學(xué)軟件學(xué)院,程序圖,東北大學(xué)軟件學(xué)院,定義 給定采用命令式程序設(shè)計(jì)語言編寫的一段程序，其程序圖是一種有向圖，圖中的節(jié)點(diǎn)表示語句片段，邊表示控制流。(完整語句是“默認(rèn)”的語句片段)。,三角形程序的程序圖,東北大學(xué)軟件學(xué)院,4,5,6,7,8,9,10,11,12,13,21,14,15,16,17,18,19,20,22,23,DD-路徑,東北大學(xué)軟件學(xué)院,結(jié)構(gòu)性測試最著名的形式以叫做決策到?jīng)Q策路徑(DD-路徑)的結(jié)構(gòu)為基礎(chǔ)(Miller，1977)。,這個名稱指語句的一種序列，按照Miller的話說，從決策語句的“出路”開始，到下一個決策語句的“入路”結(jié)束，在這種序列中

2、沒有內(nèi)部分支，因此對應(yīng)的節(jié)點(diǎn)像排列起來的一行多米諾骨牌，當(dāng)?shù)谝粡埮仆频购螅蛄兄械钠渌埔矔瓜隆?DD-路徑與有向圖的關(guān)系,東北大學(xué)軟件學(xué)院,DD-路徑可通過有向圖中的節(jié)點(diǎn)路徑定義，可以叫做路徑鏈，其中鏈?zhǔn)且粭l起始和終止節(jié)點(diǎn)不同的路徑，并且每個節(jié)點(diǎn)都滿足內(nèi)度=1和外度=1。,DD-路徑的定義,東北大學(xué)軟件學(xué)院,定義 DD-路徑是程序圖中的一條鏈，使得： 情況1：由一個節(jié)點(diǎn)組成，內(nèi)度=0。 情況2：由一個節(jié)點(diǎn)組成，外度=0。 情況3：由一個節(jié)點(diǎn)組成，內(nèi)度 2或外度2。 情況4：由一個節(jié)點(diǎn)組成，內(nèi)度=1并且外度=1。 情況5：長度1的最大鏈。,三角形問題的DD-路徑類型,東北大學(xué)軟件學(xué)院,三角形

3、程序的DD-路徑圖,東北大學(xué)軟件學(xué)院,第一,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,最后,程序的DD-路徑圖,東北大學(xué)軟件學(xué)院,定義 給定采用命令式語言編寫的一段程序，其DD-路徑圖是有向圖。其中，節(jié)點(diǎn)表示其程序圖的DD-路徑，邊表示連續(xù)DD-路徑之間的控制流。,測試覆蓋指標(biāo),東北大學(xué)軟件學(xué)院,測試覆蓋指標(biāo)，是度量一組測試用例覆蓋(或執(zhí)行)某個程序程度的工具。,語句與判斷測試,東北大學(xué)軟件學(xué)院,這些覆蓋指標(biāo)要求找出一組測試用例，使得當(dāng)執(zhí)行時，程序圖的所有節(jié)點(diǎn)都至少走過一次。,DD-路徑測試,東北大學(xué)軟件學(xué)院,如果每條DD-路徑都被遍歷(C1指標(biāo))，則我們知道每個判斷分支都被

4、執(zhí)行，這要求遍歷DD-路徑圖中的每條邊。,DD-路徑的依賴對偶,東北大學(xué)軟件學(xué)院,Cd涉及第10章將要討論的問題，即數(shù)據(jù)流測試。 DD-路徑對偶之間的最常見的依賴關(guān)系是定義/引用關(guān)系，其中變量在一個DD-路徑中定義(接受值)，在另一個DD-路徑中引用。,多條件覆蓋,東北大學(xué)軟件學(xué)院,不是直接遍歷判斷是到其真或假分支，而應(yīng)該研究可能出現(xiàn)分支的不同方式。,這里可以看到一種有意思的折衷：語句復(fù)雜性和路徑復(fù)雜性。,多條件覆蓋可保證這種復(fù)雜性不會被DD-路徑覆蓋所掩蓋。,循環(huán)覆蓋,東北大學(xué)軟件學(xué)院,串聯(lián)循環(huán)是不相交的簡單循環(huán)序列。,嵌套循環(huán)是一個循環(huán)包含在另一個循環(huán)中的循環(huán)。,Beizer所說的復(fù)雜循環(huán)

5、，如果跳轉(zhuǎn)到某個循環(huán)內(nèi)(或跳轉(zhuǎn)出)，而這個分支位于其他循環(huán)的內(nèi)部，就是復(fù)雜循環(huán)。,循環(huán)覆蓋示意圖,東北大學(xué)軟件學(xué)院,第一,A,B,C,D,最后,第一,A,B,C,D,最后,第一,A,B,C,D,最后,測試覆蓋分析器,東北大學(xué)軟件學(xué)院,覆蓋分析器是一類測試工具，可用于自動化測試支持。,基路徑測試,東北大學(xué)軟件學(xué)院,空間中的一切都可以用基表示，并且如果一個基元素被刪除，則這種覆蓋特性也會丟失。,對測試的潛在意義是，如果可以把程序看做是一種向量空間，則這種空間的基就是要測試的非常有意義的元素集合。,如果基沒有問題，則可以希望能夠用基表述的一切都是沒有問題的。,McCabe的控制圖,東北大學(xué)軟件學(xué)院,

6、線性獨(dú)立路徑數(shù)是： V(G)=e-n+2p=10-7+2*1=5,McCabe的強(qiáng)連接圖,東北大學(xué)軟件學(xué)院,線性獨(dú)立環(huán)路的數(shù)量：V(G)=e-n+p=11-7+1=5,McCabe的基路徑方法,東北大學(xué)軟件學(xué)院,p1：A，B，C，G p2：A，B，C，B，C，G p3：A，B，E，F(xiàn)，G p4：A，D，E，F(xiàn)，G p5：A，D，F(xiàn)，G,路徑A、B、C、B、E、F、G是基和p2+p3-p1,路徑A、B、C、B、C、B、C、G是線性合并2p2-p1,McCabe的路徑/邊的關(guān)聯(lián)矩陣,東北大學(xué)軟件學(xué)院,McCabe的基路徑算法,東北大學(xué)軟件學(xué)院,McCabe接下來開發(fā)了一種算法過程(叫做基線方法)，

7、用于確定基路徑集合。這種方法首先選擇一個基線路徑，應(yīng)該對應(yīng)某個“正常案例”程序執(zhí)行。這種方法有一定的隨意性，McCabe建議選擇都有盡可能多的判斷節(jié)點(diǎn)的路徑。接下來重新回溯基線路徑，依次“翻轉(zhuǎn)”每個判斷點(diǎn)，即當(dāng)節(jié)點(diǎn)的外度2時，必須取不同的邊。,McCabe的基路徑算法舉例,東北大學(xué)軟件學(xué)院,A、B、C、B、E、F、G的路徑為基線,2. A、D、E、F、G,3. A、D、F、G,4. A、B、E、F、G,5. A、B、C、G,三角形問題應(yīng)用McCabe的基路徑方法,東北大學(xué)軟件學(xué)院,三角形問題應(yīng)用McCabe的方法的問題,東北大學(xué)軟件學(xué)院,McCabe的過程成功地標(biāo)識了在拓?fù)浣Y(jié)構(gòu)上獨(dú)立的基路徑，

8、但是如果存在矛盾的語義依賴關(guān)系，拓?fù)浣Y(jié)構(gòu)上可行的路徑在邏輯上有可能不可行。,三角形問題應(yīng)用McCabe的方法解決方法,東北大學(xué)軟件學(xué)院,如果仔細(xì)考慮到這個問題，可以找出兩條規(guī)則： 如果經(jīng)過節(jié)點(diǎn)C，則必須經(jīng)過節(jié)點(diǎn)H。 如果經(jīng)過節(jié)點(diǎn)D，則必須經(jīng)過節(jié)點(diǎn)G。,結(jié)構(gòu)化程序設(shè)計(jì)構(gòu)造,東北大學(xué)軟件學(xué)院,串行,IF-Then,IF-Then-Else,條件,前測試環(huán)路,后測試環(huán)路,三角形問題結(jié)構(gòu)化程序設(shè)計(jì)構(gòu)造壓縮,東北大學(xué)軟件學(xué)院,三角形問題結(jié)構(gòu)化程序設(shè)計(jì)構(gòu)造壓縮,東北大學(xué)軟件學(xué)院,非結(jié)構(gòu)化程序的測試,東北大學(xué)軟件學(xué)院,測試人員的基本原則是：具有高圈復(fù)雜度的程序需要更充分的測試。,采用圈復(fù)雜度指標(biāo)的機(jī)構(gòu)，大多數(shù)都確定了某種最大可接受復(fù)雜度指導(dǎo)方針，一般都選擇V(G)=10。,如果單元的基本復(fù)雜度超過了指導(dǎo)方針規(guī)定，則最好的選擇常常是解決非結(jié)構(gòu)化問題。,指導(dǎo)方針與觀察,東北大學(xué)軟件學(xué)院,基路徑測試給出了必須進(jìn)行的測試的下限。,如果發(fā)現(xiàn)同一條程序路徑被多個功能性測試性用例遍歷，就