Feature-orientierte Verifikation von Softwareproduktlinien

• Applicant: Professorin Dr.-Ing. Ina Schaefer
• Subject Area: Software Engineering and Programming Languages
• Term: from 2009 to 2011
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Fellowships
• International Connection: Sweden
• Host: Professor Dr. Reiner Hähnle