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

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

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

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