基于參數(shù)約束的分支覆蓋符號(hào)執(zhí)行優(yōu)化算法
所屬分類：技術(shù)論文
上傳者：zhoubin333
文檔大小：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ì)路徑的覆蓋率等問題，本文提出了基于參數(shù)約束的符號(hào)執(zhí)行優(yōu)化算法。首先，該算法通過搜索收集程序代碼中函數(shù)的特殊參數(shù)，然后利用這些特殊參數(shù)作為約束條件，最后將約束條件添加到路徑的約束集中。該算法使符號(hào)執(zhí)行生成的測(cè)試用例更加精確，從而實(shí)現(xiàn)覆蓋特殊約束條件下的路徑分支，以提高符號(hào)執(zhí)行的精確性和路徑覆蓋率。在開源符號(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專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。
主站蜘蛛池模板： 日韩av片无码一区二区不卡电影 | 国产chinese91在线| 一区二区三区亚洲视频| 欧美黑人xxxx猛战黑人| 国产成人精品视频午夜| 一线高清视频在线观看www国产| 欧美色视频在线| 国产亚洲精品无码专区| gogogo高清在线播放| 欧美a级v片在线观看一区| 四虎www成人影院| 8888四色奇米在线观看不卡 | 91精品欧美产品免费观看| 日韩免费在线视频| 催眠体验馆最新章节| 日本h在线精品免费观看| 性色AV一区二区三区夜夜嗨| 亚洲日韩欧美国产高清αv| 色综合久久久无码中文字幕| 大奉打更人最新章节| 久久精品国产亚洲一区二区 | 国产精品亚洲综合五月天| 中文字幕欧美激情| 欧美日本免费一区二区三区| 国产一级特黄在线播放| 91成人免费在线视频| 无遮无挡爽爽免费视频| 亚洲欧美日韩精品专区| 色偷偷人人澡人人爽人人模| 色噜噜狠狠一区二区三区果冻| 免费h片在线观看网址最新| 777精品视频| 青青操在线视频| 国产免费女女脚奴视频网| 青青网在线视频| 美国一级大黄一片免费网站| 粉色视频在线播放| 波多野结衣大战5个黑人| 波多野结衣中文字幕一区二区三区 | 污污内射在线观看一区二区少妇| 国产成人精品高清免费|