基于場景的列控車載設備測試用例自動生成方法研究.pdf

1、車載控制系統(tǒng)是CTCS-3級列控系統(tǒng)的核心子系統(tǒng)，車載設備是確保列車安全運行的關鍵。為了保證車載系統(tǒng)控制功能的正確性，能夠嚴格對列車運行速度實施超速防護，需要驗證車載設備功能實現(xiàn)與需求規(guī)范的一致性，對車載設備進行測試是確保列車安全運行的基礎和關鍵。測試用例生成是測試的基礎，測試用例的設計與生成會對測試效率、測試結(jié)果產(chǎn)生很大影響，如何自動產(chǎn)生測試用例，并且能夠完備的覆蓋系統(tǒng)規(guī)范是目前車載系統(tǒng)測試的關鍵問題。
　　本文針對車載設備傳統(tǒng)

2、手工測試用例生成的效率低，耗時長，工作量繁雜，可重用性低等缺陷，在測試用例自動生成方法和測試覆蓋準則描述語法的理論研究基礎上，提出了一種基于場景的車載設備測試用例自動生成方法，并以車載設備運行模式測試為例驗證了該方法的正確性和有效性。
　　首先，依據(jù)CTCS-3級列控系統(tǒng)技術規(guī)范構(gòu)造車載子系統(tǒng)模式轉(zhuǎn)換場景樹模型，并依據(jù)場景分析建立車載系統(tǒng)自動機網(wǎng)絡模型。然后，由測試用例自動生成工具CoVer生成全狀態(tài)覆蓋準則、場景變量覆蓋準則以及

3、全變遷覆蓋準則下的模式轉(zhuǎn)換測試用例，并進行了效率比較。最后，針對車載設備運行模式測試需求，編寫運行模式最小重復度選擇算法，對自動生成的覆蓋場景變量的用例腳本進行優(yōu)化，降低模式覆蓋的冗余度，并開發(fā)測試用例格式轉(zhuǎn)換器，將測試腳本轉(zhuǎn)換為C3測試案例的標準格式，并在車載仿真測試平臺進行驗證。
　　結(jié)論證明，基于場景自動生成的測試用例能夠覆蓋全部車載控車模式，提高了模式測試序列的生成效率，該方法可進一步用于CTCS-3級列控系統(tǒng)的測試，有助