A Scenario-Centric Approach for the Definition of the Formal Test Specifications of Reactive Systems

Complex modern embedded automotive software systems require different test techniques in each of the development stages. Most common are Model in the Loop, Software in the Loop, and Hardware in the Loop. The majority of these test techniques are automated. Each uses different notations for test data...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Entin, V., Siegl, S., Meyer-Wegener, K., Kern, A., Reichel, M.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Automatic testing Automotive engineering Computer industry Electronic equipment testing Electronics industry Hardware Model-Based Testing Reactive Systems Software systems Software testing Software Testing Process System testing Test Specification XML
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!