基于關(guān)鍵分支的近似數(shù)據(jù)流測(cè)試方法研究.pdf

1、在數(shù)據(jù)流測(cè)試技術(shù)中，覆蓋程序中所有變量的定義-使用路徑是衡量數(shù)據(jù)流測(cè)試好壞的重要標(biāo)準(zhǔn)之一。但是，由于變量的定義-使用路徑中存在測(cè)試用例無法覆蓋的路徑，而且路徑的插樁點(diǎn)過多等問題，降低了數(shù)據(jù)流測(cè)試的效率。
　　 針對(duì)定義-使用路徑中測(cè)試用例無法覆蓋路徑的問題，采用對(duì)定義-使用路徑上的定義節(jié)點(diǎn)和使用節(jié)點(diǎn)的順序關(guān)系進(jìn)行分析，即是用定義節(jié)點(diǎn)與使用節(jié)點(diǎn)之間的依賴、支配、蘊(yùn)含等關(guān)系來判斷變量的定義-使用路徑是否能被測(cè)試用例覆蓋，從而把定義-

2、使用路徑分為能被覆蓋的路徑、間接被覆蓋的路徑、不能被覆蓋的路徑。而針對(duì)路徑中插樁點(diǎn)過多的問題，則需要找出能被覆蓋路徑和間接被覆蓋路徑中的必要分支，即用必要分支來代替定義-使用路徑，通過對(duì)關(guān)鍵分支的插樁來簡(jiǎn)化對(duì)必要分支的監(jiān)測(cè)。
　　 綜合考慮上面兩種情形，本文采用一種基于關(guān)鍵分支的數(shù)據(jù)流分析方法。該方法通過變量的定義和使用節(jié)點(diǎn)之間的關(guān)系來對(duì)程序中的數(shù)據(jù)流信息進(jìn)行分類；對(duì)變量的定義-使用路徑進(jìn)行分支相關(guān)性分析以找出該路徑上的必要分支