Logo des Repositoriums
 
Konferenzbeitrag

Modellbasierter Komponententest mit visuellen Kontrakten

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2008

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e. V.

Zusammenfassung

Das 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.

Beschreibung

Ellerweg, Jens; Engels, Gregor; Güldali, Baris (2008): Modellbasierter Komponententest mit visuellen Kontrakten. INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-227-7. pp. 211-214. Regular Research Papers. München. 8. -13. September 2008

Schlagwörter

Zitierform

DOI

Tags