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

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

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

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