Datenbank-gestützte Prozessautomatisierung bei Software-Tests

Author: Entin, Vladimir Friedrich-Alexander-Universität Erlangen-Nürnberg, 15. June 2010 pages: 236 edition: 1 Aufl. Volume: 33 language: DE ISBN-10: 3869553545 ISBN-13: 9783869553542 allocated areas: AUDI Dissertationsreihe | Informatik category: Dissertation source of supply Print Version 41,30 € 39.235 in the shopping basket eBook (3320.6 kB) 41.3 in the shopping basket

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.