Einladung zum

Informatik-Kolloquium

Zeit:	Montag, �28.04.03, 10:00 Uhr
Ort:	M�hlenpfordtstr. 23, IZ Seminarraum 251, 2.OG


Vortragender:	Dr. Bernhard Rumpe TU M�nchen


Thema:	Evolution�re test-basierte �Softwaremodellierung

Zusammenfassung:

Der Anteil neu zu entwickelnder Systeme, die Altsysteme abl�sen, die in Technologie, Funktionalit�t oder Architektur den Anforderungen nicht mehr gerecht werden, steigt best�ndig. Der schnelle Wandel von Nutzeranforderungen, wie er gerade im Internet-Zeitalter sichtbar ist, erfordert eine kontinuierliche, flexible und kosteng�nstige Weiterentwicklung vorhandener Systeme unter Sicherung einer hohen Qualit�t. Ein wesentliches Element der Softwareentwicklung ist heute die Modellierung von Architektur- und Entwurfsentscheidungen, die typischerweise mit der Unified Modelling Language (UML) dargestellt werden.

In diesem Vortrag wird eine Vorgehensweise vorgestellt, die eine evolution�re Wiederverwendung dieser Modelle und die damit eng verzahnte bessere Integration der Modellierung in den Entwicklungsprozess erm�glicht.

Dazu wird eine angepasste Fassung der UML eingesetzt, die nicht nur zur Dokumentation, sondern auch zur Generierung von Teilen des Systems und automatisierten Tests verwendet wird. Die UML bietet mit der OCL, den Objekt- und den Sequenzdiagrammen Notationen zur effizienten Modellierung von Tests. Auf Basis eines iterativen und inkrementellen Vorgehensmodells werden Tests und System parallel erstellt. Die evolution�re Weiterentwicklung des Systems erfolgt durch die Anwendung einer Sammlung von systematischen Transformationsschritten auf UML-Modelle. Dadurch wird die evolution�re Weiterentwicklung beherrschbar und die Sicherstellung der Korrektheit durch automatisierte Regressionstests signifikant unterst�tzt.

Die Dozenten der Informatik