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

Saved in:
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!
Description
Summary: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, ideally, both verification and model-based test-case generation capabilities. While different verification techniques have been developed for architectural models, only a few target EAST-ADL. In this paper, we present a methodology for code validation, starting from EAST-ADL artifacts. The methodology relies on: (i) automated model-based test-case generation for functional requirements criteria based on the EAST-ADL model extended with timed automata semantics, and (ii) validation of system implementation by generating Python test scripts based on the abstract test-cases. The scripts represent concrete test-cases that are executable on the system implementation. We apply our methodology to analyze the ABS function implementation of the Brake-by-Wire system prototype.
ISSN:1089-6503
DOI:10.1109/SEAA.2014.70