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

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

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