Logo des Repositoriums

Auflistung nach Autor:in "Tjell, Simon"

1 - 1 von 1
  • Konferenzbeitrag
    Model-based testing of a reactive system with coloured Petri nets
    (INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2006) Tjell, Simon
    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.