基于測試空間靜態(tài)約簡的動態(tài)測試方法研究.pdf

1、隨著軟件規(guī)模不斷擴(kuò)張，測試空間呈爆炸式增長，測試規(guī)模越發(fā)龐大，測試執(zhí)行開銷不堪重負(fù)。軟件測試技術(shù)主要分為靜態(tài)測試和動態(tài)測試，靜態(tài)測試執(zhí)行成本低，但誤報率高；動態(tài)測試執(zhí)行代價高，但測試結(jié)果準(zhǔn)確。靜動態(tài)結(jié)合的軟件測試方法具有重大研究價值。
　　基于測試空間靜態(tài)約簡的動態(tài)測試方法，通過靜態(tài)分析找出程序可能存在的潛在錯誤，并根據(jù)這些已發(fā)現(xiàn)的潛在錯誤選擇測試用例，然后對選擇的測試用例在源代碼級別執(zhí)行測試空間靜態(tài)約簡。最后，對每個約簡后的測試

2、用例進(jìn)行動態(tài)執(zhí)行。
　　基于源代碼分析的測試用例空間靜態(tài)約簡方法對被測代碼針對某一攻擊類型進(jìn)行脆弱性分析，根據(jù)函數(shù)之間的調(diào)用關(guān)系，從眾多測試路徑中選取有價值的測試路徑，這些路徑被定義為有效調(diào)用鏈，對這些有效調(diào)用鏈，求能夠滿足測試需求的最優(yōu)解，得到一條關(guān)鍵調(diào)用鏈。并且對于關(guān)鍵調(diào)用鏈上的每個函數(shù)，根據(jù)脆弱性權(quán)值選取安全風(fēng)險最大的路徑執(zhí)行測試，丟掉那些相對安全的執(zhí)行路徑，這條路徑被定義為關(guān)鍵路徑，最后根據(jù)語句間的依賴性，繼續(xù)精簡這條關(guān)鍵