Feature-orientierte Verifikation von Softwareproduktlinien

点击翻译按钮获取中文摘要

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.