KJ15A礦井機車運輸聯(lián)鎖軟件的安全測試研究.pdf

1、目前,計算機技術已廣泛地應用于航空、航天、交通、醫(yī)療等安全性關鍵領域,在這些領域中,軟件被稱為"安全性相關軟件".對于這類軟件的測試研究是其軟件質量保障研究的一個重點.這樣的測試關注于該類軟件的安全功能規(guī)約是否得到滿足,希望在此基礎上對整個系統(tǒng)的可靠性有一個定量的估計.KJ15A井下運輸監(jiān)控系統(tǒng)(以下簡稱KJ15A系統(tǒng))是合肥工業(yè)大學微機所于九十年代中期研制成功的煤礦運輸安全技術保障系統(tǒng),主要用于對礦井大巷軌道機車運輸進行指揮調度、安全

2、監(jiān)控和生產(chǎn)管理.顯然,作為鐵路運輸計算機聯(lián)鎖軟件的特例,它是一種安全性相關軟件.該文針對KJ15A系統(tǒng)軟件的具體特點,提出了在測試環(huán)境建立、測試用例生成到測試結果判定等一系列環(huán)節(jié)中應采取的策略、措施,旨在建立一個軟件測試平臺,把手工方式進行開通試驗作為安全驗證手段上升到一個以計算機和人工智能為基礎的自動測試評估的新臺階,它不僅可以模擬手工試驗無法考慮的一些意外環(huán)境,而且可以快速而有效地探測到被測系統(tǒng)在安全防護上可能達到的極限,使我們對該