來源：互聯(lián)網(wǎng)
符號(hào)執(zhí)行，即使用符號(hào)值代替真實(shí)值執(zhí)行，是當(dāng)下較為火的方向之一，在軟件測(cè)試等領(lǐng)域有很好的應(yīng)用前景，目前學(xué)術(shù)研究已經(jīng)相對(duì)成熟，很多企業(yè)以及科研機(jī)構(gòu)都在積極嘗試將符號(hào)執(zhí)行技術(shù)用于產(chǎn)品中。
正文
符號(hào)執(zhí)行根據(jù)發(fā)展?fàn)顩r可以分為傳統(tǒng)的符號(hào)執(zhí)行、動(dòng)態(tài)符號(hào)執(zhí)行和選擇性符號(hào)執(zhí)行。
傳統(tǒng)的符號(hào)執(zhí)行并不真實(shí)的執(zhí)行，而是通過解析程序通過符號(hào)值模擬執(zhí)行。
動(dòng)態(tài)符號(hào)執(zhí)行結(jié)合了真實(shí)執(zhí)行和傳統(tǒng)符號(hào)執(zhí)行技術(shù)的優(yōu)點(diǎn)，在真實(shí)執(zhí)行的過程中同時(shí)進(jìn)行符號(hào)執(zhí)行。
選擇性符號(hào)執(zhí)行可以對(duì)程序員感興趣的部分進(jìn)行符號(hào)執(zhí)行，其它的部分使用真實(shí)值執(zhí)行，代表工具S2E。
參考資料 >