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

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

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