论文部分内容阅读
随着中国铁路列车运行控制系统的发展，对列控系统的研究越来越受到学术界的关注。本文提出一种基于模型的形式化测试案例和测试序列生成方法，并应用于ETCS-2级系统的测试中。首先提出有色Petri网（CPN）的建模规则，保证CPN模型适应测试生成的要求；然后，提出一种自动化的测试生成方法，包括测试案例自动生成算法和测试序列搜索算法。为提高整个测试过程的自动化程度，实现测试生成与测试执行的无缝结合，整个测试生成方法的输出是XML格式文件集。最后，以ETCS-2系统的车载子系统为例，运用CPN Tools工具完成建