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

摘要：

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

关键词：CTCS、时间自动机、车载系统、UPPAAL、实时系统、COVER

所属期刊栏目：33

分类号：TP301.1;U284.48(计算技术、计算机技术)

资助基金：国家自然科学基金项目60634010;国家高技术研究发展计划863计划2009AA11Z221;轨道交通控制与安全国家重点实验室自主研究课题RCS2008ZZ005

在线出版日期：2011-12-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：44-51