Testsprachen
|
| Beschreibung:
|
|
In diesem Forschungsgebiet werden verschiedene Sprachen zur Spezifikation von Tests erforscht und entwickelt. Im Wesentlichen sind das
die Testing and Test Control Notation version 3 (TTCN-3) sowie das das UML Testing Profile (U2TP).
Die Entwicklung und Wartung dieser Sprachen schließt die Teilnahme in den entsprechenden Standardisierungsgremien ein: European Telecommunications Standards Institute (ETSI) und Object Management Group (OMG).
|
| Abgeschlossene Forschungsprojekte:
|
|
Interoperabilität von TTCN-3 Werkzeugen
UML Testing Profile
Spezifikation von Tests für Echtzeit-Systeme
Pflege von TTCN-3
|
Qualitätssicherung für Testspezifikationen
|
| Beschreibung:
|
|
Testspezifikationen für heutige Systeme erreichen mittlerweile einen Umfang (z.B. über 40.000 Zeilen TTCN-3 Quelltext bei einer Testsuite für den Konformitätstest von IPv6-Implementierungen), der Qualitätssicherungmaßnahmen für Testspezifikationen erforderlich macht. Zum Teil werden derart große Testsuiten zunächst von Werkzeugen automatisch erzeugt und anschließend manuell weiterbearbeitet; sobald Änderungen an den automatisch erzeugten Testsuiten nötig sind, stellt sich heraus, dass diese schwer zu lesen, schwer zu warten und schwer zu verwenden bzw. wiederzuverwenden sind. Auch wenn Testsuiten nicht automatisch erzeugt, sondern manuell erstellt und anschließend gewartet werden, ergeben sich aufgrund des Effekts der Software-Alterung Qualitätsprobleme. Die Wartung von Testsuiten ist nicht nur in der Industrie relevant, sondern auch in der Standardisierung: das European Telecommunications Standards Institute (ETSI) aktualisiert zum Beispiel regelmäßig eine von ihm standardisierte Testsuite für den Konformitätstest von Implementierungen des Session Initiation Protocol (SIP). Auch hierbei ist eine Qualitätsicherung nötig, um eine optimale Wartbarkeit zu gewährleisten.
Daher werden in diesem Forschungsgebiet Maßnahmen zur Qualitätssicherung von Testspezifikationen untersucht. Hierbei wird insbesondere die interne Qualität von Testspezifikationen betrachtet, d.h. solche Merkmale, die sich mittels statischer Analyse ermitteln lassen. Als Testspezifikationssprache wird TTCN-3 (Testing and Test Control Notation version 3) verwendet. TTCN-3 ist eine mächtige, vom ETSI standardisierte Testspezifikationssprache, die in Industrie und Standardisierung eingesetzt wird.
|
| Laufende Forschungsprojekte:
|
|
Testspezifikationstechnologie und -methodik für eingebettete Echtzeitsysteme im Automobil (TEMEA)
|
| Abgeschlossene Forschungsprojekte:
|
|
Das TRex TTCN-3 Refactoring and Metrics Werkzeug
Qualitätsbewertung von Funktionstests für reaktive Systeme
|
UML-Entwicklungsmethodik
|
| Beschreibung:
|
|
Mit der Unified Modeling Language (UML) können Modelle und Spezifikationen von Software bzw. Diensten erstellt werden. Zur systematischen Erstellung von UML-Modellen wird eine geeignete Entwicklungsmethodik benötigt.
Prinzipiell existieren zwar bereits Softwareentwicklungs-Methodiken, in deren Rahmen UML-Modelle erstellt werden (z.B. der Rational Unified Process (RUP)) -- für spezielle Anwendungsgebiete oder Technologien, mit denen später die Implementierung erfolgen soll, sind jedoch neue oder angepasste Methodiken sinnvoll.
Daher werden in diesem Forschungsgebiet Methodiken zur Entwicklung von UML-Modellen untersucht. Der Schwerpunkt liegt zur Zeit auf der Entwicklung von UML-Modellen zur Spezifikation von Web Services.
|
| Laufende Forschungsprojekte:
|
|
Qualität von UML-Modellen
Eine UML-basierte Methode für die Entwicklung von Web Services
|
Testmethodik
|
| Beschreibung:
|
|
Tests werden zur Qualitätssicherung von Software-Systemen eingesetzt. Die systematische Erstellung von Tests ist ein aufwändiger Prozess, der eine eigene Methodik erfordert.
In diesem Forschungsgebiet werden Testmethodiken für verschiedene Stufen der Test-Erstellung untersucht.
Zur Notation und Ausführung der dabei entwickelten Tests wird die Testspezifikationssprache Testing and Test Control Notation version 3 (TTCN-3) verwendet. TTCN-3 ist eine mächtige, vom European Telecommunications Standards Institute (ETSI) standardisierte Testspezifikationssprache, die in Industrie und Standardisierung eingesetzt wird.
|
| Abgeschlossene Forschungsprojekte:
|
|
Testen für Grid-Computing
Modellbasiertes Testen von Web Services
Agile und wiederverwendungsbasierte Entwicklung von Testspezifikationen
|
Maschinelles Lernen im Software Engineering
|
| Beschreibung:
|
|
In diesem Forschungsgebiet wird die Anwendung von maschinellem Lernen für das Software Engineering untersucht.
|
| Laufende Forschungsprojekte:
|
|
Maschinelles Lernen zur Bewertung von Softwareprozessen
|
english page
Mitarbeiter