基于UML的地鐵聯(lián)鎖軟件測(cè)試用例生成方法的研究.pdf

1、計(jì)算機(jī)聯(lián)鎖是保證列車安全運(yùn)行的重要技術(shù)措施，對(duì)聯(lián)鎖邏輯的分析、測(cè)試、驗(yàn)證是滿足苛刻需求條件的基礎(chǔ)。聯(lián)鎖軟件作為保證行車安全的重要設(shè)備，定期對(duì)其測(cè)試至關(guān)重要?；谀Ｐ偷臏y(cè)試用例生成方法研究，可以解決測(cè)試用例對(duì)聯(lián)鎖軟件測(cè)試的通用性問題。UML(Unified Modeling Language,統(tǒng)一建模語(yǔ)言)成為模型測(cè)試的研究熱點(diǎn)，對(duì)于描述復(fù)雜的聯(lián)鎖邏輯提供了支持。合理而有效的測(cè)試用例設(shè)計(jì)，是聯(lián)鎖測(cè)試有序且高效率執(zhí)行的重要前提。所以基于UM

2、L的地鐵聯(lián)鎖測(cè)試用例生成方法的研究，生成的測(cè)試用例作為指導(dǎo)測(cè)試具有重要意義。
　　為了能夠?qū)崿F(xiàn)聯(lián)鎖邏輯的可靠形式化模型來(lái)生成測(cè)試用例，本文首先采用UML用例圖對(duì)聯(lián)鎖功能進(jìn)行描述，并以聯(lián)鎖進(jìn)路為中心，建立進(jìn)路與信息交互信號(hào)設(shè)備間的關(guān)系類圖，作為測(cè)試用例生成的補(bǔ)充信息。以進(jìn)路選排為例，對(duì)聯(lián)鎖和其它設(shè)備的信息交互過(guò)程建立順序圖模型。由于UML模型的半形式化，對(duì)其進(jìn)行形式化定義使模型表達(dá)更加精確，解決順序圖組合片段的處理問題，實(shí)現(xiàn) UML

3、順序圖到信息交互系統(tǒng)對(duì)象ETDFA(Event Deterministic Finite Automata,事件確定有限狀態(tài)機(jī))模型轉(zhuǎn)換。以進(jìn)路選排成功和失敗為終止節(jié)點(diǎn)，由對(duì)象ETDFA模型合成聯(lián)鎖系統(tǒng)的ETDFA模型。根據(jù)測(cè)試覆蓋準(zhǔn)則，對(duì)系統(tǒng)ETDFA模型進(jìn)行測(cè)試場(chǎng)景分析，并且采用改進(jìn)的深度優(yōu)先算法遍歷聯(lián)鎖系統(tǒng)ETDFA模型確定測(cè)試路徑。對(duì)測(cè)試路徑信息和場(chǎng)景消息進(jìn)行組合，得到進(jìn)路選排測(cè)試用例集。
　　根據(jù)進(jìn)路建立的操作過(guò)程提出測(cè)