In this paper, a reactive and nondeterministic system is tested. This is doneby applying a generic model that has been specified as a configurable Coloured PetriNet. In this way, model-based testing is possible for a wide class of reactive system atthe level of discrete events. Concurrently executed tasks are specified at a high levelof abstraction and test traces are collected through state space analysis of the model.
Proceedings of Gi Jahrestagung (2), 2006, p. 274-281
Main Research Area:
Model-based Testing (MOTES 2006 - Workshop in conjunction with the 36th Annual Congress of the Gesellschaft fuer Informatik)