基于參數約束的分支覆蓋符號執(zhí)行優(yōu)化算法
所屬分類:技術論文
上傳者:zhoubin333
文檔大小:1958 K
標簽: 符號執(zhí)行 參數約束 測試用例
所需積分:0分積分不夠怎么辦?
文檔介紹:軟件質量檢測常用的方法是軟件測試,符號執(zhí)行作為主流的測試技術已被廣泛應用于學術界與工業(yè)界中。但是隨著程序規(guī)模的增大和函數調用的增加,因某些路徑約束條件的特殊性,而難以生成正確的測試用例,從而導致符號執(zhí)行不能對所有路徑做到全覆蓋。為了提高符號執(zhí)行在特殊約束條件對路徑的覆蓋率等問題,本文提出了基于參數約束的符號執(zhí)行優(yōu)化算法。首先,該算法通過搜索收集程序代碼中函數的特殊參數,然后利用這些特殊參數作為約束條件,最后將約束條件添加到路徑的約束集中。該算法使符號執(zhí)行生成的測試用例更加精確,從而實現覆蓋特殊約束條件下的路徑分支,以提高符號執(zhí)行的精確性和路徑覆蓋率。在開源符號執(zhí)行平臺CREST中實驗并驗證上述優(yōu)化算法,驗證及測試結果表明本文提出的算法能夠提高符號執(zhí)行在特殊約束條件下對路徑的覆蓋率。
現在下載
VIP會員,AET專家下載不扣分;重復下載不扣分,本人上傳資源不扣分。