面向聯鎖功能測試的模型轉換方法

鐵道學報頁數： 9 2025-11-15

摘要：基于模型的測試是保障計算機聯鎖系統質量的自動化測試手段。為解決基于模型的測試中形式化建模的問題，提出一種基于模型轉換間接構建聯鎖測試模型的方法。采用直觀易理解的統一建模語言(UML)序列圖對進路處理功能建模，描述聯鎖軟件子模塊之間的交互以及聯鎖條件的執(zhí)行順序；采用ATLAS轉換語言將UML序列圖轉換為分層時間自動機，得到形式化的聯鎖功能模型；將分層時間自動機導入UPPAAL工具... （共9頁）

開通會員，享受整站包年服務

說明：本文檔由創(chuàng)作者上傳發(fā)布，版權歸屬創(chuàng)作者。若內容存在侵權，請點擊申訴舉報

科技文檔

數學力學化學金融證券保險投資會計審計園藝林業(yè) 旅游體育物理學生物學天文學氣象學海洋學地質學新能源金屬學農藝學農作物管理學領導學自然科學系統科學資源科學無機化工有機化工燃料化工化學工業(yè) 材料科學礦業(yè)工程冶金工業(yè) 安全科學環(huán)境科學工業(yè)通用機械工業(yè) 無線電子電信技術鐵路運輸汽車工業(yè) 船舶工業(yè) 動力工程電力工業(yè) 農業(yè)科學農業(yè)工程植物保護動物醫(yī)學教育理論學前教育初等教育中等教育高等教育職業(yè)教育成人教育自然地理地球物理經濟統計農業(yè)經濟工業(yè)經濟交通經濟企業(yè)經濟文化經濟信息經濟貿易經濟財政稅收市場研究科學研究互聯網自動化輕工業(yè) 核科學服務業(yè) 石油然氣服務業(yè) 野生動物水產漁業(yè) 硬件儀器儀表航空航天武器軍事公路運輸水利水電建筑科學軟件