Research on test case generation of on-board equipment based on UML 2.0 activity diagrams
-
摘要: 重点研究基于UML2.0活动图的CTCS-2级车载设备测试用例生成方法.介绍车载设备的构成和功能,对活动图进行形式化定义,阐述测试用例的设计,包括车载设备活动图建模规则、测试用例的形式化定义、测试覆盖准则的定义、基于深度优先搜索并且带回溯的遍历算法的测试场景生成,以及测试用例的生成算法,最后实现了测试用例生成.
-
-
期刊类型引用(3)
1. 武群,李根,张竑川,余文博,彭博,陆续. 联调联试指挥部管理系统研究. 铁路技术创新. 2023(06): 43-49 . 百度学术
2. 端嘉盈,王万齐,沈海燕. 高铁联调联试数据智能分析及管理总体设计研究. 铁道标准设计. 2020(11): 157-161 . 百度学术
3. 杨礼,武明生,赵方霞,熊伟. 高速铁路灾害监测系统误报警分析及改进措施探讨. 中国铁路. 2019(07): 81-85 . 百度学术
其他类型引用(1)
计量
- 文章访问数: 56
- HTML全文浏览量: 0
- PDF下载量: 55
- 被引次数: 4