Model-based testing for the on-board subsystem model of a satellite-based train control system with coloured petri nets

Testing as a means of verification during system development, aims at demonstrating the compliance of actual and intended behaviour of the system. However, the degree of automatic test generation and test coverage are big challenges in testing. Concerning these problems, a model-based approach is proposed to test the on-board subsystem...