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

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

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