Logo des Repositoriums
 

Modellbasierter Komponententest mit visuellen Kontrakten

dc.contributor.authorEllerweg, Jens
dc.contributor.authorEngels, Gregor
dc.contributor.authorGüldali, Baris
dc.contributor.editorHegering, Heinz-Gerd
dc.contributor.editorLehmann, Axel
dc.contributor.editorOhlbach, Hans Jürgen
dc.contributor.editorScheideler, Christian
dc.date.accessioned2019-04-03T12:59:56Z
dc.date.available2019-04-03T12:59:56Z
dc.date.issued2008
dc.description.abstractDas Verhalten von quasimodalen Klassen ist abhängig von dem Systemzustand, in dem sie ausgeführt werden. Beim Testen von quasimodalen Klassen muss der Systemzustand so gesetzt werden, damit die zu testende Klasse ausgeführt werden kann. Nach der Testausführung müssen die Änderungen im Systemzustand evaluiert und so die Korrektheit des Verhaltens der Klasse gegenüber ihrer Spezifikation geprüft werden. In diesem Beitrag stellen wir ein modellbasiertes Verfahren zum Komponententest vor, mit dem das Verhalten der quasimodalen Klassen anhand Vor- und Nachbedingungen modelliert und durch automatisiert generierte Testfälle geprüft wird. Die implementierte Werkzeugunterstützung ermöglicht die Einbindung des Verfahrens in die entwicklungsnahen Aktivitäten des Komponententests.de
dc.identifier.isbn978-3-88579-227-7
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/21359
dc.language.isode
dc.publisherGesellschaft für Informatik e. V.
dc.relation.ispartofINFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-133
dc.titleModellbasierter Komponententest mit visuellen Kontraktende
dc.typeText/Conference Paper
gi.citation.endPage214
gi.citation.publisherPlaceBonn
gi.citation.startPage211
gi.conference.date8. -13. September 2008
gi.conference.locationMünchen
gi.conference.sessiontitleRegular Research Papers

Dateien

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