技術(shù)編號：11154872
提示：您尚未登錄，請點(diǎn) 登 陸 后下載，如果您還沒有賬戶請點(diǎn) 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細(xì)信息。本發(fā)明主要涉及軟件測試技術(shù)領(lǐng)域，具體涉及一種基于Actor模型的并行動(dòng)態(tài)符號執(zhí)行方法和系統(tǒng)。背景技術(shù)1976年提出的符號執(zhí)行技術(shù)，是一種靜態(tài)的軟件分析方法，它用符號值代替了具體值作為程序的輸入，主要用來進(jìn)行軟件路徑探索、測試用例生成和軟件缺陷檢測。動(dòng)態(tài)符號執(zhí)行是在符號執(zhí)行發(fā)展過程中提出的一種方法，它結(jié)合了具體執(zhí)行和符號執(zhí)行的優(yōu)點(diǎn)，在某些情況下，符號執(zhí)行進(jìn)行路徑探索時(shí)路徑約束可能無法求解出具體值，不能繼續(xù)路徑探索，這時(shí)利用動(dòng)態(tài)符號執(zhí)行就可以通過其具體執(zhí)行來解決這個(gè)問題。傳統(tǒng)的符號執(zhí)行方式效率已經(jīng)無...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。