IEEE - Institute of Electrical and Electronics Engineers, Inc. - Mutation Testing for Evaluating the Completeness of Test Cases in High-Speed Train Control System

2015 IEEE 18th International Conference on Intelligent Transportation Systems (ITSC)

Author(s): Teng Li ; Kaicheng Li ; Jidong Lv ; Lei Yuan ; Qiang Fu ; Tao Wen
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2015
Conference Location: Las Palmas, Spain
Conference Date: 15 September 2015
Page(s): 777 - 782
ISBN (CD): 978-1-4673-6595-6
ISBN (Electronic): 978-1-4673-6596-3
ISSN (Electronic): 2153-0017
DOI: 10.1109/ITSC.2015.131
Regular:

As the high-speed train control system is a typical safety-critical system, it is vitally important to guarantee its correctness. Testing is a significant technical method to ensure the safety and... View More

Advertisement