一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用

摘要：

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

关键词：ETCS-2、有色Petri网、测试生成、形式化方法

所属期刊栏目：34

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

资助基金：国家自然科学基金60634010;国家863高技术研究发展计划2009AA11Z221;中央高校基本科研业务费专项资金2009YJS013

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

页数：共11页

页码：70-80