基于模型的CTCS-3列控系統(tǒng)互聯(lián)互通測試自動(dòng)分析方法研究.pdf

1、為保證CTCS-3列控系統(tǒng)的跨線運(yùn)營能力，鐵道部統(tǒng)一組織互聯(lián)互通工作，互聯(lián)互通測試是CTCS-3列控系統(tǒng)實(shí)現(xiàn)互聯(lián)互通工作的前提和基礎(chǔ)，鐵道部基礎(chǔ)部和C3攻關(guān)組對互聯(lián)互通測試的結(jié)果進(jìn)行分析，找出影響互聯(lián)互通的因素，討論解決方案，以實(shí)現(xiàn)不同廠家的設(shè)備互聯(lián)互通，可以看出保證互聯(lián)互通測試結(jié)果的準(zhǔn)確性是十分重要的。
　　對于目前列控系統(tǒng)互聯(lián)互通測試存在以下幾點(diǎn)問題:①列控系統(tǒng)功能和設(shè)備復(fù)雜，使用過程中可能需要不斷升級，要求測試人員有過硬的專

2、業(yè)技術(shù);②測試記錄數(shù)據(jù)量大，數(shù)據(jù)結(jié)構(gòu)復(fù)雜，人工分析會(huì)造成效率低下;③由于測試人員的疏忽和失誤會(huì)造成測試結(jié)果不準(zhǔn)確的問題。在互聯(lián)互通測試中對車載設(shè)備和地面設(shè)備是分開測試的。本文以車載設(shè)備第三方實(shí)驗(yàn)室互聯(lián)互通測試為例，研究一種互聯(lián)互通測試結(jié)果自動(dòng)分析的方法，來解決上述問題。
　　互聯(lián)互通測試的關(guān)注點(diǎn)為車地之間的數(shù)據(jù)交互，本文從車載設(shè)備與RBC的無線消息交互入手，進(jìn)行測試結(jié)果分析，車地之間每一次消息交互可看成一次系統(tǒng)的狀態(tài)變遷，這些變遷

3、都是根據(jù)測試序列執(zhí)行得到的，因此本文從測試序列入手，建立了一個(gè)基于測試序列的完整的車載設(shè)備模型，將測試過程中的可能出現(xiàn)的每個(gè)狀態(tài)點(diǎn)和狀態(tài)遷移情況都建立到模型中。在實(shí)際的測試過程中，對于測試執(zhí)行路徑，必有一條模型中的可達(dá)路徑與之相匹配。因此可以通過系統(tǒng)狀態(tài)可達(dá)性分析的方法找出該路徑，并對該路徑中各狀態(tài)點(diǎn)與狀態(tài)遷移的信息進(jìn)行分析即可找出測試過程中導(dǎo)致系統(tǒng)故障的原因。同時(shí)根據(jù)狀態(tài)可達(dá)路徑自動(dòng)生成的原理，實(shí)現(xiàn)測試結(jié)果自動(dòng)分析。
　　本文選