MATEC Web Conf.
Volume 325, 20202020 8th International Conference on Traffic and Logistic Engineering (ICTLE 2020)
|Number of page(s)||5|
|Section||Design and Development of Traffic Information System|
|Published online||22 October 2020|
Towards A Test Paths Generation Method for CTCS Level Transition
1 School of Optoelectronic Science and Engineering, University of Electronic Science and Technology of China, SiChuan, China
2 School of Information Science and Technology, Southwest Jiaotong University, SiChuan, China
a Corresponding author: email@example.com
Test case is an important basis for correctness and safety verification of Chinese Train Control System (CTCS). Focusing on the test cases generation method of UPPAAL which is widely used in CTCS testing activity, the problems are analyzed, and an improved test cases generation method for CTCS is proposed. First, the process and characteristics of UPPAAL test cases generation method are analyzed; then the test requirements of CTCS are studied, and a test cases generation method based on UPPAAL query file is proposed. Finally, taking the level transition function of CTCS as an example, test cases are generated by the proposed method, which shows that this method can meet the test requirements of CTCS.
© The Authors, published by EDP Sciences, 2020
This is an Open Access article distributed under the terms of the Creative Commons Attribution License 4.0, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.