CTCS-3級(jí)車載列車控制系統(tǒng)單元測(cè)試研究.pdf

1、為了保證列車的安全高效運(yùn)行，驗(yàn)證車載列車控制系統(tǒng)是否滿足軟件需求規(guī)范，必須對(duì)其進(jìn)行一系列測(cè)試。單元測(cè)試作為針對(duì)代碼級(jí)的測(cè)試，是整個(gè)開發(fā)與測(cè)試過程中最為基本的測(cè)試工作，它的作用是測(cè)試程序代碼的執(zhí)行情況，只有先完成單元測(cè)試，保證系統(tǒng)代碼能夠完全執(zhí)行并達(dá)到軟件安全標(biāo)準(zhǔn)，才可以進(jìn)行接下來的開發(fā)及測(cè)試工作，對(duì)保障開發(fā)軟件質(zhì)量具有重要意義。
　　在這樣的背景下，本文針對(duì)CTCS-3級(jí)車載列車控制系統(tǒng)的單元測(cè)試進(jìn)行研究。主要研究?jī)?nèi)容如下:

2、>　　(1)針對(duì)車載列車控制系統(tǒng)進(jìn)行形式化建模。利用UML形式化建模語(yǔ)言對(duì)車載列車控制系統(tǒng)進(jìn)行活動(dòng)圖建模，從而分析車載列車控制系統(tǒng)的9個(gè)重要系統(tǒng)功能，以避免因使用其他方法描述而產(chǎn)生的不確定性。通過對(duì)列車控制系統(tǒng)的主要系統(tǒng)功能進(jìn)行形式化建模分析，可以將所有功能模塊包含進(jìn)該模型中，避免遺漏某個(gè)功能模塊，同時(shí)通過該模型可以更直觀的了解系統(tǒng)的功能結(jié)構(gòu)，為保障單元測(cè)試達(dá)到安全測(cè)試標(biāo)準(zhǔn)奠定了重要的基礎(chǔ)。
　　(2)針對(duì)車載列車控制系統(tǒng)設(shè)計(jì)測(cè)試

3、案例。分別對(duì)通信消息包和列車制動(dòng)模塊進(jìn)行分析，把這兩個(gè)車載功能作為例子來研究測(cè)試案例的生成方法。通過UML形式化建模語(yǔ)言對(duì)這兩個(gè)模塊建立用例圖和活動(dòng)圖，提取出該單元模塊的系統(tǒng)特征，設(shè)計(jì)測(cè)試案例。隨后采用組合覆蓋法對(duì)測(cè)試案例中被測(cè)代碼的輸入變量取值進(jìn)行分析，找出合適的測(cè)試輸入變量，再進(jìn)行單元測(cè)試。通過生成的測(cè)試案例可以用于指導(dǎo)單元測(cè)試的進(jìn)行，以達(dá)到軟件安全標(biāo)準(zhǔn)，同時(shí)為每個(gè)測(cè)試過程都建立一個(gè)追蹤體系，便于發(fā)現(xiàn)問題后快速查找。
　　(3