基于UML-XML的車載設(shè)備測試用例生成方法研究和實現(xiàn).pdf

1、我國300km/h及以上高速客運專線確定將CTCS-3(Chinese Train ControlSystem Level3)級列控系統(tǒng)作為全路統(tǒng)一技術(shù)平臺體系,并兼容CTCS-2級列控系統(tǒng)功能。目前,具備完全自主知識產(chǎn)權(quán)的CTCS-3級列控系統(tǒng)正處于研究階段,系統(tǒng)研發(fā)和測試技術(shù)尚未完全成熟。性能先進(jìn)、安全、可靠、高效的列控系統(tǒng)是保證高速列車安全運行的基本保證,因此需要對CTCS-3級列控系統(tǒng)開展功能測試、子系統(tǒng)的互聯(lián)互通測試和性能評價

2、等工作。車載設(shè)備是CTCS-3級列控系統(tǒng)的核心子系統(tǒng),研究車載設(shè)備的功能測試方法,尤其是測試用例自動生成方法,對CTCS-3列控系統(tǒng)的研制工作具有重要意義。
　　 論文針對車載設(shè)備的測試用例自動生成方法展開研究:
　　 1)介紹了統(tǒng)一建模語言UML(Unified Modeling Language)的語法和語義,分析了UML模型圖的可測試性問題,闡述了采用XML(Extensible MarkupLanguage)描述

3、測試用例的好處和XML的基本概念。
　　 2)提出了一種基于UML-XML的測試用例生成方法。研究了可測試的UML建模方法,對可測試的UML模型進(jìn)行了形式化定義。在此基礎(chǔ)上,提出一種測試用例模型,并研究了測試用例模型的生成算法。
　　 3)研究基于XMI(XML-based Metadata Interchange)的UML模型到XML模式的轉(zhuǎn)換規(guī)則。設(shè)計了測試用例文檔的XML模式。分析了XMI文檔中,UML模型元素的構(gòu)

4、成。結(jié)合所設(shè)計的XML模式,定義了UML到XML的轉(zhuǎn)換規(guī)則。
　　 4)開發(fā)了一個測試用例生成工具,該工具實現(xiàn)了從UML模型中生成測試用例的算法,并能配置測試用例的數(shù)據(jù),生成XML測試用例文檔。論文以車載設(shè)備的列車速度監(jiān)控功能為研究對象,創(chuàng)建了該功能的可測試用例模型,生成了相應(yīng)的測試用例集。
　　 測試用例生成結(jié)果表明,采用論文提出的從UML模型中生成XML測試用例的方法所生成的測試用例集,能覆蓋系統(tǒng)的所有功能和功能的執(zhí)