计算机联锁人工进路的办理,基于UPPAAL的计算机联锁进路控制过程测试用例自动生成...

摘要:

计算机联锁系统是保证列车在车站内安全运行的重要手段,联锁逻辑运算的安全性和可靠性影响着整个车站设备的实时状态,对行车安全有着至关重要的作用.因此需要对联锁系统软件设计进行安全性测试.然而由于各个信号厂商软件的不统一性,造成测试的难度很大.目前软件的测试方法主要以代码为中心来设计测试用例,系统测试的通用性和灵活性不足,由于对于同一个问题针对不同的开发人员编写的程序和框架思路不完全一样,就需要针对每行代码或者每个模块设计测试用例,测试效率极低而且费时较多. 本文结合计算机联锁技术规范,深入分析了联锁内部逻辑运算的核心过程,并引入人环因素的影响,分模块建立计算机联锁状态机模型,并对模型进行仿真和验证,生成最终的测试用例. 首先从功能需求和人环因素两个方面展开研究,将自然偶发因素和人为因素产生的设备故障对联锁运算的影响引入到联锁核心运算进路控制功能中.在系统需求分析的基础上,利用UPPAAL软件依据联锁逻辑过程对进路控制模块进行建模,包括进路建立,进路正常解锁,调车中途折返解锁,进路取消,人工解锁和故障解锁.其次采用UPPAAL的仿真环境和BNF语法以具体进路为例对建立的模型进行仿真和验证,确保模型的正确性,并以XML文件保存了模型中状态和边的关系.利用Java提供的dom4j技术解析生成的XML文件,得到模型中状态和边的关系,并引入图论的基本原理,采用邻接表的存储方式将状态和边的关系进行存储,并在每个模型中分别分配给每个状态一个编码,用于简化模型.为了保证测试用例的完备性,设计DFS搜索算法遍历简化的模型,得到抽象测试用例.最后根据抽象测试用例得到所有的迁移谓词条件,利用Java反射机制解析所有的谓词条件,得到最终的测试用例.

展开

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值