Datenbank-gestützte Prozessautomatisierung bei Software-Tests (Volume 33) (English shop)

Preview

Table of Contents, Datei (34 KB)
Extract, Datei (180 KB)

The present work was produced within the framework of the scientific cooperation between Friedrich-Alexander-Universität Erlangen-Nürnberg and Audi AG Ingolstadt at the Ingolstadt Institute of Friedrich-Alexander-Universität Erlangen-Nürnberg (INI.FAU). In this work, a systematic methodology (a procedure model) for the formal definition of test specifications for embedded reactive systems was developed. The methodology is based on the underlying concept of Model-Driven Software Development (MDSD), which aims to generate executable applications from formal and platform-independent models by means of refinement steps and automated transformation into a specific target format.