This page is only available in german

Testen mit dem Conformiq Test Generator

Der Conformiq Test Generator ist ein Software-Testwerkzeug zur automatischen Testfallgenierung und Testausführung.

Das zu testende System wird zunächst über ein Modell grafisch dargestellt. Für die Erstellung des Modells steht im Testgenerator ein komfortabler grafischer Editor zur Verfügung.

Auf der Basis dieses Modells generiert der Conformiq Test Generator automatisch alle relevanten Testfälle, schickt diese in das zu testende System, analysiert die Ergebnisse und gibt diese in Berichten aus.

Durch den Einsatz des Conformiq Test Generators erhält die Qualitätssicherung einen industriellen Ansatz, der weitaus effizienter und kostengünstiger ist als herkömmliches manuelles oder skriptbasiertes Testen.

Das Testmodell ist schneller zu erstellen und einfacher zu warten als konventionelle Testsuiten und -programme. Das grafische Modell ist selbstdokumentierend und kann mit dem Projekt "wachsen": neue Projektaspekte können dem Modell hinzugefügt werden.

Toolarchitektur

Der Conformiq Test Generator besteht aus einem Testkernel, einem Testbed-Adapter und einer grafischen Benutzeroberfläche (GUI).

Der Testkernel des Conformiq Test Generators generiert über einen anspruchsvollen mathematischen Algorithmus die Testfälle im "On-the-fly"-Modus.
Ebenfalls ist die Erstellung von Batch-Testsuiten in einem internen Run-time-Object-Level-Format möglich, über welches Testskripten generiert werden können.
über die GUI werden die Modelle erstellt und der Testablaufs bei Bedarf interaktiv kontrolliert.

Der Testbed-Adapter verbindet den Conformiq Test Generator mit der zu testenden Applikation. Für den Testbed-Adapter gibt es C/C++ und Java-Implementierungen, so daß der Systemadapter in C/C++ oder Java geschrieben werden kann.
Der Testbed-Adapter ist in einfachem portierbarem Code geschrieben, so daß der Adapter grundsätzlich auf allen Plattformen, die TCP-IP nutzen einsetzbar ist.

Die Testumgebung

Die Testumgebung des Conformiq Test Generators besteht aus dem Testgenerator, dem zu testenden System, dem Testszenario, dem Systemadapter und dem Testbed-Adapter.

Mit dem Conformiq Test Generator kann grundsätzlich jedes System getestet werden, das ein gut definiertes externes Interface (Black Box) und ein state-machine-artiges Verhalten hat.

Das Testdesign wird formal mit UML-Statecharts über ein Testmodell (Testszenario) erstellt.
In diesem Testmodell wird spezifiziert welche Art von Stimuli in das zu testende System gesendet werden sollen und welche Antworten vom System in einem bestimmten Zustand erwartet werden. Einfache Testszenarien bestehen aus einem einzigen Zustandsdiagramm, komplexe Testszenarien können eine Vielzahl voneinander abhängigen Zustandsdiagrammen enthalten.
Schließlich wird der Systemadapter geschrieben, der die vom Testgenerator gesendeten abstrakten Ereignisse beim on-the-fly-Testen in für das zu testende System konkrete Ereignisse verwandelt bzw. umgekehrt.

Nachdem die Testumgebung auf diese Weise aufgestellt worden ist, kann mit den automatischen Tests begonnen werden.

Beschaffenheit und Eigenschaften

Ein kurzer Blick auf die Benutzeroberfläche des Conformiq Test Genrators gibt einen Überblick über das Tool.

1. Der Conformiq Test Generator wird mit einem Editor zur Erstellung von UML-Zustandsdiagrammen und einer Action Language geliefert, die dazu dient Aktionen und Datenstrukturen zu beschreiben. Der UML-Modelleditor ermöglicht die Erstellung von mehreren Zustandsautomaten für jedes Modell. Jeder Zustandsautomat kann dabei eine Vielzahl von Hierarchie-Ebenen enthalten. Die Instanzen eines Zustandsautomaten können dynamisch erstellt werden. Dies geschieht auf gleiche Weise wie das Erstellen neuer Objekte in objektorientierten Sprachen.

2. Die UML-Design-Toolbar enthält Tools für die Erstellung von Elementen für die Zustandsdiagramme, wie atomare und nebenläufige Zustände, übergänge, historische Indikatoren, Auswahlpunkte und Notizen.

3. über die Testing-Toolbar kann die Testausführung sowie die Testcoverage-Anzeige gesteuert werden.

4. über das Backlog-Window kann der Tester die Testausführung beobachten.
Die ausgegebenen Informationen können je nach Nutzeranforderung gefiltert werden. Durch Klicken auf die Informationen im Backlog-Window wird das entsprechende Objekt im Editor-Window (1) markiert.

5. Der Workspace-Tree zeigt Projekte, Zustandsautomaten und Programmtextdateien im Arbeitsbereich an. Für jedes einzelne Projekt können in diesem Baum Einstellungen für die Testmodellausführung, Coveragemessungsauswahl, Testoptimierung und die Generation von Testsuiten für den Batchmodus eingegeben werden.

Weitere Informationen:

Frequently Asked Questions

Conformiq Test Generator: Hauptseite

last updated: 14.07.2005

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