技術(shù)總結(jié)
本發(fā)明涉及一種基于Actor模型的并行動(dòng)態(tài)符號(hào)執(zhí)行方法和系統(tǒng)，方法包括將配置后的Actor模型的并行框架合并到修改后的動(dòng)態(tài)符號(hào)執(zhí)行工具中；Actor模型的多個(gè)工作節(jié)點(diǎn)通過通訊節(jié)點(diǎn)從預(yù)先構(gòu)造的待求解路徑棧中取出任務(wù)，并根據(jù)任務(wù)探索器獲取所述任務(wù)的任務(wù)路徑約束值；利用約束求解器對(duì)所述任務(wù)路徑約束值進(jìn)行求解，得到求解值Valuation；將求解值Valuation采用遞歸方式來代入所述待求解路徑棧中的路徑，生成待探索路徑，將待探索路徑存入預(yù)先構(gòu)造的待探索路徑棧中。本發(fā)明的提出一種并行動(dòng)態(tài)符號(hào)執(zhí)行方法，實(shí)現(xiàn)了兩個(gè)層面上的并行，可以在多個(gè)節(jié)點(diǎn)上并行分析程序路徑，可同次進(jìn)行約束求解和路徑探索，降低程序耗時(shí)，還可以加強(qiáng)測試大規(guī)模程序的能力。

技術(shù)研發(fā)人員：常亮;張曉文;古天龍;賈向陽;徐周波;張舜堯
受保護(hù)的技術(shù)使用者：桂林電子科技大學(xué)
文檔號(hào)碼：201611237624
技術(shù)研發(fā)日：2016.12.28
技術(shù)公布日：2017.05.10