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

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

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

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

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