Skip to Main content Skip to Navigation
Conference papers

An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios

Mathilde Arnaud 1 Boutheina Bannour 1 Arnault Lapitre 1 
1 LISE - Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
Abstract : DIVERSITY is a multipurpose customizable platform based on symbolic execution. DIVERSITY has been designed for the purpose of managing the diversity of different semantics, but also the diversity of possible analyses based on symbolic execution. In this paper, we show how the input language of DIVERSITY can be used to encode the semantics of UML scenarios which include timing constraints expressed with the VSL language (standardized in the UML profile for embedded systems MARTE). We apply symbolic execution on practical scenarios of a system-on-chip example a in order to select test behaviors using an advanced exploration strategy implemented in DIVERSITY. a Work partially supported by the European project OpenES
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Mathilde ARNAUD Connect in order to contact the contributor
Submitted on : Friday, June 8, 2018 - 1:53:35 PM
Last modification on : Thursday, February 17, 2022 - 10:08:04 AM
Long-term archiving on: : Sunday, September 9, 2018 - 5:46:25 PM


Files produced by the author(s)


  • HAL Id : cea-01810989, version 1


Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre. An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios. Usages of Symbolic Execution Workshop, Jun 2015, Oslo, Norway. ⟨cea-01810989⟩



Record views


Files downloads