Modellbasiertes Testen (model based testing)

Beim Testen wird dieses Sollverhalten mit dem Istverhalten der zu testenden Applikation verglichen.
Die Komplexität des Testproblems wird über das Modell auf ein intellektuell beherrschbares Niveau abstrahiert. Die verschiedene Abstraktionsniveaus von Modell und zu testender Software werden durch eine Treiberkomponente überbrückt.
Die Auswahl von relevanten Modellabläufen, d.h. der Testfälle, erfolgt anhand von Testfallspezifikationen.
Diese Testfallspezifikationen sind Basis für die Berechnung von Testfällen über automatische Verfahren. Die automatisierten Prozesse laufen auf der Grundlage folgender Eingaben ab:

• dem formalen Modell der zu testenden Software und
• einer Anzahl von Testgenerierungsvorgaben, die den Generator bei der Testfallgenerierung steuern.

Von modellbasierten Testgeneratoren zu unterscheiden sind modellbasierte Inputgeneratoren und Testautomatisierungsrahmen.
Modellbasierte Inputgeneratoren vergleichen im Gegensatz zu den Testgeneratoren nicht die Ausgaben der Applikation mit den Sollwerten des Modells.
Testautomatisierungsrahmen (test automation frameworks) akzeptieren manuell erstellte, automatisch generierte oder abgespeicherte Testsequenzen, die ohne menschlichen Überwachung ausgeführt werden. Beispiele für Testautomatisierungsrahmen sind Telelogic Tau Tester, Mercury WinRunner und Rational Robot.

Conformiq Designer™ (neben dem Conformiq Modeler™ Teil der Conformiq Tool suite™) ist ein automatischer Testgenerator, der neben der automatischen Testfallgenerierung auf der Basis des grafischen Softwaremodells auch die Rückgabewerte der zu testenden Software mit den Sollwerten des Modells vergleicht. Conformiq Designer™ verarbeitet UML-Zustandsdiagramme und unterstützt Echtzeitsysteme. Der Testgenerator ist sowohl im Batch-Modus als auch interaktiv nutzbar.
Die Testgenerierung basiert dabei auf einem grafischen Modell, welches das Sollverhalten der zu testenden Software beschreibt und mit dem Conformiq Modeler™ oder anderen Modellierungswerkzeugen erstellt werden kann.
Wird die Software mit neuen Features erweitert, können diese inkrementell dem Modell zugefügt werden. So kann schnell auf Änderungen der Anforderungen reagiert werden und die Tests sind immer aktuell.

Als "Black-Box"-Testing-Strategie ist das Ziel der modellbasierten Tests weniger die Korrektheit des Codes an sich (der im Modul-/Unittest überprüft wird), sondern der Integrations- bzw. Systemtest. Hiebei soll sichergestellt werden; daß die Software die Anforderungen des Kunden erfüllt (Akzeptanztest). Durch die Tests mit dem Conformiq Designer™ wird garantiert, daß das System auf verschiedene Usereingaben korrekt reagiert.

Die automatischen Tests mit der Conformiq Tool Suite™ führen zu niedrigeren Entwicklungskosten, höherer Codequalität und zu einem schnelleren Release der Softwareprojekte.

Weitere Informationen: Conformiq Tool Suite™

last updated: 18.06.2010
© 2010 Verifysoft Technology GmbH
Conformiq Tool Suite, Conformiq Modeler and Conformiq Designer are products and trademarks of Conformiq, Saratoga (USA)/Espoo (Finland)
Automated Test Design is a trademark of Conformiq, Saratoga (USA)/Espoo (Finland)