Cuvillier Verlag

35 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 39,24

E-Book
EUR 0,00

Download
PDF (3,2 MB)
Open Access CC BY 4.0

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

Vladimir Entin (Autor)

Vorschau

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

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.

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