Model based testing for horizontal and vertical collaboration in embedded systems development

Authors:
Thomas Tamisier;Hind Bouzite;Christophe Louis;Yves Gaffinet;Fernand Feltz
Affiliations:
Centre de Recherche Public-Gabriel Lippmann, Belvaux, Luxembourg;Centre de Recherche Public-Gabriel Lippmann, Belvaux, Luxembourg;Centre de Recherche Public-Gabriel Lippmann, Belvaux, Luxembourg;Centre de Recherche Public-Gabriel Lippmann, Belvaux, Luxembourg;Centre de Recherche Public-Gabriel Lippmann, Belvaux, Luxembourg
Venue:
CDVE'09 Proceedings of the 6th international conference on Cooperative design, visualization, and engineering
Year:
2009

Citing 2
Cited 0

Model-Driven Testing: Using the UML Testing Profile

Model-Driven Testing: Using the UML Testing Profile
Selection, Evaluation and Generation of Test Cases in an Industrial Setting: A Process and a Tool

TAIC-PART '08 Proceedings of the Testing: Academic & Industrial Conference - Practice and Research Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract

While model based development is common practice in software industry, model based testing is only at an emerging stage, though very promising in terms of production flexibility, collaboration support, and output quality. We present a new approach for automating the validation of critical and complex embedded systems, based on a dedicated language, TBSL (for Test Bench Scripting Language), used to derive test sequences from the modeling of the system under test and the properties to check. TBSL allows both updating easily tests sequences according to the evolution of the system and its use requirements, and solving operational issues related to the different level of abstraction between textual specifications and effective test routines. It is integrated in a collaborative programming framework and has been proofed in validating high-class sensor prototypes for the automotive industry.