| 基于參數約束的分支覆蓋符號執行優化算法 | |
| 所屬分類：技術論文 | |
| 上傳者：zhoubin333 | |
| 文檔大小：1958 K | |
| 標簽： 符號執行 參數約束 測試用例 | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：軟件質量檢測常用的方法是軟件測試，符號執行作為主流的測試技術已被廣泛應用于學術界與工業界中。但是隨著程序規模的增大和函數調用的增加，因某些路徑約束條件的特殊性，而難以生成正確的測試用例，從而導致符號執行不能對所有路徑做到全覆蓋。為了提高符號執行在特殊約束條件對路徑的覆蓋率等問題，本文提出了基于參數約束的符號執行優化算法。首先，該算法通過搜索收集程序代碼中函數的特殊參數，然后利用這些特殊參數作為約束條件，最后將約束條件添加到路徑的約束集中。該算法使符號執行生成的測試用例更加精確，從而實現覆蓋特殊約束條件下的路徑分支，以提高符號執行的精確性和路徑覆蓋率。在開源符號執行平臺CREST中實驗并驗證上述優化算法，驗證及測試結果表明本文提出的算法能夠提高符號執行在特殊約束條件下對路徑的覆蓋率。 | |
| 現在下載 | |
| VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計算機系統工程研究所版權所有 京ICP備10017138號-2