多端口形式化测试自动生成方法在CTCS-3车载系统中的应用

• 作者: 唐涛 赵显琼
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: CTCS 时间自动机 车载系统 UPPAAL 实时系统 COVER
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 44-51
• 分类号: TP301.1|U284.48
• 字数: 7956字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2011.07.008

摘要

针对CTCS-3列控系统测试中普遍存在的需要多个端口协同测试的问题,在时间输入输出自动机(TIOA)的基础上,提出端口标记的时间输入输出自动机(LpTIOA).LpTIOA除在模型中能够反映系统的时间约束特性外,还能反映系统输入输出行为对应的端口信息,利用这些信息对基于覆盖度的搜索算法进行相应改进,形成包含端口信息的测试自动生成算法,用于生成满足给定覆盖度标准的测试套.文中还描述了运用UPPAAL工具对LpTIOA模型实现建模的方法,并运用COVER工具实现对经过UPPAAL验证的CTCS-3级车载系统LpTIOA模型的测试套自动生成.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通控制与安全国家重点实验室	152	2578	27.0	40.0
2	赵显琼	北京交通大学轨道交通控制与安全国家重点实验室	4	57	4.0	4.0