基于圈復(fù)雜度的階段動(dòng)態(tài)符號執(zhí)行 | |
所屬分類:技術(shù)論文 | |
上傳者:zhoubin333 | |
文檔大?。?span>1504 K | |
標(biāo)簽: 圈復(fù)雜度 動(dòng)態(tài)符號執(zhí)行 階段執(zhí)行 | |
所需積分:0分積分不夠怎么辦,? | |
文檔介紹:為了緩解動(dòng)態(tài)符號執(zhí)行不可避免的路徑爆炸等問題,提出了基于圈復(fù)雜度的階段動(dòng)態(tài)符號執(zhí)行CCSDSEM優(yōu)化算法,。該算法通過計(jì)算約束判定條件為真的數(shù)量來衡量代碼的圈復(fù)雜度,,然后依據(jù)圈復(fù)雜度的閾值進(jìn)行分階段動(dòng)態(tài)符號執(zhí)行,使動(dòng)態(tài)符號執(zhí)行梯度進(jìn)行,,緩解路徑選擇指數(shù)爆炸,,合理縮放符號執(zhí)行。最后在KLEE中實(shí)現(xiàn)CCSDSEM框架,,并對測試程序做了檢測,。CCSDSEM將符號執(zhí)行的運(yùn)行時(shí)間顯著縮短,提升了生成測試用例的數(shù)量,。 | |
現(xiàn)在下載 | |
VIP會員,,AET專家下載不扣分;重復(fù)下載不扣分,,本人上傳資源不扣分,。 |
Copyright ? 2005-2024 華北計(jì)算機(jī)系統(tǒng)工程研究所版權(quán)所有 京ICP備10017138號-2