基于COTS的安全關(guān)鍵軟件故障注入技術(shù)研究.pdf

1、目前，基于COTS構(gòu)件的軟件系統(tǒng)已經(jīng)得到廣泛的應(yīng)用，因而COTS的可靠性已經(jīng)越來越受到人們的重視。特別是在航空、航天系統(tǒng)以及一些軍事通訊等安全關(guān)鍵領(lǐng)域中，COTS的高可靠性顯得尤為必要。在這些系統(tǒng)中，計(jì)算機(jī)一旦出現(xiàn)故障，就會導(dǎo)致巨大的經(jīng)濟(jì)損失，甚至是政治和軍事?lián)p失。對于這類安全關(guān)鍵系統(tǒng)，可靠性是一個極為重要的參數(shù)。解決上述問題的關(guān)鍵技術(shù)之一是軟件故障注入技術(shù)，通過該技術(shù)可以快速重現(xiàn)軟件故障，為該故障的診斷、隔離和恢復(fù)提供基礎(chǔ)。但這一技術(shù)

2、在軟件領(lǐng)域中的應(yīng)用尚處于探索階段，有很多理論與實(shí)際應(yīng)用問題有待進(jìn)一步研究和解決。 本文在運(yùn)行時軟件實(shí)現(xiàn)故障注入技術(shù)和COTS運(yùn)行時故障模型等方面進(jìn)行丁研究。在軟件實(shí)現(xiàn)的故障注入技術(shù)基礎(chǔ)上，提出了基于故障注入腳本的運(yùn)行時軟件實(shí)現(xiàn)故障注入方法與模型，建立COTS運(yùn)行時故障模型庫，設(shè)計(jì)了COTS運(yùn)行時故障注入腳本，給出了內(nèi)置故障注入器的COTS封裝方法。論文重點(diǎn)研究了基于COTS的軟件系統(tǒng)的故障注入技術(shù)，所設(shè)計(jì)的故障注入器可有效地將故