本文關鍵詞： 軌道交通控制系統 需求分析 需求驗證 場景描述 仿真　出處：《華東師范大學》2017年碩士論文　論文類型：學位論文

【摘要】：我國軌道交通在不斷地發(fā)展,而列車自動保護系統作為列車控制系統的基礎,保證它的安全性和可靠性更是重中之重。但是目前在軌交領域中,主流的安全性保障方法基本依賴人工手段對此類系統的代碼進行測試,并沒有一個行之有效的方法自動化地完成需求模型的分析與驗證。同時,即使需求模型被認為是正確的,在實踐中進行基于模型的自動化測試仍然面臨如何使模型自動化執(zhí)行的問題。針對此問題,本文提出了一套面向軌道交通控制系統進行分析和驗證的方法,該方法可以自動化地進行需求模型構建、測試場景轉化、需求仿真執(zhí)行,最后對仿真執(zhí)行結果進行分析。主要的貢獻如下:需求模型構造:本文使用定義的需求描述語言CASDL(CASCO Specification Description Language)描述需求,并對相應的需求文檔進行建模。通過模型對需求進行語法檢查和性質檢查,幫助測試人員分析并改正需求,保證需求編寫規(guī)范和邏輯的正確性,并為之后需求仿真執(zhí)行做好準備。測試場景腳本:為確保ATP系統(Automatic Train Protection System)需求的正確性,需要通過列車運行場景對需求進行驗證。本文使用場景描述語言CASSL(CASCO Scenario Language)描述測試場景,保證場景設計的規(guī)范性。通過對相應場景腳本進行語法檢查和邏輯檢查來保證腳本規(guī)范和邏輯的正確性。最后通過對場景腳本進行自動化的分析和計算,生成供測試平臺使用的測試腳本。測試平臺執(zhí)行測試腳本后,可以得到預期的測試數據,為需求仿真執(zhí)行做好準備。需求仿真執(zhí)行:本文實現的需求仿真是使用需求模型模擬ATP系統在給定場景下的運行過程,需求仿真執(zhí)行算法可以根據測試數據和需求模型生成計算數據結果。工具對計算數據與預期測試數據進行分析,發(fā)現需求或系統實現中的錯誤,供測試人員進行處理,提高測試效率。本文提出的需求模型分析與驗證方法已實現相應工具,并投入到軌道交通控制系統測試的工程應用中。
[Abstract]:Rail transit is developing continuously in our country. As the foundation of train control system, the automatic train protection system is the most important thing to ensure its safety and reliability. However, it is in the field of rail transit at present. The mainstream security methods basically rely on manual means to test the code of this kind of system, and there is no effective method to automate the analysis and verification of the requirement model. At the same time. Even if the requirement model is considered to be correct, there is still a problem of how to automate the execution of the model in practice. This paper presents a method for analysis and verification of rail transit control system. This method can automate the construction of requirement model, test scene transformation and requirement simulation. Finally, the simulation results are analyzed. The main contributions are as follows: requirements model construction: this paper uses the defined requirements description language (CASDL). CASCO Specification Description language describes requirements. Through the model to check the syntax and nature of the requirements, help the testers to analyze and correct the requirements, and ensure the correctness of the requirements specification and logic. Test scenario script: to ensure that the ATP system is automatic Train Protection system. Correctness of requirements. It is necessary to validate the requirement through the train running scenario. This paper uses the scenario description language (CASSL(CASCO Scenario language) to describe the test scenario. Ensure the normative design of the scene. By checking the syntax and logic of the corresponding scenario script to ensure the correctness of the script specification and logic. Finally, through the analysis and calculation of the scene script automation. Generate test scripts for use by the test platform. After the test platform executes the test script, the expected test data can be obtained. Requirement simulation execution: the requirement simulation in this paper is to simulate the running process of ATP system in a given scenario using the requirement model. The requirement simulation execution algorithm can generate the result of calculation data according to the test data and the requirement model. The tool analyzes the calculated data and the expected test data and finds the error in the requirement or the system implementation. The requirement model analysis and verification method proposed in this paper has realized the corresponding tools and has been applied in the engineering application of rail transit control system test.
【學位授予單位】：華東師范大學
【學位級別】：碩士
【學位授予年份】：2017
【分類號】：U284.48;TP273

【參考文獻】

相關期刊論文 前5條

1 李俊普;王建新;莫翹楚;;基于AHP的軟件演化分析模型[J];計算機工程與設計;2015年09期

2 趙彥琦;謝小西;荀宇暢;;Python語言學習之我見[J];電子制作;2013年13期

3 田義海;;我國軌道交通發(fā)展面臨的問題及對策研究[J];科協論壇(下半月);2012年07期

4 劉宏杰;郜春海;劉波;陳黎潔;;城市軌道交通列車運行控制系統分級標準研究[J];都市快軌交通;2011年04期

5 韋群;王玨;;軟件缺陷及其對軟件可靠性的影響分析[J];計算機應用與軟件;2011年01期

相關博士學位論文 前1條

1 趙瑞蓮;軟件測試方法研究[D];中國科學院研究生院（計算技術研究所）;2001年

相關碩士學位論文 前1條

1 李婧;SMT求解器技術對比分析及其能力擴展研究[D];國防科學技術大學;2010年

，

本文編號：1492533