面向联锁功能测试的模型转换方法

铁道学报页数： 9 2025-11-15

摘要：基于模型的测试是保障计算机联锁系统质量的自动化测试手段。为解决基于模型的测试中形式化建模的问题，提出一种基于模型转换间接构建联锁测试模型的方法。采用直观易理解的统一建模语言(UML)序列图对进路处理功能建模，描述联锁软件子模块之间的交互以及联锁条件的执行顺序；采用ATLAS转换语言将UML序列图转换为分层时间自动机，得到形式化的联锁功能模型；将分层时间自动机导入UPPAAL工具... （共9页）

开通会员，享受整站包年服务

说明：本文档由创作者上传发布，版权归属创作者。若内容存在侵权，请点击申诉举报

科技文档

数学力学化学金融证券保险投资会计审计园艺林业旅游体育物理学生物学天文学气象学海洋学地质学新能源金属学农艺学农作物管理学领导学自然科学系统科学资源科学无机化工有机化工燃料化工化学工业材料科学矿业工程冶金工业安全科学环境科学工业通用机械工业无线电子电信技术铁路运输汽车工业船舶工业动力工程电力工业农业科学农业工程植物保护动物医学教育理论学前教育初等教育中等教育高等教育职业教育成人教育自然地理地球物理经济统计农业经济工业经济交通经济企业经济文化经济信息经济贸易经济财政税收市场研究科学研究互联网自动化轻工业核科学服务业石油然气服务业野生动物水产渔业硬件仪器仪表航空航天武器军事公路运输水利水电建筑科学软件