基于參數(shù)約束的分支覆蓋符號(hào)執(zhí)行優(yōu)化算法
所屬分類(lèi)：技術(shù)論文
上傳者：zhoubin333
文檔大?。?span>1958 K
標(biāo)簽： 符號(hào)執(zhí)行 參數(shù)約束 測(cè)試用例
所需積分：0分積分不夠怎么辦？
文檔介紹：軟件質(zhì)量檢測(cè)常用的方法是軟件測(cè)試，符號(hào)執(zhí)行作為主流的測(cè)試技術(shù)已被廣泛應(yīng)用于學(xué)術(shù)界與工業(yè)界中。但是隨著程序規(guī)模的增大和函數(shù)調(diào)用的增加，因某些路徑約束條件的特殊性，而難以生成正確的測(cè)試用例，從而導(dǎo)致符號(hào)執(zhí)行不能對(duì)所有路徑做到全覆蓋。為了提高符號(hào)執(zhí)行在特殊約束條件對(duì)路徑的覆蓋率等問(wèn)題，本文提出了基于參數(shù)約束的符號(hào)執(zhí)行優(yōu)化算法。首先，該算法通過(guò)搜索收集程序代碼中函數(shù)的特殊參數(shù)，然后利用這些特殊參數(shù)作為約束條件，最后將約束條件添加到路徑的約束集中。該算法使符號(hào)執(zhí)行生成的測(cè)試用例更加精確，從而實(shí)現(xiàn)覆蓋特殊約束條件下的路徑分支，以提高符號(hào)執(zhí)行的精確性和路徑覆蓋率。在開(kāi)源符號(hào)執(zhí)行平臺(tái)CREST中實(shí)驗(yàn)并驗(yàn)證上述優(yōu)化算法，驗(yàn)證及測(cè)試結(jié)果表明本文提出的算法能夠提高符號(hào)執(zhí)行在特殊約束條件下對(duì)路徑的覆蓋率。
現(xiàn)在下載
VIP會(huì)員，AET專(zhuān)家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。
主站蜘蛛池模板： 精品久久久久国产免费| 久艾草国产成人综合在线视频| 成在线人免费无码高潮喷水| 久久这里精品国产99丫E6| 欧美日韩国产在线人成| 免费一级毛片在播放视频| 美女毛片一区二区三区四区 | 最新国产成人ab网站| 亚洲成A人片在线观看无码| 波多野结衣作品大全| 伊人网综合在线视频| 精品国内自产拍在线视频| 国产jizz在线观看| 车上做好紧我太爽了再快点| 国产成人无码AV一区二区| h小视频在线观看| 国产精品无码一区二区在线| 92国产精品午夜福利| 在线视频国产一区| jlzz大全高潮多水老师| 性欧美18-19sex性高清播放| 中文字幕在线第二页| 无翼乌r18无遮掩全彩肉本子| 久久伊人精品一区二区三区| 日韩精品专区在线影院重磅| 亚洲AV无码潮喷在线观看| 欧美一级特黄aa大片在线观看免费 | 欧美成人天天综合在线视色| 亚洲欧美日韩第一页| 波多野结衣绝顶大高潮| 人人添人人妻人人爽夜欢视AV| 男女午夜特黄毛片免费| 免费国产在线视频| 精品一区二区久久| 免费大黄网站在线看| 秦先生第15部大战宝在线观看| 免费福利视频导航| 直接观看黄网站免费视频| 伸进大胸老师里面挤奶吃奶的频| 男人的天堂视频网站清风阁| 伊人久久大香线蕉精品|