In this paper, a reactive and nondeterministic system is tested. This is done by applying a generic model that has been specified as a configurable Coloured Petri Net. In this way, model-based testing is possible for a wide class of reactive system at the level of discrete events. Concurrently executed tasks are specified at a high level of abstraction and test traces are collected through state space analysis of the model. A case study describing a car radio system with navigation functionality has been used throughout the project. This system is concurrent and nondeterministic and suits well for the purpose.
Model-based testing of a reactive system with coloured Petri Nets
2006
8 Seiten, 3 Bilder, 15 Quellen
Conference paper
English
COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY
British Library Conference Proceedings | 2005
|A simplified passenger flow model using Coloured Petri Nets
British Library Conference Proceedings | 2002
|Modeling of Coordination Policy Based on Coloured Petri Nets
British Library Online Contents | 2001
|A Train Rescheduling System Using Timed Coloured Petri Nets
Springer Verlag | 2020
|Experience using Coloured Petri Nets to Model Railway Interlocking Tables
ArXiv | 2014
|