| 基于參數(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ù)下載不扣分，本人上傳資源不扣分。 | |
符號(hào)執(zhí)行 相關(guān)資源
zhoubin333 的最新分享
- 基于雙模單包授權(quán)的公路零信任安全應(yīng)用研究*
- 基于區(qū)塊鏈的法檢司數(shù)據(jù)安全共享技術(shù)研究*
- 揭開“算法的面紗”：關(guān)于構(gòu)建算法解釋框架的思考
- 企業(yè)“數(shù)據(jù)池”的商業(yè)秘密保護(hù)路徑探究
- 注意力經(jīng)濟(jì)下陪伴式人工智能平臺(tái)的侵權(quán)責(zé)任
- 數(shù)據(jù)抓取行為競(jìng)爭(zhēng)法規(guī)制中的利益衡量研究
- 基于同態(tài)的多對(duì)多電子投票方案設(shè)計(jì)*
- 基于策略和屬性隱藏的區(qū)塊鏈訪問控制方法研究
Copyright ? 2005-2024 華北計(jì)算機(jī)系統(tǒng)工程研究所版權(quán)所有 京ICP備10017138號(hào)-2