軟件故障注入及軟件脆弱點(diǎn)檢測方法研究.pdf

1、國內(nèi)圖書分類號：TP302.8學(xué)校代碼：10213國際圖書分類號：681.324密級：公開工學(xué)碩士學(xué)位論文軟件故障注入及軟件脆弱點(diǎn)檢測方法研究碩士研究生：呂文娟導(dǎo)師：洪炳镕教授申請學(xué)位：工學(xué)碩士學(xué)科、專業(yè)：計算機(jī)科學(xué)與技術(shù)所在單位：計算機(jī)科學(xué)與技術(shù)學(xué)院答辯日期：2009年6月授予學(xué)位單位：哈爾濱工業(yè)大學(xué)哈爾濱工業(yè)大學(xué)工學(xué)碩士學(xué)位論文I摘要隨著計算機(jī)應(yīng)用領(lǐng)域的日益廣泛，計算機(jī)的可靠性問題越來越關(guān)鍵。尤其是在航空航天、銀行交通、醫(yī)療、核反應(yīng)

2、監(jiān)控、電訊系統(tǒng)等關(guān)系國計民生的領(lǐng)域，計算機(jī)系統(tǒng)一旦失效，將會引起巨大的經(jīng)濟(jì)損失和人員傷亡。如航天領(lǐng)域，由于輻射帶中捕獲粒子、宇宙射線能在微電子器件中誘發(fā)單粒子事件，從而導(dǎo)致星載計算機(jī)系統(tǒng)經(jīng)常發(fā)生各種故障。應(yīng)用于這些領(lǐng)域的計算機(jī)都引入容錯機(jī)制來檢測軟件或硬件故障。為了保證容錯機(jī)制在應(yīng)用時能達(dá)到預(yù)期效果，必須要在系統(tǒng)應(yīng)用之前對這些對容錯機(jī)制的有效性、可靠性進(jìn)行驗(yàn)證，這就需要一種有效的對容錯系統(tǒng)進(jìn)行評測的機(jī)制。而且，在引入容錯機(jī)制之前，將容錯

3、機(jī)制放置在軟件中的哪個位置、如何放置對容錯機(jī)制能否揮最佳性能影響重大，因此了解軟件系統(tǒng)中錯誤的傳播過程，進(jìn)而找到軟件中較為薄弱的環(huán)節(jié)或部分，也是提高容錯機(jī)制性能的重要途徑。傳統(tǒng)的評測計算機(jī)容錯性能的方法主要是組合模型法和測試法。這些方法要么需要建立和求解復(fù)雜的可靠性模型、要么耗時長久，要么得不到可靠數(shù)據(jù)或結(jié)果精度不高。故障注入技術(shù)作為一種實(shí)驗(yàn)評測方法被證明是一種高效的可靠性驗(yàn)證方法，它通過人為的在目標(biāo)系統(tǒng)中產(chǎn)生故障，加速系統(tǒng)發(fā)生故障和失

4、效的過程，通過對注入故障后系統(tǒng)的反應(yīng)信息進(jìn)行監(jiān)測和分析，可獲得對目標(biāo)系統(tǒng)可靠性和容錯性能的評測結(jié)果。與傳統(tǒng)可靠性評測技術(shù)相比，它具有無需建立和求解復(fù)雜的系統(tǒng)模型、實(shí)驗(yàn)時間短、結(jié)果精度高等優(yōu)點(diǎn)，已引起眾多學(xué)者和研究人員的重視。故障注入技術(shù)有硬件實(shí)現(xiàn)的故障注入、模擬實(shí)現(xiàn)的故障注入和軟件實(shí)現(xiàn)的故障注入三種。與前兩種方法相比，基于軟件實(shí)現(xiàn)的故障注入具有操作簡便、開發(fā)成本低廉，不會對目標(biāo)系統(tǒng)造成損傷等優(yōu)點(diǎn)。本文首先總結(jié)了以往故障注入器實(shí)現(xiàn)的基本原