鐵路信號系統(tǒng)安全關(guān)鍵軟件故障注入技術(shù)研究.pdf

1、鐵路信號系統(tǒng)安全關(guān)鍵軟件采用故障-安全設(shè)計安全功能來保障列車安全、高效運行，由于故障是多種事件的組合并且具有潛伏期，傳統(tǒng)測試方法難以重現(xiàn)所有安全設(shè)計防護的故障來驗證系統(tǒng)安全性。故障注入測試通過對被測系統(tǒng)的注入故障加速系統(tǒng)失效，能有效實現(xiàn)系統(tǒng)安全性測試。軟件故障注入低成本、安全、多模式注入的特點成為研究熱點，但是由于故障和被測系統(tǒng)的復(fù)雜性等問題制約，軟件故障注入一直缺少通用的測試工具。
　　 本文重點研究了軟件故障注入安全性測試方

2、法，將其應(yīng)用于列車車載安全計算機安全關(guān)鍵軟件系統(tǒng)中，對系統(tǒng)進行了詳細研究并設(shè)計了故障注入系統(tǒng)。以此故障注入系統(tǒng)為基礎(chǔ)，本文提出一種結(jié)合LabVIEW圖形化編程和Visual C++動態(tài)調(diào)試功能的快速開發(fā)方法，設(shè)計并實現(xiàn)了三模冗余車載安全計算機安全關(guān)鍵軟件故障注入仿真測試平臺，能夠通過一臺仿真計算機支持三個安全計算機主機軟件平行、同步運行和信息交換通信，實現(xiàn)對系統(tǒng)的靜態(tài)故障注入、動態(tài)故障注入測試，可以導(dǎo)入XML腳本完成自動測試，以及動態(tài)調(diào)