Feature-orientierte Verifikation von Softwareproduktlinien

softwareproductlinen ermöglichen e， e Menge von productten mit将定义Gemeinsamkeiten和Unterschieden durch systematische Wiederverwendung von entwicklunsbausteen efficient zu konstrucien。(1)特征特征的定义，即特征特征的定义，特征特征的定义。Aufgrund der konfigureerbarkeit ist is wittig, die Qualität der entwickelten produckte sicherzustellen。形式验证方法（数学），数学（数学），数学（数学），数学（数学）。fbr software productlinien ist es jedoch aufwendig, jedes product einzeln zu berpr<e:1> fen。as beantragte Forschungsvorhaben, as Ziel，高效验证技术软件产品（verificationstechniken software productlinien zu entwickeln）。基于特征的产品结构与验证技术，产品结构与验证技术，ermöglichen。“大同技术”、“通用验证技术”、“<s:1>验证技术”、“验证技术”、“验证技术”、“验证技术”、“验证技术”、“验证技术”、“验证技术”、“验证技术”、“验证技术”、“验证技术”、“验证技术”、“验证技术”、“验证技术”、“验证技术”、“验证技术”、“验证技术”等。

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.