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

作者：赵显琼; 唐涛

来源：铁道学报, 2011, (07): 44-51.

• CTCS
• 时间自动机
• 车载系统
• UPPAAL
• 实时系统
• COVER CTCS
• timed automata VC
• on-board system
• real-time system
• COVER

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

• 单位
  北京交通大学; 轨道交通控制与安全国家重点实验室