Hybrid Online Model-Based Testing for Communication-Based Train Control Systems

Communication-Based Train Control (CBTC) systems have been increasingly implemented on metro systems because of their characteristics, which result in safety and capacity improvements for metro operations. Automatic testing methods such as Model-Based Testing (MBT) have been applied to solve some particularly simple and ideal case studies. To bring automation to HIL testing, the authors apply MBT to HIL testing and present a novel hybrid online MBT testing platform that combines formal modelling methods with simulation. The theoretical methodology of the hybrid MBT, the platform architecture, and the testing results produced by the platform are described with a case study of a system under test (SUT) of a real Vehicle On-Board Controller (VOBC).

[1]  Dianxiang Xu,et al.  Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets , 2015, IEEE Transactions on Computers.

[2]  Ibrahim Habli,et al.  An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software , 2013, IEEE Transactions on Software Engineering.

[3]  Boris Beizer,et al.  Black Box Testing: Techniques for Functional Testing of Software and Systems , 1996, IEEE Software.

[4]  Gregory Gay,et al.  Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors , 2017, IEEE Transactions on Software Engineering.

[5]  Tao Tang,et al.  A model-based test case generation method for function testing of Train Control Systems , 2016, 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT).

[6]  Colin Blundell,et al.  Assume-guarantee testing for software components , 2008, IET Softw..

[7]  Yanming Ren,et al.  The research on conformance testing platform of numerical substation , 2008, 2008 China International Conference on Electricity Distribution.

[8]  R. Mall,et al.  Automatic test case generation using unified modeling language (UML) state diagrams , 2008, IET Softw..

[9]  Participants , 1975 .

[10]  Jüri Vain,et al.  Timed Automata based provably correct robot control , 2010 .

[11]  Rui Wang,et al.  Automated Test Approach Based on All Paths Covered Optimal Algorithm and Sequence Priority Selected Algorithm , 2014, IEEE Transactions on Intelligent Transportation Systems.

[12]  Hairong Dong,et al.  Approximation-Based Robust Adaptive Automatic Train Control: An Approach for Actuator Saturation , 2013, IEEE Transactions on Intelligent Transportation Systems.

[13]  Tomi Räty,et al.  Model-based testing of embedded systems in hardware in the loop environment , 2012, IET Softw..

[14]  Pieter J. Mosterman,et al.  Model-Based Testing for Embedded Systems , 2011, Computational Analysis, Synthesis, & Design Dynamic Systems.

[15]  Guilherme Horta Travassos,et al.  Supporting the Combined Selection of Model-Based Testing Techniques , 2014, IEEE Transactions on Software Engineering.

[16]  Ina Schieferdecker.  Model-Based Testing , 2012, IEEE Software.

[17]  T. Kanade.  Model-Based Testing of Reactive Systems , 2005 .

[18]  Oytun Eris,et al.  Automata-Based Railway Signaling and Interlocking System Design [Testing Ourselves] , 2013, IEEE Antennas and Propagation Magazine.

[19]  Li Kaicheng,et al.  Online testing of real-time performance in high-speed train control system , 2014, 17th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[20]  Kim G. Larsen,et al.  Testing real-time embedded software using UPPAAL-TRON: an industrial case study , 2005, EMSOFT.

[21]  Matthew B. Dwyer,et al.  Environment generation for validating event-driven software using model checking , 2010, IET Softw..

[22]  A. Jefferson Offutt,et al.  Test Oracle Strategies for Model-Based Testing , 2017, IEEE Transactions on Software Engineering.

[23]  Marius Mikucionis,et al.  Online On-the-Fly Testing of Real-time Systems , 2003 .

[24]  Meng Sun,et al.  A Framework for Off-Line Conformance Testing of Timed Connectors , 2015, 2015 International Symposium on Theoretical Aspects of Software Engineering.

[25]  Porfirio Tramontana,et al.  MobiGUITAR: Automated Model-Based Testing of Mobile Apps , 2015, IEEE Software.

[26]  Clive Roberts,et al.  On-line conformance testing of the Communication-Based Train Control (CBTC) system , 2016, 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT).

[27]  Manfred Broy,et al.  Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] , 2005, Model-Based Testing of Reactive Systems.

[28]  Tao Tang,et al.  Model-based test cases generation for Onboard system , 2013, 2013 IEEE Eleventh International Symposium on Autonomous Decentralized Systems (ISADS).

[29]  Nancy A. Lynch,et al.  Timed I/O automata: a mathematical framework for modeling and analyzing real-time systems , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[30]  Enrico Giunchiglia,et al.  Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting , 2010, Journal of Automated Reasoning.

[31]  Julien Schmaltz,et al.  An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON , 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

[32]  Xiaolin Zhu,et al.  Online testing of real-time performance in high-speed train control system , 2014, ITSC.

[33]  Lin Padgham,et al.  Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems , 2013, IEEE Transactions on Software Engineering.

[34]  Rachel Cardell-Oliver.  Conformance Tests for Real-Time Systems with Timed Automata Specifications , 2000, Formal Aspects of Computing.