A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
Towards A Test Paths Generation Method for CTCS Level Transition
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.
Towards A Test Paths Generation Method for CTCS Level Transition
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.
Towards A Test Paths Generation Method for CTCS Level Transition
Yao LI (author) / Xiaoxia ZHANG (author) / Yadong ZHANG (author) / Jin GUO (author) / Hao GAO (author)
2020
Article (Journal)
Electronic Resource
Unknown
Metadata by DOAJ is licensed under CC BY-SA 1.0
An Innovative Approach to CTCs' Liquid Surgery
| British Library Conference Proceedings | 2020
GSM-R/CTCS application and its development strategy
| IuD Bahn | 2003
Sustainability Trends and Challenges in Civil Engineering : Select Proceedings of CTCS 2020
| UB Braunschweig | 2022
Sustainable Fault Diagnosis of Imbalanced Text Mining for CTCS-3 Data Preprocessing
| DOAJ | 2021