基于故障模型的軟件故障注入方法研究.pdf

1、隨著計算機技術(shù)在信息化系統(tǒng)中的廣泛應(yīng)用，特別是在航空、航天系統(tǒng)以及一些軍事通訊等安全關(guān)鍵領(lǐng)域中的推廣，使得軟件業(yè)對軟件的安全性，可靠性提出了更高的要求，因為在這些系統(tǒng)中，計算機一旦出現(xiàn)故障，就會導(dǎo)致巨大的經(jīng)濟損失，甚至是政治和軍事的損失。因此有必要對安全關(guān)鍵系統(tǒng)進行充分測試，從而保證安全關(guān)鍵系統(tǒng)的正確性，避免災(zāi)難性事故的發(fā)生。 在故障發(fā)生以后，要想找出故障發(fā)生的原因是很困難的，因為系統(tǒng)的破壞可能波及到系統(tǒng)的多個位置。而要重現(xiàn)從故

2、障的發(fā)生到系統(tǒng)發(fā)生失效的整個場景也幾乎是不可能的，因為故障的發(fā)生可能是由輸入數(shù)據(jù)的無窮多種組合中的一種所導(dǎo)致的，也可能是由難以辨別和重現(xiàn)的外界干擾導(dǎo)致的。但是，如果能夠記錄故障發(fā)生時的數(shù)據(jù)信息，就可以通過這些數(shù)據(jù)來進行故障分析，判定程序中到底存在什么故障，為故障的診斷、隔離和定位提供有效的支持。 為獲取故障發(fā)生時的現(xiàn)場數(shù)據(jù)，本文提出了基于故障模型測試技術(shù)和故障注入技術(shù)相結(jié)合的思想，選用故障模型作為研究基礎(chǔ)，利用已有的測試用例生成