Modellbasierter Komponententest mit visuellen Kontrakten
dc.contributor.author | Ellerweg, Jens | |
dc.contributor.author | Engels, Gregor | |
dc.contributor.author | Güldali, Baris | |
dc.contributor.editor | Hegering, Heinz-Gerd | |
dc.contributor.editor | Lehmann, Axel | |
dc.contributor.editor | Ohlbach, Hans Jürgen | |
dc.contributor.editor | Scheideler, Christian | |
dc.date.accessioned | 2019-04-03T12:59:56Z | |
dc.date.available | 2019-04-03T12:59:56Z | |
dc.date.issued | 2008 | |
dc.description.abstract | 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. | de |
dc.identifier.isbn | 978-3-88579-227-7 | |
dc.identifier.pissn | 1617-5468 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/21359 | |
dc.language.iso | de | |
dc.publisher | Gesellschaft für Informatik e. V. | |
dc.relation.ispartof | INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1 | |
dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-133 | |
dc.title | Modellbasierter Komponententest mit visuellen Kontrakten | de |
dc.type | Text/Conference Paper | |
gi.citation.endPage | 214 | |
gi.citation.publisherPlace | Bonn | |
gi.citation.startPage | 211 | |
gi.conference.date | 8. -13. September 2008 | |
gi.conference.location | München | |
gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1