CTCS2-200C列控車載設(shè)備軟件測試方法研究
摘要:簡要介紹了CTCS2-200C列控車載設(shè)備和Ada語言;研究了CTCS2-200C列控車載設(shè)備的軟件測試方法,采用Undertand進(jìn)行軟件靜態(tài)測試,采用VectorCAST進(jìn)行動態(tài)測試。通過使用2種自動化測試工具,提高了軟件測試的效率,也為其他安全相關(guān)軟件的測試提供了參考。
注: 保護(hù)知識產(chǎn)權(quán),如需閱讀全文請聯(lián)系鐵道通信信號雜志社