路徑測(cè)試是一種覆蓋程度較高的白盒測(cè)試方法,測(cè)試軟件的完整路徑可以有效提高軟件可靠性,而路徑生成是路徑測(cè)試的前提。隨著軟件規(guī)模和復(fù)雜性的日益增加,程序中分支、循環(huán)以及函數(shù)調(diào)用的嵌套使用,使得路徑的長(zhǎng)度和數(shù)量激增。目前已有的測(cè)試方法難以自動(dòng)生成軟件的完整路徑,實(shí)現(xiàn)對(duì)路徑的詳細(xì)測(cè)試。針對(duì)上述問(wèn)題,本文提出了一種完整路徑自動(dòng)生成模型。圍繞該模型本文做了以下研究:（1）針對(duì)分支和循環(huán)引起的路徑爆炸問(wèn)題,提出了一種動(dòng)靜結(jié)合的基本路徑集生成方法。首先基于深度優(yōu)先搜索策略,結(jié)合回溯法、關(guān)鍵路徑法等靜態(tài)選路方法和動(dòng)態(tài)執(zhí)行方法生成函數(shù)內(nèi)路徑,隨后判定路徑可達(dá)性和線性無(wú)關(guān)性,以此來(lái)生成可達(dá)的基本路徑集。（2）針對(duì)函數(shù)調(diào)用引起的路徑爆炸問(wèn)題,提出了一種啟發(fā)式過(guò)程間路徑生成方法。首先將函數(shù)調(diào)用分為無(wú)影響調(diào)用、局部影響調(diào)用、后置影響調(diào)用和局部-后置影響調(diào)用四類,隨后對(duì)不同分類采用隨機(jī)選擇策略和區(qū)間匹配策略,最后根據(jù)目標(biāo)函數(shù)啟發(fā)式引導(dǎo)過(guò)程間路徑生成。上述方法在功能測(cè)試系統(tǒng)（Function Test System,FTS）上進(jìn)行了實(shí)現(xiàn),并選取了 3個(gè)開源C語(yǔ)言工程進(jìn)行驗(yàn)證。實(shí)驗(yàn)結(jié)果表明,本文提出的完整路徑自動(dòng)生成模... 

【文章來(lái)源】：北京郵電大學(xué)北京市 211工程院校 教育部直屬院校

【文章頁(yè)數(shù)】：68 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

圖３－４三種函數(shù)調(diào)用??

數(shù)節(jié)點(diǎn)Ｂ之間的邊；ｉＶｅｎｔｒｙ是ＣＧ的根節(jié)點(diǎn)，也即被測(cè)工程的入口節(jié)點(diǎn)，在Ｃ語(yǔ)??言工程中通常為ｍａｉｎ函數(shù)。??代碼３－３的函數(shù)調(diào)用關(guān)系圖如圖３－５所示。??ｆｕｎｄ???＞ｊｒ???ｆｉｉｎｃ２??ｆｕｎｃ３?ｆｕｎｃ４???????圖３－５代碼３－３對(duì)應(yīng)的函數(shù)調(diào)用關(guān)系圖??定義３－８函數(shù)調(diào)用路徑：函數(shù)調(diào)用路徑（Ｆｕｎｃｔｉｏｎ?Ｃａｌｌ?Ｐａｔｈ，?ＦＣＰ）是函數(shù)節(jié)??點(diǎn)的序列，形如：ＦＣＰ?＝?／】－＞?／２－?＞－?。相鄰兩個(gè)函數(shù)／？和力之間當(dāng)函數(shù)，??調(diào)用了函數(shù)石，或者函數(shù)調(diào)用路徑中函數(shù)ｆ；？前面的某函數(shù)調(diào)用了／再順序調(diào)用石，??都有函數(shù)調(diào)用路徑中的邊乂＋－?＞?／｝。??在完整路徑自動(dòng)生成模型中，根據(jù)函數(shù)調(diào)用路徑生成過(guò)程間路徑，直至生成??２１??

４．１系統(tǒng)架構(gòu)??本文在上一章節(jié)提出的完整路徑自動(dòng)生成模型（ＷＰＰＡＧＭ）的系統(tǒng)架構(gòu)圖??如圖４－１所示，該框架可以自動(dòng)對(duì)軟件源代碼進(jìn)行靜態(tài)分析以提取軟件的基本信??息，包括軟件的函數(shù)調(diào)用關(guān)系圖以及各個(gè)函數(shù)單元的控制流圖，同時(shí)分析軟件的??功能需求說(shuō)明書以提取其中所定義的軟件功能，然后自動(dòng)生成軟件路徑，以及測(cè)??試用例自動(dòng)生成等功能。??ｙ?ｐ??????軟件湃代碼一■？函＿莫?函數(shù)內(nèi)基本?Ｊ函數(shù)內(nèi)路徑??軟件功能軟件功能獲?、完整路徑生成―可＿＾４＾定??需求說(shuō)明書?取????＾???ｍ??Ｊ?????Ｏ?〇???＾?Ｉ??故障檢測(cè)??功能測(cè)試?］測(cè)試用例?＋?測(cè)試用例自動(dòng)生成??尖馬ｓｉｔ■主研允?ｂｅｎｃｈｍａｒｋ??圖４－１系統(tǒng)架構(gòu)??如圖４－１所示，對(duì)軟件源代碼進(jìn)行靜態(tài)分析實(shí)現(xiàn)函數(shù)建模之后，基于函數(shù)建??模得到的信息生成每個(gè)函數(shù)的基本路徑，并根據(jù)函數(shù)內(nèi)路徑可達(dá)性判定技術(shù)進(jìn)行??可達(dá)性判定，然后生成完整路徑，并利用函數(shù)間路徑可達(dá)性判定技術(shù)進(jìn)行過(guò)程間??路徑可達(dá)性判定。然后實(shí)現(xiàn)完整路徑的測(cè)試用例自動(dòng)生成。針對(duì)一條被判定為可??達(dá)的完整路徑，從路徑中提取的約束集的規(guī)模通常較大。首先基于一階邏輯的理??論，檢測(cè)并剔除約束集中的冗余約束，對(duì)路徑約束集進(jìn)行約減，以達(dá)到減小約束??２７??


本文編號(hào)：2959617