Logo des Repositoriums
 

State-based coverage analysis and UML-driven equivalence checking for C++ state machines

dc.contributor.authorHeckeler, Patrick
dc.contributor.authorBehrend, Jörg
dc.contributor.authorKropf, Thomas
dc.contributor.authorRuf, Jürgen
dc.contributor.authorRosenstiel, Wolfgang
dc.contributor.authorWeiss, Roland
dc.contributor.editorGruner, Stefan
dc.contributor.editorRumpe, Bernhard
dc.date.accessioned2019-01-17T10:55:42Z
dc.date.available2019-01-17T10:55:42Z
dc.date.issued2010
dc.description.abstractThis paper presents a methodology using an instrumentation-based behavioral checker to detect behavioral deviations of a C++ object implementing a finite state machine (FSM) and the corresponding specification defined as a UML state chart. The approach is able to link the source code with the appropriate states and provides a coverage analysis to show which states have been covered by unit, system and integration tests. Furthermore, the approach provides statistical information about the distribution of covered lines of code among all included files and directories. As a proof of concept the presented approach has been implemented in terms of a C++-library and has been successfully applied to OPC UA, an industrial automation infrastructure software.en
dc.identifier.isbn978-3-88579-273-4
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/19659
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofFM+AM`2010 – Second International Workshop on Formal Methods and Agile Methods
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-179
dc.titleState-based coverage analysis and UML-driven equivalence checking for C++ state machinesen
dc.typeText/Conference Paper
gi.citation.endPage62
gi.citation.publisherPlaceBonn
gi.citation.startPage49
gi.conference.date19 September 2010
gi.conference.locationPisa, Italy
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
49.pdf
Größe:
187.12 KB
Format:
Adobe Portable Document Format