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

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

Model-based Formal Approach for Generating Test Cases and Test Sequences Automatically by Example of the ETCS-2

With the rapid development of the Train Control System in China,the research of the train control system has drawn much attention from the academia.A new type of model-based formal approach for test cases and sequences generation is proposed in this paper to increase the test automation degree by example of the ETCS-2 system.In this paper,a set of modeling rules is presented firstly to make the Colored Petri Net(CPN) model more suitable for test generation.Then,an automated test approach is described in detail,which combines an automatic test case generating algorithm and a type of automatic test sequence searching algorithm.The output of the whole testing procedure is a set of well-formed XML(Extensible Markup Language) files which is used to increase the automation degree of the test executing process.Finally,based on the modeling rules,a partial model of the ETCS-2 on-board subsystem is built and analyzed using the CPN Tools as a case study.The model-based formal approach is implemented with this model and the test cases and test sequences are all generated in the form of XML.The results show the CPN-model based testing approach can be used to improve the automation of the testing procedure and the test cases can cover all the properties of the CPN model,which represents the System Requirement Specification of ETCS-2.