Logo des Repositoriums
 
Zeitschriftenartikel

DWARF-driven Equivalence Checking of UML Statecharts and Software Components

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2011

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Geselllschaft für Informatik e.V.

Zusammenfassung

This 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 probes

Beschreibung

Heckeler, Patrick; Behrend, Jörg; Ruf, Jürgen; Kropf, Thomas; Rosenstiel, Wolfgang; Weiss, Roland (2011): DWARF-driven Equivalence Checking of UML Statecharts and Software Components. Softwaretechnik-Trends Band 31, Heft 3. Bonn: Geselllschaft für Informatik e.V.. PISSN: 0720-8928. Technische Beiträge

Schlagwörter

Zitierform

DOI

Tags