一種基于符號(hào)執(zhí)行虛擬機(jī)的數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)與重放方法
本發(fā)明公開了一種嵌入式環(huán)境下并行程序數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)與重放 的方法,結(jié)合軟件調(diào)試與測(cè)試的需求,采用符號(hào)執(zhí)行虛擬機(jī)方案,動(dòng) 態(tài)地監(jiān)測(cè)程序的運(yùn)行,收集程序的執(zhí)行信息,并分析數(shù)據(jù)競(jìng)爭(zhēng)。并且 還能通過執(zhí)行信息對(duì)程序進(jìn)行確定性重放,使得程序的執(zhí)行軌跡能夠 重現(xiàn)。功能包括:基于符號(hào)執(zhí)行虛擬機(jī)的數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)、基于符號(hào)執(zhí) 行虛擬機(jī)的數(shù)據(jù)競(jìng)爭(zhēng)重放功能。本發(fā)明可以發(fā)掘隱藏在程序中的數(shù)據(jù) 競(jìng)爭(zhēng),防止多線程程序在運(yùn)行時(shí)發(fā)生錯(cuò)誤。
華中科技大學(xué)
2021-04-14