基于參數(shù)約束的分支覆蓋符號(hào)執(zhí)行優(yōu)化算法
關(guān)鍵詞：符號(hào)執(zhí)行 參數(shù)約束 測(cè)試用例 軟件測(cè)試
摘要：軟件質(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ì)路徑的覆蓋率。
信息技術(shù)與網(wǎng)絡(luò)安全雜志要求:
{1}來(lái)稿所涉及的課題如屬于基金資助項(xiàng)目，應(yīng)于文題頁(yè)左下方加以注釋，并附基金證書(shū)復(fù)印件。
{2}本刊編輯將在三個(gè)月內(nèi)就來(lái)稿采用與否或修改意見(jiàn)答復(fù)作者。文章如經(jīng)本刊采用，不可再投他刊。
{3}圖片要求影像清晰、色彩真實(shí)、畫(huà)面整潔。圖片若非本人原創(chuàng)（或拍攝），須獲得原作者（或原拍攝者）的許可，不得侵犯他人權(quán)益。
{4}論文所引文獻(xiàn)的注釋必須規(guī)范，準(zhǔn)確標(biāo)明作者、文獻(xiàn)名稱、出版社或出版物的名稱、出版或發(fā)表的時(shí)間、頁(yè)碼等。注釋一律采用腳注方式，注釋序號(hào)使用1、2、3……標(biāo)示，每頁(yè)單獨(dú)排序。
{5}正文章節(jié)標(biāo)題或小標(biāo)題獨(dú)占一行，且一律用阿拉伯?dāng)?shù)字（從1 開(kāi)始）表示，形式為：1 1.1 1.2 …… 2 2.1 2.2 ……
注：因版權(quán)方要求，不能公開(kāi)全文，如需全文，請(qǐng)咨詢雜志社
