為確保安全苛求系統(tǒng)中程序執(zhí)行的正確性，針對(duì)程序循環(huán)控制中內(nèi)存未更新、循環(huán)提前結(jié)束和循環(huán)滯后結(jié)束的問題，提出一種基于含簽名和時(shí)間戳的算術(shù)（ ANBD）碼的循環(huán)控制錯(cuò)誤檢測(cè)算法。該算法通過ANBD碼，將程序變量編碼為含簽名的碼字。通過校驗(yàn)碼字簽名，檢測(cè)循環(huán)控制錯(cuò)誤。運(yùn)用ANBD碼中的時(shí)間標(biāo)簽，可檢測(cè)內(nèi)存未更新錯(cuò)誤。另外，在ANBD碼基礎(chǔ)上，通過采用在線語句塊簽名分配算法、語句塊簽名函數(shù)和變量簽名補(bǔ)償函數(shù)，檢測(cè)循環(huán)提前結(jié)束錯(cuò)誤和循環(huán)滯后結(jié)束錯(cuò)誤。該算法理論錯(cuò)誤漏檢概率為1/A，其中A為編碼素?cái)?shù)，選取97 - 10 993的素?cái)?shù)進(jìn)行錯(cuò)誤漏檢概率測(cè)試，得到理論模型與測(cè)試結(jié)果的歸一化均方誤差（ NMSE）約為- 30 dB。測(cè)試結(jié)果表明，該算法可檢測(cè)循環(huán)控制中出現(xiàn)的各類錯(cuò)誤，且編碼素?cái)?shù)A接近2-32時(shí)，錯(cuò)誤漏檢概率可達(dá)10-9，能夠滿足安全苛求系統(tǒng)的應(yīng)用要求。