Model based testing

[Français][Deutsch]

This page is only available in German language.

Modellbasiertes Testen (model based testing)

Beim modellbasierten Testen werden aus Modellen eines Systems, die das Sollverhalten der Software beschreiben, Testfälle abgeleitet.

Beim Testen wird dieses Sollverhalten mit dem Istverhalten der zu testenden Applikation verglichen.
Die Komplexität des Testproblems wird über das Modell auf ein intellketuell 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 Test Generator 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 Test Generator 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.
Wird die Software mit neuen Features erweitert, können diese inkrementell dem Modell zugefügt werden.

Als "Black-Box"-Testing-Strategie ist das Ziel der modellbasierten Tests weniger die Korrektheit des Codes an sich (der im Modul-/Unittest überprüft wirde), 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 Test Generator wird garantiert, daß das System auf verschiedene Usereingagen korrekt reagiert.

Die automatischen Test mit dem Conformiq Test Generator führen zu niedrigeren Entwicklungskosten, höherer Codequalität und zu einem schnelleren Release der Softwareprojekte.

Weitere Informationen über den Conformiq Test Generator.

last updated: 23.08.2004

© 2004 Verifysoft GmbH
Conformiq Test Generator is a product and trademark of Conformiq, Espoo (Finland)
all other trademarks of this site are the property of their respective owners.