Feature-orientierte Verifikation von Softwareproduktlinien

• Antragstellerin: Professorin Dr.-Ing. Ina Schaefer
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2009 bis 2011
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 142298458

Softwareproduktlinien ermöglichen es, eine Menge von Produkten mit wohldefinierten Gemeinsamkeiten und Unterschieden durch systematische Wiederverwendung von Entwicklungsbausteinen effizient zu konstruieren. Die Bestandteile der Produkte werden durch Features, d.h. herausgehobene funktionale oder nicht-funktionale Eigenschaften, beschrieben. Aufgrund der Konfigurierbarkeit ist es wichtig, die Qualität der entwickelten Produkte sicherzustellen. Formale Verifikationsmethoden erlauben es, mathematisch nachzuweisen, dass Produkte gewünschte Eigenschaften besitzen. Für Softwareproduktlinien ist es jedoch aufwendig, jedes Produkt einzeln zu überprüfen. Das beantragte Forschungsvorhaben hat das Ziel, effiziente Verifikationstechniken für Softwareproduktlinien zu entwickeln. Diese werden die feature-orientierte Struktur der Produkte ausnutzen und die Wiederverwendung von Verifikationsartefakten, wie Produkteigenschaften und ihrer Beweise, ermöglichen. Dazu werden Techniken entwickelt, um generische Verifikationsartefakte für die Produktlinie zu erzeugen, die für einzelne Produkte instantiiert werden können, und um Verifikationsartefakte von einem bereits verifizierten Produkt auf ein anderes zu übertragen.

• DFG-Verfahren: Forschungsstipendien
• Internationaler Bezug: Schweden
• Gastgeber: Professor Dr. Reiner Hähnle