基于參數(shù)約束的分支覆蓋符號(hào)執(zhí)行優(yōu)化算法
所屬分類(lèi)：技術(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ì)路徑的覆蓋率等問(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ù)下載不扣分，本人上傳資源不扣分。
主站蜘蛛池模板： 一级做a爰片性色毛片男 | 亚洲一区二区三区精品国产 | 国产成人综合网亚洲欧美在线 | 男女性生活网站 | 国产成人成人一区二区 | 国产一区精品在线 | 国产精品九九九久久九九 | 爱久久精品国产 | 亚洲国产成人在线 | 亚洲最大的视频网站 | 步兵社区 | 日本一级看片免费播放 | 日韩精品一级a毛片 | 国产一级特黄特色aa毛片 | 在线看欧美日韩中文字幕 | 久久久久视频精品网 | 国产亚洲免费观看 | 亚洲图片 自拍偷拍 | 在线欧美精品一区二区三区 | 国产精品亚洲玖玖玖在线靠爱 | 欧美在线区 | 亚洲欧洲日韩综合色天使不卡 | 国产亚洲精品福利片 | 成年人免费视频网站 | 国产一区二区三区久久精品小说 | 久久精品免费全国观看国产 | 成人免费国产欧美日韩你懂的 | 国产成人亚洲精品91专区高清 | 91成年人视频 | 午夜免费毛片 | 久久精品中文字幕一区 | 天堂一区二区三区在线观看 | 成年女人黄小视频 | 国产2区| 欧美日韩中文一区二区三区 | 日韩高清一级 | 久久久久欧美精品网站 | 欧美黄视频在线观看 | 久章草视频 | 久久久久久91香蕉国产 | 亚洲国产精品久久综合 |