Konferenzbeitrag
Model-based testing of a reactive system with coloured Petri nets
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Zusatzinformation
Datum
2006
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
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.