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.
Das Anwendungsprogramm 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 mit den Mitteln modellgetriebener Entwicklung unter besonderer Betonung des Entwicklungsaspektes bezeichnet. Eine praktische Umsetzung hierzu auf Basis von OpenArchitectureWare stellt oAW-Test dar.
[Bearbeiten] Siehe auch
- Zustandsbezogener Test
- TPT - Methode und Werkzeug für den systematischen modellbasierten Test von Steuerungs- und Regelsystemen
- Hardware_in_the_Loop - Methode zum Test eingebetteter Systeme (z.B. Fahrzeugsteuergeräte)
[Bearbeiten] Weblinks
- Modellgetriebene Testentwicklung Ausführlichere Darstellung Modellgetriebener Testentwicklung (Model Driven Test Development, MDTD).
