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

dc.contributor.author	Tjell, Simon
dc.contributor.editor	Hochberger, Christian
dc.contributor.editor	Liskowsky, Rüdiger
dc.date.accessioned	2019-06-04T08:52:21Z
dc.date.available	2019-06-04T08:52:21Z
dc.date.issued	2006
dc.description.abstract	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.	en
dc.identifier.isbn	978-3-88579-188-1
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/23524
dc.language.iso	en
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI)
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-94
dc.title	Model-based testing of a reactive system with coloured Petri nets	en
dc.type	Text/Conference Paper
gi.citation.endPage	281
gi.citation.publisherPlace	Bonn
gi.citation.startPage	274
gi.conference.date	2.-6. Oktober 2006
gi.conference.location	Dresden
gi.conference.sessiontitle	Regular Research Papers

Dateien

1 - 1 von 1