AGEDIS / UML-basierte Sprache und Werkzeuge zur Testgenerierung
(Vortrag in englischer Sprache)

Über die Automatisierung der Testdurchführung hinaus gibt es weitere Möglichkeiten, Testen effizienter zu gestalten. Zum Beispiel durch Automatisierung des Testdesigns und Generierung der Testdaten. Eine Technik, die hier eingesetzt werden kann, ist modellbasiertes Testen: Der Tester erzeugt eine abstrakte Repräsentation des Testobjekts, aus der Testfälle und Testdaten automatisch generiert werden. Voraussetzung ist, dass ineinandergreifende Werkzeuge für Modellierung, Modell-Verifikation, Testgenerierung und Testausführung verfügbar sind.

Oxford University, IBM Research/Haifa, imbus und weitere Partner arbeiten in dem EU-geförderten Projekt AGEDIS (Automated Generation and Execution of test suites for DIstributed component-based Software) zusammen, um eine solche Test-Werkzeugkette zu entwickeln.

Der Vortrag gibt eine Einführung in modellbasiertes Testen und Testgenerierung und präsentiert die Resultate der ersten Projektphase: die Werkzeug-Architektur und die gewählte auf UML basierende Modellierungssprache.

Dr. Jim Davies/Dr. Alessandra Cavarra, Oxford University Computing Laboratory