Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.

Cuvillier Verlag

30 Jahre Kompetenz im wissenschaftlichen Publizieren
Internationaler Fachverlag für Wissenschaft und Wirtschaft

Cuvillier Verlag

De En Es
Datenbank-gestützte Prozessautomatisierung bei Software-Tests

Printausgabe
EUR 41,30 EUR 0,00

E-Book
EUR 0,00

Datenbank-gestützte Prozessautomatisierung bei Software-Tests (Band 33)

Vladimir Entin (Autor)

Vorschau

Inhaltsverzeichnis, Datei (34 KB)
Leseprobe, Datei (180 KB)

ISBN-13 (Printausgabe) 3869553545
ISBN-13 (Printausgabe) 9783869553542
ISBN-13 (E-Book) 9783736933545
Sprache Deutsch
Seitenanzahl 236
Auflage 1 Aufl.
Buchreihe Audi Dissertationsreihe
Band 33
Erscheinungsort Göttingen
Promotionsort Friedrich-Alexander-Universität Erlangen-Nürnberg
Erscheinungsdatum 15.06.2010
Allgemeine Einordnung Dissertation
Fachbereiche Informatik
Beschreibung

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.