Computer Science Colloquium
Prof. Dr.-Ing. Ina Schaefer
Technische Universität Braunschweig
Delta-orientierte Entwicklung, Analyse und Test von Softwareproduktlinien
Mon 22.04.2013, 15:00, 60 minutesMT 128 (Science Park 1)
Abstract
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.Bio
Prof. Dr.-Ing. Ina Schaefer leitet seit April 2012 das Institut für Softwaretechnik und Fahrzeuginformatik an der Technischen Universität Braunschweig. Sie promovierte 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über hinaus ist sie Co-Autorin von mehr als 40 Fachpublikationen in einschlägigen Fachzeitschriften und Konferenzbänden.Invited by Dr. Rick Rabiser, CDL for MEVSS
The Computer Science Colloquium is organized by the Department of Coputer Science at JKU, the Österreichische Gesellschaft für Informatik (ÖGI) and the Österreichische Computergesellschaft (OCG).