Ein Rahmenwerk zur Konsistenzpruefung von Domaenenanforderungsspezifikationen in der Produktlinienentwicklung
Abstract
Die Konsistenz einer Anforderungsspezifikation erfordert, dass die An- forderungen frei von Widersprüchen sind. In der Produktlinienentwicklung kann die Domänenanforderungsspezifikation aufgrund der Produktlinienvariabilität bewusst spezifizierte Widersprüche enthalten. Diese Widersprüche können zu fehlerhaften Spezifikationen führen, falls es möglich ist, die widersprüchlichen Anforderungen gemeinsam für ein Produkt zu wählen. Das Vorhandensein bewusst spezifizierter Widersprüche erschwert die Konsistenzprüfung innerhalb der Produktlinienentwicklung. Existierende Ansätze umgehen dieses Problem, indem Konsistenzprüfungen erst im Application Engineering nach der Ableitung von Produkten vorgenommen werden. Prüfungen im Application Engineering sind allerdings von Nachteil, da Fehler erst sehr spät im Entwicklungsprozess identifiziert werden und die Behebung der Fehler entsprechend aufwändig ist. In diesem Papier beschreiben wir ein formales Rahmenwerk als konzeptionellen Lösungsansatz für die Konsistenzprüfung von Domänenanforderungsspezifikationen. Die zentrale Idee des Rahmenwerks besteht in einer getrennten Dokumentation der Produktlinienvariabilität in einem eigenständigen und formalisierten Variabilitätsmodell. Dieses Modell wird in die Konsistenzprüfung der Domänenanforderungsspezifikationen einbezogen, um zu entscheiden, ob widersprüchliche Anforderungen gemeinsam gewählt werden können oder nicht.
Full Text: PDF