技術(shù)特征：

技術(shù)總結(jié)
本發(fā)明實(shí)施例公開了一種程序檢測(cè)方法及裝置，所述方法包括：預(yù)先對(duì)網(wǎng)絡(luò)節(jié)點(diǎn)中運(yùn)行的程序設(shè)置第一動(dòng)態(tài)標(biāo)簽和第二動(dòng)態(tài)標(biāo)簽，且所述程序預(yù)先被劃分為多個(gè)基本塊，每一基本塊被設(shè)置有第一靜態(tài)標(biāo)簽和第二靜態(tài)標(biāo)簽，同時(shí)對(duì)下發(fā)的無(wú)線控制指令設(shè)置指令標(biāo)簽，進(jìn)而，在響應(yīng)無(wú)線控制指令的過(guò)程中，執(zhí)行任一基本塊時(shí)，基于兩種靜態(tài)標(biāo)簽和第一動(dòng)態(tài)標(biāo)簽來(lái)判斷是否出現(xiàn)屬于節(jié)點(diǎn)內(nèi)部錯(cuò)誤類型的控制流錯(cuò)誤，進(jìn)一步的，在執(zhí)行特殊基本塊時(shí)，基于第二動(dòng)態(tài)標(biāo)簽和指令標(biāo)簽還可以判斷是否出現(xiàn)屬于通信錯(cuò)誤類型的控制流錯(cuò)誤。應(yīng)用本發(fā)明實(shí)例可有效檢測(cè)網(wǎng)絡(luò)節(jié)點(diǎn)中的程序在響應(yīng)無(wú)線控制指令過(guò)程中所發(fā)生的控制流錯(cuò)誤。

技術(shù)研發(fā)人員：張洪光;王衛(wèi)民;周至捷;吳帆;范文浩;劉元安;袁東明
受保護(hù)的技術(shù)使用者：北京郵電大學(xué)
技術(shù)研發(fā)日：2016.02.03
技術(shù)公布日：2017.08.11