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

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

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

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