A Model-Based Testing Framework for Automotive Embedded Systems

Architectural models, such as those described in the east language, represent convenient abstractions to reason about automotive embedded software systems. To enjoy the fully-fledged advantages of reasoning, EAST-ADL models could benefit from a component-aware analysis framework that provides, ideal...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	EUROMICRO (IEEE Computer Society Press) S. 38 - 47
Hauptverfasser:	Marinescu, Raluca, Saadatmand, Mehrdad, Bucaioni, Alessio, Seceleanu, Cristina, Pettersson, Paul
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.08.2014
Schlagworte:	Abstracts Analytical models Clocks EAST-ADL model-based testing Ports (Computers) Python scripts Semantics test-case conversion test-case generation Testing Unified modeling language UPPAAL PORT
ISSN:	1089-6503
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!