Im Rahmen des Informatik-Kolloquiums, das von den Instituten des Fachbereichs Informatik, der Österreichischen Gesellschaft für Informatik (ÖGI), der Arbeitsgemeinschaft für Datenverarbeitung (ADV) sowie der Österreichischen Computergesellschaft (OCG) abgehalten wird, spricht

Prof. Dr.-Ing. Ina Schaefer (Technische Universität Braunschweig) über das Thema:

Delta-orientierte Entwicklung, Analyse und Test von Softwareproduktlinien

Zeit: Mon 22.4.2013, 15:00, 60 Minuten
Ort: MT 128 (Science Park 1)

Eine Softwareproduktlinie ist eine Menge von Softwaresystemen mit wohldefinierten Gemeinsamkeiten und Unterschieden. Um die Zeit bis zur Markteinführung zu reduzieren, werden diese Systeme durch Wiederverwendung von gemeinsamen Artefakten entwickelt. Dabei müssen die Grundartefakte so strukturiert werden, dass konkrete Systeme möglichst automatisch erzeugt werden können. Außerdem muss die Korrektheit der abgeleiteten Systeme effizient sichergestellt werden, ohne jedes System von Grund auf neu zu testen oder zu analysieren. Der Vortrag fokussiert auf die Delta-orientierte Modellierung von Softwareproduktlinien. Eine Produktlinie wird durch ein Kernprodukt und eine Menge von Produktdeltas beschrieben. Produktdeltas verändern das Kernprodukt, um weitere Produktvarianten zu realisieren. Auf Basis dieser Modellierungstechnik wird ein durchgehender Entwicklungsprozess für variantenreiche Systeme vorgestellt. Außerdem wird diskutiert wie Delta-Modellierung die effiziente Analyse, sowie das effiziente Testen der erstellten Systemvarianten ermöglicht.

Vortragende:

Prof. Dr.-Ing. Ina Schaefer leitet seit April 2012 das Institut für Softwaretechnik und Fahrzeuginformatik an der Technischen Uniersität Braunschweig. Sie promovierte in 2008 an der Technischen Universität Kaiserslautern und war von 2010-2011 Postdoc an der Chalmers University, Göteborg, Schweden. Ihre Forschungsinteressen sind die modulare Modellierung und Implementierung von variantenreichen Softwaresystemen, sowie effiziente Qualitätssicherungsverfahren für Softwarevarianten und -versionen. Sie initiierte die Workshopreihe “Formal Methods for Software Product Line Engineering” und war Workshop Chair bei der SPLC 2010. Darüberhinaus ist sie Co-Autorin von mehr als 40 Fachpublikationen in einschlägigen Fachzeitschriften und Konferenzbänden.

Einladender:

Dr. Rick Rabiser