形式驗(yàn)證方法在軍用嵌入式系統(tǒng)軟件驗(yàn)證中的應(yīng)用

摘要： 嵌入式系統(tǒng)被廣泛應(yīng)用在軍事領(lǐng)域中，其穩(wěn)定性關(guān)乎著武器裝備的戰(zhàn)斗力。如何全面、可靠地驗(yàn)證軍用嵌入式系統(tǒng)是軍用嵌入式系統(tǒng)軟件測(cè)試的重要環(huán)節(jié)。嵌入式系統(tǒng)中存在大量隨機(jī)中斷的運(yùn)用，令傳統(tǒng)的系統(tǒng)軟件測(cè)試手段難以對(duì)軍用嵌入式系統(tǒng)進(jìn)行全面準(zhǔn)確的驗(yàn)證。將形式驗(yàn)證方法引入嵌入式系統(tǒng)驗(yàn)證，并以隨機(jī)中斷對(duì)系統(tǒng)運(yùn)行可靠性影響為例進(jìn)行了設(shè)計(jì)應(yīng)用和分析，提出了一種可行的形式驗(yàn)證方法作為軍用嵌入式系統(tǒng)檢測(cè)驗(yàn)... （共8頁(yè)）