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

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

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

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

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