基于模擬器的故障注入冗余優(yōu)化和執(zhí)行加速技術(shù)研究.pdf

1、日益增長的軟硬件系統(tǒng)規(guī)模和系統(tǒng)可靠性需求對軟件開發(fā)測試提出了更高的要求。其中故障注入是衡量系統(tǒng)容錯(cuò)能力和抗干擾能力的一種重要的測試手段，在系統(tǒng)中引入故障值或信號(hào)可以模擬真實(shí)環(huán)境下的外部干擾和系統(tǒng)擾動(dòng)，達(dá)到檢測異常狀態(tài)下系統(tǒng)容錯(cuò)機(jī)制或恢復(fù)機(jī)制的目的。故障注入技術(shù)不斷成熟的今天，特別是軟件實(shí)現(xiàn)或模擬實(shí)現(xiàn)的故障注入技術(shù)中，卻仍存在著注入精度低、注入性能差、測試周期長的問題。本文借助模擬器容易對程序進(jìn)行運(yùn)行控制和跟蹤的特點(diǎn)，在模擬器環(huán)境下對故障

2、注入進(jìn)行了研究和優(yōu)化，來實(shí)現(xiàn)在高注入精度下的高性能故障注入，達(dá)到提高故障注入測試效率，縮短測試開發(fā)周期的目的。
　　本研究主要內(nèi)容包括：⑴研究了故障注入點(diǎn)上的讀寫行為特點(diǎn)，發(fā)現(xiàn)了故障注入過程中存在的冗余注入現(xiàn)象，針對該現(xiàn)象提出了指令級(jí)故障注入模型，以及在故障規(guī)則設(shè)計(jì)階段進(jìn)行優(yōu)化的最小化注入原則；⑵基于指令級(jí)故障注入模型，研究實(shí)現(xiàn)了在模擬器環(huán)境下的運(yùn)行時(shí)和靜態(tài)去冗優(yōu)化注入方式，設(shè)計(jì)實(shí)現(xiàn)了基于共享內(nèi)存的日志記錄方式來解決程序因故障注入