CTCS-3級列控系統(tǒng)測試案例優(yōu)化生成方法研究.pdf

1、為滿足客運專線和高速鐵路快速發(fā)展的需求，我國開展了對CTCS-3級列控系統(tǒng)的技術(shù)攻關，以實現(xiàn)CTCS-3級列控系統(tǒng)關鍵技術(shù)的國產(chǎn)化和系統(tǒng)集成創(chuàng)新，并保證在運營組織上滿足動車組跨線運行的要求、在系統(tǒng)裝備上滿足不同廠商設備互聯(lián)互通的要求。在這樣的背景下，如何對CTCS-3級列控系統(tǒng)進行全面的功能測試是一個急需解決的問題。而測試案例作為列控系統(tǒng)測試的基礎，對其生成方法進行研究就變得非常重要。
　　 論文根據(jù)UML建模語言和CTCS-3

2、列控系統(tǒng)測試案例的特點，提出了測試案例優(yōu)化生成方法。首先，在分析UML建模機制的基礎上提出將UML建模技術(shù)應用于CTCS-3級列控系統(tǒng)測試案例的生成中，在不改變現(xiàn)有的測試案例生成思路的基礎上引入UML建模技術(shù)來優(yōu)化測試案例的生成。測試案例的生成分為兩步，第一步是從《CTCS-3級列控系統(tǒng)系統(tǒng)需求規(guī)范(SRS)》中提取出功能特征，第二步是針對每一個功能特征，結(jié)合對列車運行流程的建模來生成測試案例。其次，論文提出基于UML狀態(tài)圖自動生成測試

3、案例的方法，其主要思路是在滿足測試覆蓋標準的前提下，將對狀態(tài)圖的操作轉(zhuǎn)化為圖論中Hamilton圈、Euler回路及頂點的度的求解，采用相應的算法對狀態(tài)圖進行遍歷，從而生成測試案例。最后，對基于狀態(tài)圖生成測試案例的方法進行了具體實現(xiàn)，其過程是通過解析UML狀態(tài)圖的MDL文件獲取狀態(tài)圖的相關信息，并將這些信息存儲在圖的鄰接表結(jié)構(gòu)中，然后通過對圖進行遍歷生成測試案例，并使生成的測試案例滿足遷移對覆蓋準則。
　　 論文提出的將UML建