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

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

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

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