基于著色Petri網(wǎng)的測試用例生成及其在列控系統(tǒng)中的應(yīng)用.pdf

1、隨著我國鐵路的不斷發(fā)展,提出了立足我國國情的中國列車運(yùn)行控制系統(tǒng)(CTCS),它主要借鑒了歐洲的ETCS標(biāo)準(zhǔn),提高了列車運(yùn)行效率,但同時(shí)也在與安全相關(guān)的技術(shù)上提出了更高的要求,例如對系統(tǒng)進(jìn)行相關(guān)測試。
　　 測試是CTCS-3級列車控制系統(tǒng)投入運(yùn)營前的一個(gè)重要步驟,對其各方面性能進(jìn)行測試,是保證列車行車安全,提高運(yùn)輸效率的重要手段。
　　 本文基于軟件測試的方法和Petri網(wǎng)的相關(guān)特性,設(shè)計(jì)了基于可達(dá)圖的測試用例生成方法

2、,并將該方法用在RBC切換中,以測試車載設(shè)備的功能在RBC切換時(shí)是否符合規(guī)范所描述的功能。論文的主要工作如下:
　　 1.介紹了國內(nèi)外列控系統(tǒng)相關(guān)的測試現(xiàn)狀,其中,主要介紹了國外的混合測試方法及其應(yīng)用,國內(nèi)的基于黑盒測試的CTCS-3級車載設(shè)備功能測試的測試案例生成原則和測試序列設(shè)計(jì)方法。
　　 2.將測試按不同的劃分原則可劃分為不同的類型,如按照技術(shù)可劃分為:白盒測試、黑盒測試及灰盒測試。詳細(xì)闡述了黑盒測試和白盒測試的

3、具體方法。
　　 3.在對比非完全路徑和完全路徑的同時(shí),給出了完全路徑覆蓋測試方法;在定義了Petri網(wǎng)的前提下,給出了著色Petri網(wǎng)的可達(dá)圖、可達(dá)樹及其覆蓋樹的構(gòu)造方法;在完全路徑覆蓋測試方法、廣度優(yōu)先搜索思想和Petri網(wǎng)的可達(dá)圖、可達(dá)樹及其覆蓋樹的基礎(chǔ)上,設(shè)計(jì)了基于著色Petri網(wǎng)的測試用例生成方法。
　　 4.根據(jù)《CTCS-3級系統(tǒng)RBC-RBC接口規(guī)范v4.0》,總結(jié)出RBC切換的主要步驟,利用UML畫出了

4、RBC切換的時(shí)序圖,并在時(shí)序圖的基礎(chǔ)上,定義了移交RBC、接收RBC和車載設(shè)備的不同狀態(tài),給出了移交RBC、接收RBC和車載設(shè)備在RBC切換時(shí)的狀態(tài)圖。利用CPN Tools工具和己給出的RBC切換狀態(tài)圖,建立了RBC切換時(shí)的CPN層次模型,分析該模型的行為特性,結(jié)合已設(shè)計(jì)的基于著色Petri網(wǎng)的測試用例生成方法,生成了測試路徑和測試用例,并對生成的測試用例進(jìn)行評價(jià),驗(yàn)證了基于著色Petri網(wǎng)的測試用例生成方法的正確性。