基于SCADE的CBTC區(qū)域控制器軟件測(cè)試方法研究.pdf

1、在城市交通壓力日益增大的今天,發(fā)展城市軌道交通無(wú)疑是一種重要的手段。CBTC系統(tǒng)縮短了列車的安全運(yùn)行間隔,提高了運(yùn)營(yíng)效率,因而得到了空前的發(fā)展。區(qū)域控制器ZC是CBTC系統(tǒng)中的重要子系統(tǒng),它為列車提供移動(dòng)授權(quán)MA,保證列車安全、高效地運(yùn)行,要求具備高度的安全性與可靠性。因此對(duì)其進(jìn)行嚴(yán)格的測(cè)試是非常必要的。
　　 SCADE高安全應(yīng)用程序開(kāi)發(fā)環(huán)境,適用于開(kāi)發(fā)高安全的嵌入式軟件系統(tǒng),可用于開(kāi)發(fā)ZC軟件系統(tǒng)。如何對(duì)基于SCADE的ZC

2、子系統(tǒng)軟件進(jìn)行測(cè)試,是本文研究的重點(diǎn)。
　　 本文通過(guò)分析SCADE中安全狀態(tài)機(jī)中的狀態(tài)類型與轉(zhuǎn)移類型,給出了安全狀態(tài)機(jī)平面化的方法和平面化原則,并將該方法應(yīng)用于ZC列車管理安全狀態(tài)機(jī)上。并根據(jù)測(cè)試樹(shù)算法生成了測(cè)試序列,在對(duì)測(cè)試序列進(jìn)行分析后,為ZC進(jìn)行測(cè)試場(chǎng)景的設(shè)計(jì),并通過(guò)SCADE仿真器測(cè)試ZC功能,觀察列車模型中的狀態(tài)是否正確的轉(zhuǎn)移,編寫(xiě)了仿真平臺(tái)用于之間讀取ZC錄制的場(chǎng)景,可視化地分析場(chǎng)景中的測(cè)試數(shù)據(jù)。
　　 在