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

Mathilde Arnaud | Zendy; Boutheina Bannour | Zendy; Arnault Lapitre | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Mathilde Arnaud,

Boutheina Bannour,

Arnault Lapitre

Publication year - 2016

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2016.01.003

Subject(s) - unified modeling language , computer science , semantics (computer science) , programming language , diversity (politics) , applications of uml , encode , software engineering , software , sociology , anthropology , biochemistry , chemistry , gene

DIVERSITY is a multi-purpose 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 example3 in order to select test behaviors using an advanced exploration strategy implemented in DIVERSITY

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research