基于UML狀態(tài)圖的列控中心軌道電路編碼功能測(cè)試用例生成方法研究.pdf

1、隨著我國(guó)高速鐵路自動(dòng)化水平的提高，列控系統(tǒng)成為保障列車安全運(yùn)行的關(guān)鍵系統(tǒng)。列控中心作為列控系統(tǒng)重要的地面子系統(tǒng)，為列車提供重要的行車控制信息，是高安全性、高可靠性的安全苛求系統(tǒng)。為了保證列控中心能夠可靠地工作，必須對(duì)列控中心軟件進(jìn)行嚴(yán)格的功能測(cè)試，這意味著測(cè)試過程中須執(zhí)行大量的測(cè)試用例。測(cè)試用例的質(zhì)量對(duì)測(cè)試效果至關(guān)重要，當(dāng)前測(cè)試用例生成方法大體分為人工設(shè)計(jì)和軟件自動(dòng)生成兩種。軌道電路編碼是列控中心主要功能之一，該功能邏輯復(fù)雜，人工設(shè)計(jì)測(cè)

2、試用例的方式存在諸多不足，因此有必要研究軌道電路編碼功能的自動(dòng)化測(cè)試用例生成方法從而為列控中心自動(dòng)化測(cè)試打下堅(jiān)實(shí)基礎(chǔ)。
　　本文首先對(duì)列控中心的功能和結(jié)構(gòu)進(jìn)行了概述。詳細(xì)介紹了列控中心軌道電路編碼的基本原理。同時(shí)還介紹了UML狀態(tài)圖的特點(diǎn)以及本文對(duì)使用UML狀態(tài)圖的約束，進(jìn)而提出適用于軌道電路編碼功能的UML狀態(tài)圖建模方法及測(cè)試用例生成方法。
　　其次，本文詳細(xì)分析了站內(nèi)和區(qū)間軌道電路編碼功能的特點(diǎn)，明確了該功能所涉及的建模

3、對(duì)象，并且提出了軌道電路編碼模型的復(fù)用方法。在此基礎(chǔ)上從站內(nèi)進(jìn)路或區(qū)間線路以及他們的相關(guān)軌道區(qū)段兩個(gè)層次建立軌道電路編碼功能模型。為了根據(jù)模型自動(dòng)產(chǎn)生測(cè)試用例，本文采用圖覆蓋與組合覆蓋結(jié)合的方式產(chǎn)生測(cè)試用例的輸入信息，即利用基于主路徑覆蓋準(zhǔn)則的算法生成測(cè)試路徑，之后再通過組合測(cè)試工具ACTS對(duì)測(cè)試路徑中的變量進(jìn)行組合覆蓋。在產(chǎn)生測(cè)試用例的輸入信息后，利用Antlr文法分析器對(duì)模型的轉(zhuǎn)移條件進(jìn)行分析并結(jié)合UML狀態(tài)圖的狀態(tài)轉(zhuǎn)移機(jī)制推算出測(cè)