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

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

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