基于模型的CTCS-3级列控系统测试案例自动生成方法

• 作者: 吕继东 唐涛 朱晓琳 李开成 王海峰
• 来源期刊: 西南交通大学学报
• 学科: 交通运输
• 关键词: 形式化模型 列控系统 HCSP TA 测试案例自动生成 测试套
• 年，卷（期）: 2015,（5）
• 页码范围: 917-927
• 页数: 11页
• 分类号: U283
• 字数: 6402字
• 语种: 中文
• DOI: 10.3969/j.issn.0258-2724.2015.05.023

摘要

为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process,HCSP)形式化模型和时间自动机(timed automaton,TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场景的时序模型,分析了列控系统运营场景规范中时序功能的正确性;在时序模型的基础上,设计了满足全状态、全变迁和自定义-使用3种领域无关覆盖准则的列控系统测试案例自动生成算法,并以RBC(radio block center,RBC)切换场景为例,生成了100％全状态、全变迁和自定义-使用覆盖准则的测试案例套.从测试套数量、测试时间和内存消耗3个方面分析测试案例的生成效率表明:自定义-使用覆盖准则的测试案例套测试时间和内存消耗最小,分别为0.02s和9.4 MB,本文方法提高列控系统测试案例生成效率最大达30％.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通控制与安全国家重点实验室	152	2578	27.0	40.0
2	李开成	北京交通大学轨道交通运行控制系统国家工程研究中心	49	532	14.0	21.0
3	吕继东	北京交通大学轨道交通运行控制系统国家工程研究中心	25	310	9.0	17.0
4	王海峰	北京交通大学轨道交通运行控制系统国家工程研究中心	31	313	10.0	17.0
5	朱晓琳	中国铁道科学研究院通信信号研究所	4	27	2.0	4.0