Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems

Authors:
Jonathan Lasalle;Fabien Peureux;Jérôme Guillet
Affiliations:
Université de Franche-Comté, route de Gray, Besançon, France;Université de Franche-Comté, route de Gray, Besançon, France;Université de Haute-Alsace, rue des Frères Lumière, Mulhouse, France
Venue:
Proceedings of the First International Workshop on End-to-End Test Script Engineering
Year:
2011

Citing 7
Cited 2

The object constraint language: precise modeling with UML

The object constraint language: precise modeling with UML
Unified Modeling Language Reference Manual, The (2nd Edition)

Unified Modeling Language Reference Manual, The (2nd Edition)
Practical Model-Based Testing: A Tools Approach

Practical Model-Based Testing: A Tools Approach
A subset of precise UML for model-based testing

Proceedings of the 3rd international workshop on Advances in model-based testing
A test generation solution to automate software testing

Proceedings of the 3rd international workshop on Automation of software test
Implementing Automated Software Testing: How to Save Time and Lower Costs While Raising Quality

Implementing Automated Software Testing: How to Save Time and Lower Costs While Raising Quality
Formal test generation from UML models

Dependable Systems

Development of an automated MBT toolchain from UML/SysML models

Innovations in Systems and Software Engineering
Applying a def-use approach on signal exchange to implement SysML model-based testing

ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an effective end-to-end Model-Based Testing approach to validate automotive mechatronic systems. This solution takes as input a UML/OCL model describing the stimuli of the environment that can excite the mechatronic System Under Test. It applies model coverage criteria to automatically generate test cases, and finally takes an offline approach to translate the generated test cases into executable test scripts that can be executed both on simulation model and physical test bench. The mechatronic System Under Test is then tested against a Matlab/Simulink simulation model, which defines the test oracle. This tooled and automated approach has been successfully experimented on a concrete case study about the validation of a vehicle front axle unit. This experimentation enabled us to validate our approach, and showed its effectiveness in the validation process of mechatronic systems.