关键词：ETCS-2；有色Petri网；测试生成；形式化方法
摘 要：随着中国铁路列车运行控制系统的发展,对列控系统的研究越来越受到学术界的关注.本文提出一种基于模型的形式化测试案例和测试序列生成方法,并应用于ETCS-2级系统的测试中.首先提出有色Petri网(CPN)的建模规则,保证CPN模型适应测试生成的要求；然后,提出一种自动化的测试生成方法,包括测试案例自动生成算法和测试序列搜索算法.为提高整个测试过程的自动化程度,实现测试生成与测试执行的无缝结合,整个测试生成方法的输出是XML格式文件集.最后,以ETCS-2系统的车载子系统为例,运用CPN Tools工具完成建模,实现相应的算法,实现测试生成过程.结果表明,本文提出的基于CPN的测试方法能够在很大程度上提高测试过程的自动化程度,并且生成的测试案例集能够覆盖CPN模型反映的所有ETCS-2系统需求规范信息.