關鍵詞：符號執行 參數約束 測試用例 軟件測試 

摘要：軟件質量檢測常用的方法是軟件測試,符號執行作為主流的測試技術已被廣泛應用于學術界與工業界中。但是隨著程序規模的增大和函數調用的增加,因某些路徑約束條件的特殊性,而難以生成正確的測試用例,從而導致符號執行不能對所有路徑做到全覆蓋。為了提高符號執行在特殊約束條件對路徑的覆蓋率等問題,本文提出了基于參數約束的符號執行優化算法。首先,該算法通過搜索收集程序代碼中函數的特殊參數,然后利用這些特殊參數作為約束條件,最后將約束條件添加到路徑的約束集中。該算法使符號執行生成的測試用例更加精確,從而實現覆蓋特殊約束條件下的路徑分支,以提高符號執行的精確性和路徑覆蓋率。在開源符號執行平臺CREST中實驗并驗證上述優化算法,驗證及測試結果表明本文提出的算法能夠提高符號執行在特殊約束條件下對路徑的覆蓋率。

信息技術與網絡安全雜志要求:

{1}來稿所涉及的課題如屬于基金資助項目，應于文題頁左下方加以注釋，并附基金證書復印件。

{2}本刊編輯將在三個月內就來稿采用與否或修改意見答復作者。文章如經本刊采用，不可再投他刊。

{3}圖片要求影像清晰、色彩真實、畫面整潔。圖片若非本人原創（或拍攝），須獲得原作者（或原拍攝者）的許可，不得侵犯他人權益。

{4}論文所引文獻的注釋必須規范，準確標明作者、文獻名稱、出版社或出版物的名稱、出版或發表的時間、頁碼等。注釋一律采用腳注方式，注釋序號使用1、2、3……標示，每頁單獨排序。

{5}正文章節標題或小標題獨占一行，且一律用阿拉伯數字（從1 開始）表示，形式為：1 1.1 1.2 …… 2 2.1 2.2 ……

注：因版權方要求，不能公開全文，如需全文，請咨詢雜志社