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

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

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