技術(shù)編號(hào):6619580
提示:您尚未登錄,請(qǐng)點(diǎn) 登 陸 后下載,如果您還沒有賬戶請(qǐng)點(diǎn) 注 冊(cè) ,登陸完成后,請(qǐng)刷新本頁查看技術(shù)詳細(xì)信息。本發(fā)明設(shè)計(jì)一種,該方法通過共享資源的檢測(cè)技術(shù)、控制流圖生成技術(shù)、數(shù)據(jù)流分析技術(shù)、模擬器運(yùn)行控制技術(shù),利用靜態(tài)方法來對(duì)源程序進(jìn)行靜態(tài)分析得到潛在的數(shù)據(jù)競(jìng)爭(zhēng)序列,通過對(duì)靜態(tài)分析的結(jié)果進(jìn)行動(dòng)態(tài)執(zhí)行,驗(yàn)證潛在競(jìng)爭(zhēng)的真實(shí)性,并根據(jù)潛在競(jìng)爭(zhēng)的嚴(yán)重性進(jìn)行排序,得到測(cè)試結(jié)果報(bào)告。通過本發(fā)明實(shí)現(xiàn)的工具對(duì)中斷驅(qū)動(dòng)程序的測(cè)試,可以有效地檢測(cè)出真實(shí)的中斷相關(guān)的競(jìng)爭(zhēng)關(guān)系,并根據(jù)嚴(yán)重性提供一系列的潛在競(jìng)爭(zhēng)關(guān)系作為指導(dǎo),能夠極大地促進(jìn)測(cè)試人員的工作效率,突破解決了中斷驅(qū)動(dòng)的數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)...
注意:該技術(shù)已申請(qǐng)專利,請(qǐng)尊重研發(fā)人員的辛勤研發(fā)付出,在未取得專利權(quán)人授權(quán)前,僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán),增加技術(shù)思路,做技術(shù)知識(shí)儲(chǔ)備,不適合論文引用。
請(qǐng)注意,此類技術(shù)沒有源代碼,用于學(xué)習(xí)研究技術(shù)思路。