影響路徑覆蓋測試消耗的因素很多,不僅包括所需覆蓋的路徑數(shù)目,也包括路徑的覆蓋難易程度,還包括測試數(shù)據(jù)的生成效率。目前,已有許多文獻針對測試數(shù)據(jù)生成方法進行大量研究,但是很少看到針對目標路徑選擇方面的研究成果。本文基于路徑覆蓋測試對目標路徑的選擇方法進行研究,通過選擇少量具有代表性的可達完整路徑,達到降低路徑覆蓋測試消耗的目的。本文從串行程序和并行程序兩個方面進行路徑選擇的方法研究。第一,針對串行程序,通過分析節(jié)點之間的占優(yōu)關(guān)系,提出基于占優(yōu)關(guān)系的目標路徑自動生成策略。首先,靜態(tài)分析待測程序的節(jié)點和控制邊的信息;然后,對節(jié)點的數(shù)量特征和相互關(guān)系進行分析,包括節(jié)點的出度值和入度值的計算,待測程序的必經(jīng)節(jié)點、非被占優(yōu)節(jié)點以及對應的占優(yōu)節(jié)點集的生成,并分析非被占優(yōu)節(jié)點之間的相關(guān)性以及生成相似鄰接矩陣;最后,利用排列組合的方法,給出滿足條件的非被占優(yōu)節(jié)點集的不同組合方式,并針對非被占優(yōu)節(jié)點集的組合情況,自動生成對應的完整路徑。第二,在串行程序的研究基礎(chǔ)上,針對消息傳遞并行程序,提出基于拉丁超立方采樣的目標路徑自動選擇方法。首先,將并行程序拆分成不同的進程,每個進程看作一個串行程序;然后,分析不同... 

【文章來源】：中國礦業(yè)大學江蘇省 211工程院校 教育部直屬院校

【文章頁數(shù)】：77 頁

【學位級別】：碩士

【部分圖文】：

程序控制流圖

13圖 2-2 有向示例圖Figure 2-2 Directed example graph例圖可以看出一個串行程序的流程圖，1 2 3 4 5 6 7 8 , n , n , n , n , n , n ,n ，9 條邊為1 2n ,n 、4 6 ,n 、5 6n ,n 、6 7n ,n 、7 8n ,n 。逆向工程將大類圖拆分，并轉(zhuǎn)換為基于圖算分析其矩陣積分規(guī)則，評估矩陣積分矩陣。要利用兩個數(shù)組表示。圖中頂點信息，利，利用一個二維數(shù)組存儲。若圖0G 是有一個n n的方陣，表示為n nA ，計算公式

0 *, * 0i ji jD n n * 1j 表示非被占優(yōu)節(jié)點 *in 和非被占優(yōu)節(jié)點 *jn 能夠不而連接在一起； *, * 0i jD n n 表示非被占優(yōu)節(jié)點 *in 和非連接在一起或不能夠不經(jīng)過其他非被占優(yōu)節(jié)點而連接在一表示第i個非被占優(yōu)節(jié)點和第 j 個非被占優(yōu)節(jié)點能夠直接0表示第i個非被占優(yōu)節(jié)點和第 j 個非被占優(yōu)節(jié)點不能夠直序目標路徑的自動生成（Automatic Gene for Serial Programs） 和 3.2 節(jié)的內(nèi)容，本節(jié)將介紹本章選擇測試路徑的具體策路徑。本章整體的思路，如圖 3-1 所示。


本文編號：3339443