基于模型的列控系統(tǒng)測試用例自動生成研究.pdf

1、伴隨著經(jīng)濟(jì)的快速發(fā)展，國家加大了在鐵路運輸事業(yè)的投資，中國高鐵在近些年取得了卓越的成績，四縱四橫鐵路快客通道和六大城際快客系統(tǒng)的實現(xiàn)，形成了高速鐵路網(wǎng)的網(wǎng)絡(luò)效應(yīng)，對現(xiàn)有交通運輸格局產(chǎn)生了較大影響。在我國鐵路事業(yè)飛速發(fā)展面前，列車運行控制系統(tǒng)的安全性、實時性和高效性成為了人們關(guān)注的焦點。作為CTCS-3級列控系統(tǒng)核心的車載設(shè)備上道使用前應(yīng)進(jìn)行全面的測試。測試的基礎(chǔ)是測試用例的生成，目前車載設(shè)備測試用例是根據(jù)專家經(jīng)驗通過啟發(fā)的方式得到，這種

2、方式既耗時，又不能保證測試的覆蓋度。所以，有必要在保證測試覆蓋度的前提下將測試用例的生成過程自動化。
　　論文主要研究CTCS-3級列控系統(tǒng)車載設(shè)備測試用例自動生成方法，實現(xiàn)了由時間自動機模型提取生成測試用例，再由測試用例串聯(lián)成供仿真平臺使用的測試序列，最后依托仿真平臺執(zhí)行測試序列并顯示執(zhí)行步驟和測試結(jié)果。論文首先介紹了車載設(shè)備的構(gòu)成和測試的相關(guān)概念，提出了車載設(shè)備測試用例自動生成的必要性和可行性;接著使用UPPAAL軟件對列車注