Logo des Repositoriums
 
Konferenzbeitrag

Model-based testing of a reactive system with coloured Petri nets

Lade...
Vorschaubild

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.

Beschreibung

Tjell, Simon (2006): 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). Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-188-1. pp. 274-281. Regular Research Papers. Dresden. 2.-6. Oktober 2006

Schlagwörter

Zitierform

DOI

Tags