程序中不可達(dá)路徑的識(shí)別及其在結(jié)構(gòu)測試中的應(yīng)用.pdf

1、結(jié)構(gòu)測試有利于評(píng)價(jià)軟件測試的充分性。然而，測試的不充分是很常見的，必須選擇更多的測試用例去改善測試。每個(gè)新選擇的測試用例需要執(zhí)行特定的路徑。首先面臨的問題就是如何確定一條可達(dá)的路徑，即：在某一輸入下路徑是可執(zhí)行的。在結(jié)構(gòu)測試領(lǐng)域中，不可達(dá)路徑分析越來越突出地顯示出重要的意義。盡早的發(fā)現(xiàn)路徑測試中的不可達(dá)路徑，可以有效的減少測試過程中所耗費(fèi)的人力物力。而目前現(xiàn)有的不可達(dá)路徑識(shí)別方法存在著許多弊端。本文首先分別綜述了結(jié)構(gòu)測試的方法及已有不可

2、達(dá)路徑的識(shí)別方法，并分析了已有不可達(dá)路徑識(shí)別方法中存在的不足。本文給出了一個(gè)基于程序控制流程圖的識(shí)別不可達(dá)路徑的方法，并將識(shí)別到的不可達(dá)路徑信息有效的應(yīng)用于結(jié)構(gòu)測試中，它能夠幫助結(jié)構(gòu)測試中的路徑測試和數(shù)據(jù)流測試提高準(zhǔn)確性。本文的主要貢獻(xiàn)如下：1．給出了一種程序中識(shí)別不可達(dá)路徑的方法。本文給出了一種利用數(shù)據(jù)流分析信息識(shí)別不可達(dá)路徑的方法。該方法基于程序控制流程圖，通過選取適當(dāng)?shù)臈l件謂詞提高了識(shí)別分支的覆蓋率；并利用數(shù)據(jù)流分析技術(shù)對(duì)控制流程

3、圖中每個(gè)基本塊的定值/引用到達(dá)信息進(jìn)行分析，降低了相關(guān)性分析的復(fù)雜度。最后利用分支相關(guān)性的結(jié)果，制定了從路徑集合中識(shí)別不可達(dá)路徑的規(guī)則。2、給出了基于分支相關(guān)影響的相對(duì)基本路徑集的生成方法。該方法在路徑集合生成過程中考慮到分支相關(guān)的影響，生成的相對(duì)基本路徑集合中路徑全部可達(dá)，并且該集合最大程度的提高了路徑的覆蓋率，為路徑測試提供了便利。相對(duì)基本路徑集是程序的部分路徑集合。它有以下特點(diǎn)：(1)每一條路徑都是一條獨(dú)立路徑，即每一條路徑中都包

4、含至少一條不包含在其它路徑中的邊。(2)程序中所有可達(dá)的邊都被訪問。該相對(duì)基本路徑集合比直接從基本路徑集合中去除不可達(dá)路徑方法所生成的路徑集合，對(duì)于程序控制流圖中的可達(dá)邊有了較高的覆蓋率。3、給出了在不可達(dá)路徑影響下的數(shù)據(jù)流測試方法。本文擴(kuò)展[5]中的數(shù)據(jù)流分析方法，將不可達(dá)路徑的影響加入到數(shù)據(jù)流分析中精確數(shù)據(jù)流分析，從而能夠提高軟件故障檢測的準(zhǔn)確率。同時(shí)給出了偽元素的定義和偽交集、偽并集、偽差集的運(yùn)算方法，該方法能夠有效的區(qū)分軟件故障