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

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

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

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

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