Modellbasiertes Testen
aus Wikipedia, der freien Enzyklopädie
Beim modellbasierten Testen werden aus Modellen eines Systems, die das Sollverhalten der Software beschreiben, Testfälle abgeleitet.
Die Applikation oder das "System Under Test" wird darin in einem grafischen Modell (z. B. auf Basis von UML) oder einem textuellen Modell (Domain Specific Language, DSL) abgebildet. Ein Testgenerator nutzt dieses Modell als Eingabe für seine ihm eigene Testplanstrategie und führt die relevanten Tests auf dem Zielsystem durch. Eine möglichst komplette Abdeckung des SUT hinsichtlich der im Modell beschriebenen Aspekte ist das Ziel.
Im Unterschied zu den klassischen, quelltextbasierten Testabdeckungen wird hier das Augenmerk auf z.B.
- State – die Kombinationen der Zustände des Modells –,
- Transition – die Übergänge im Modell –,
- IO – die möglichen Nachrichten zum Prüfling – oder
- Partition
gelegt.
Als modellgetrieben wird das Testen bezeichnet, wenn Modelle und darauf basierende Generierung wesentliche Elemente der Erstellung automatisierter Tests darstellen.
Als Modellgetriebene Testentwicklung (Model Driven Test Development, MDTD) wird in Anlehnung an Modellgetriebene Softwareentwicklung (MDSD) modellgetriebenes Testen unter besonderer Betonung des Entwicklungsaspektes bezeichnet. Eine praktische Umsetzung hierzu stellt oAW-Test dar.
[Bearbeiten] Weblinks
- Modellgetriebene Testenwicklung Ausführlichere Darstellung Modellgetriebener Testentwicklung (Model Driven Test Development, MDTD).
- www.mdtd.de ist eine in der Entstehung befindliche Plattform für Modellgetriebene Testentwicklung und oAW-Test.
- Conformiq Test Generator ist ein modellbasiertes Testwerkzeug, welches UML State-Charts verwendet.
