基于全路徑覆蓋優(yōu)化和序列優(yōu)選算法的自動(dòng)化測(cè)試方法及應(yīng)用.pdf

1、作為典型安全苛求系統(tǒng)的中國高速鐵路列車運(yùn)行控制CTCS-3級(jí)系統(tǒng)正朝著高速度、高密度列車運(yùn)營的目標(biāo)不斷前進(jìn)。CTCS-3列控系統(tǒng)的應(yīng)用大大提高了列車運(yùn)行速度，及運(yùn)輸效率，但同時(shí)在安全方面也提出了更高的要求，為保證CTCS-3級(jí)列控系統(tǒng)的高可靠性、高安全性和順利運(yùn)行，必須在其投入使用前進(jìn)行測(cè)試。測(cè)試是能夠在列控系統(tǒng)運(yùn)行時(shí)刻實(shí)時(shí)檢驗(yàn)系統(tǒng)動(dòng)態(tài)行為的有效方法，也是CTCS-3級(jí)列控系統(tǒng)投入運(yùn)營前的一個(gè)重要步驟，因此針對(duì)CTCS-3級(jí)列控系統(tǒng)的第

2、三方獨(dú)立測(cè)試技術(shù)也越來越得到重視，成為保障CTCS-3級(jí)列控系統(tǒng)安全水平的重要手段。
　　CTCS-3列控系統(tǒng)的現(xiàn)場(chǎng)測(cè)試需要消耗巨大的人力、財(cái)力，測(cè)試周期較長，而且完全由人工做出的測(cè)試案例和測(cè)試序列可能會(huì)出現(xiàn)些許漏洞和缺陷;因此，為了提高測(cè)試效率、測(cè)試數(shù)據(jù)的正確性、以及降低測(cè)試耗費(fèi)，基于形式化模型的自動(dòng)化測(cè)試方法成為備受關(guān)注的新型測(cè)試方法。
　　本文針對(duì)基于CPN分層形式化模型及測(cè)試案例與測(cè)試序列生成算法的自動(dòng)化測(cè)試方法進(jìn)行

3、了深入研究。論文的主要工作如下:
　　首先，介紹形式化測(cè)試的國內(nèi)外研究現(xiàn)狀、研究背景及意義;介紹形式化測(cè)試方法在軌道交通中的實(shí)際應(yīng)用。
　　第二，闡述CPN的有關(guān)概念及嚴(yán)格的數(shù)學(xué)定義，闡述可擴(kuò)展編輯語言的概念，并制定了與系統(tǒng)模型、測(cè)試案例及序列相關(guān)的定義與建模原則;
　　第三，提出基于CPN分層形式化模型的測(cè)試案例和測(cè)試序列生成算法——全路徑優(yōu)化算法、序列優(yōu)選算法，對(duì)算法的思想及實(shí)現(xiàn)進(jìn)行了科學(xué)的闡述，并詳細(xì)闡述了基于以

4、上算法的測(cè)試案例與測(cè)試序列自動(dòng)化生成方法。
　　第四，以CTCS-3級(jí)列控系統(tǒng)下RBC切換為例，用本文提出的方法自動(dòng)生成了測(cè)試案例與測(cè)試序列，并對(duì)本方法進(jìn)行分析與評(píng)估。
　　第五，利用C+十開發(fā)自動(dòng)生成軟件，用于生成XML格式的測(cè)試案例與測(cè)試序列;將本方法與RBC測(cè)試平臺(tái)結(jié)合起來，把生成的XML測(cè)試序列注入到測(cè)試平臺(tái)，測(cè)試RBC的切換功能。
　　最后，通過對(duì)本文工作的總結(jié)，可知本文所提出的測(cè)試生成方法實(shí)現(xiàn)了測(cè)試的自動(dòng)化