Logo des Repositoriums
 

DWARF-driven Equivalence Checking of UML Statecharts and Software Components

dc.contributor.authorHeckeler, Patrick
dc.contributor.authorBehrend, Jörg
dc.contributor.authorRuf, Jürgen
dc.contributor.authorKropf, Thomas
dc.contributor.authorRosenstiel, Wolfgang
dc.contributor.authorWeiss, Roland
dc.date.accessioned2023-03-20T10:07:58Z
dc.date.available2023-03-20T10:07:58Z
dc.date.issued2011
dc.description.abstractThis article presents an instrumentation-free runtime verification methodology built upon an external observer which uses DWARF1 -statements to monitor system behavior. The observer delivers information about variable values used for state-encoding and method calls representing transitions. These information are passed to an engine which parses the system specification in terms of a UML statechart. It is transformed into an executable automaton which acts as a golden reference for equivalence checking. The presented approach makes it possible to perform verification directly on the target architecture and keeps up test significance by avoiding modification of the executable caused by injected monitors or other code probesen
dc.identifier.pissn0720-8928
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/40960
dc.language.isoen
dc.publisherGeselllschaft für Informatik e.V.
dc.relation.ispartofSoftwaretechnik-Trends Band 31, Heft 3
dc.titleDWARF-driven Equivalence Checking of UML Statecharts and Software Componentsen
dc.typeText/Journal Article
gi.citation.publisherPlaceBonn
gi.conference.sessiontitleTechnische Beiträge

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
heckeler.pdf
Größe:
542.96 KB
Format:
Adobe Portable Document Format