基于場(chǎng)景的列控車(chē)載設(shè)備測(cè)試用例自動(dòng)生成方法研究.pdf

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

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

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