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...

Celý popis

Podrobná bibliografie

Vydáno v:	EUROMICRO (IEEE Computer Society Press) s. 38 - 47
Hlavní autoři:	Marinescu, Raluca, Saadatmand, Mehrdad, Bucaioni, Alessio, Seceleanu, Cristina, Pettersson, Paul
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.08.2014
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!