Datenbank-gestützte Prozessautomatisierung bei Software-Tests

Autor(en): Entin, Vladimir Friedrich-Alexander-Universität Erlangen-Nürnberg, 15. Juni 2010 Seiten: 236 Auflage: 1 Aufl. Band: 33 Sprache: DE ISBN-10: 3869553545 ISBN-13: 9783869553542 Zugeordnete Fachbereiche: AUDI Dissertationsreihe | Informatik Kategorie: Dissertation Bezugsmöglichkeiten Print Version 41,30 € 39,24 € In den Warenkorb eBook (3320.6 kB) 41,30 € In den Warenkorb

Kurzbeschreibung

Die vorliegende Arbeit wurde im Rahmen der wissenschaftlichen Kooperation zwischen Friedrich-Alexander-Universität Erlangen-Nürnberg und Audi AG Ingolstadt am Ingolstadt Institute der Friedrich-Alexander-Universität Erlangen-Nürnberg (INI.FAU) erstellt. In dieser Arbeit wurde eine systematische Methodik (ein Vorgehensmodell) zur formalen Definition von Testspezifikationen für eingebettete reaktive Systeme entwickelt. Die Methodik basiert auf dem Grundgedanken der Modell-getriebenen Software-Entwicklung (MDSD), bei der es darum geht, aus formalen und plattformunabhängigen Modellen mittels Verfeinerungsschritten und der automatisierten Transformation in ein bestimmtes Zielformat lauffähige Applikationen zu erzeugen.