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

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

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