基于故障注入的系統(tǒng)健壯性測(cè)試研究.pdf

1、隨著信息技術(shù)的飛速發(fā)展,各種計(jì)算機(jī)軟件的功能越來(lái)越強(qiáng)大,加之商業(yè)組件(COTS)的大量應(yīng)用,隨之出現(xiàn)的軟件健壯性失效問(wèn)題也越來(lái)越多。在一些關(guān)鍵行業(yè)(如民航訂票系統(tǒng)、銀行結(jié)算系統(tǒng)、證券交易系統(tǒng)等)中,軟件系統(tǒng)的延遲或失效將造成不可估量的損失。因此,在開(kāi)發(fā)階段,在保證系統(tǒng)的高處理能力的前提下,其健壯性必須通過(guò)評(píng)測(cè)得到驗(yàn)證。
　　本文對(duì)國(guó)內(nèi)外各種健壯性評(píng)測(cè)方法和工具進(jìn)行了研究。傳統(tǒng)的評(píng)測(cè)方法(即通過(guò)長(zhǎng)期觀察多個(gè)系統(tǒng),記錄系統(tǒng)的失效行為,

2、進(jìn)而分析錯(cuò)誤日志實(shí)現(xiàn)評(píng)測(cè))所需要的時(shí)間長(zhǎng),對(duì)于高可靠的系統(tǒng)而言,很難通過(guò)全生命周期測(cè)試的方法獲取有關(guān)統(tǒng)計(jì)結(jié)果?；诠收献⑷氲南到y(tǒng)健壯性測(cè)試方法通過(guò)向軟件系統(tǒng)注入故障來(lái)加速系統(tǒng)的失效,觀察系統(tǒng)在模擬真實(shí)故障下的表現(xiàn),從而評(píng)測(cè)系統(tǒng)健壯性。本文對(duì)國(guó)內(nèi)外一些健壯性評(píng)測(cè)工具及故障模型和測(cè)試模型進(jìn)行了對(duì)比分析,發(fā)現(xiàn)健壯性評(píng)測(cè)中異常參數(shù)注入的故障注入方法和基于GDB調(diào)試器的故障注入方法具有較大優(yōu)勢(shì)。
　　本文對(duì)符合 POSIX標(biāo)準(zhǔn)的函數(shù)接口提出