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

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

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

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