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

Full description

Bibliographic Details

Published in:	EUROMICRO (IEEE Computer Society Press) pp. 38 - 47
Main Authors:	Marinescu, Raluca, Saadatmand, Mehrdad, Bucaioni, Alessio, Seceleanu, Cristina, Pettersson, Paul
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.08.2014
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!