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

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

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

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