Konsistenzprüfung von Domänenanforderungsspezifikationen

Konsistenzprüfung von Domänenanforderungsspezifikationen

4.11 - 1251 ratings - Source



Die Entwicklung von Software-Produktlinien ist ein Ansatz, um eine Menge gleichartiger Produkte kostengA¼nstig, qualitativ hochwertig und mit mApglichst kurzer Entwicklungszeit entwickeln zu kApnnen. Dieses Ziel wird durch proaktive Wiederverwendung erreicht: Im Domain Engineering werden wiederverwendbare Artefakte geplant und entwickelt, die im Application Engineering zur Ableitung von Produkten genutzt werden kApnnen.Die proaktive Wiederverwendung wird durch die frA¼hzeitige KonsistenzprA¼fung von DomAcnenanforderungsspezifikationen (DAS) unterstA¼tzt, da Inkonsistenzen in der DAS zu fehlerhaften wiederverwendbaren Artefakten fA¼hren kApnnen. Wenn die Konsistenz der DAS nicht frA¼hzeitig im Domain Engineering geprA¼ft wird, kApnnen Fehler in den wiederverwendbaren Artefakten erst vergleichsweise spAct im Application Engineering entdeckt werden. Das spActe Aufdecken und Beheben von Fehlern erzeugt damit zusActzliche Kosten. Im Unterschied zur Einzelsystementwicklung kApnnen, aufgrund der Wiederverwendung von DomAcnenartefakten, zahlreiche verschiedene Produkte einer Produktlinie von einem fehlerhaften DomAcnenartefakt betroffen sein.In dieser Arbeit wird ein generischer Ansatz zur automatisierten KonsistenzprA¼fung von DAS vorgestellt und auf mehrere formale Sprachen zur Spezifikation von DomAcnenanforderungen angewendet. Im ersten Schritt des Ansatzes werden potenzielle WidersprA¼che in der DAS identifiziert. Im zweiten Schritt des Ansatzes wird unter BerA¼cksichtigung des VariabilitActsmodells der Produktlinie geprA¼ft, ob die im ersten Schritt identifizierten potenziellen WidersprA¼che zu einer Inkonsistenz fA¼hren kApnnen. Der vorgestellte Ansatz wird prototypisch realisiert und anhand von Beispielen validiert.In Proceedings of 5th Intl. Workshop on Product Family Engineering (PFE-5), 2003. [Batory ... Lecture Notes on Concurrency and Petri Nets, LNCS 3098, 2004, S. 87- 124. [Berg et ... [Boehm 1981] Boehm, B.: Software Engineering Economics.


Title:Konsistenzprüfung von Domänenanforderungsspezifikationen
Author: Kim Lauenroth
Publisher:Logos Verlag Berlin GmbH - 2009
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA