Timed symbolic testing framework for executable models using high-level scenarios - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Timed symbolic testing framework for executable models using high-level scenarios

Résumé

Refining high-level system scenarios into executable models is often not automatic and subject to implementation choices. We develop techniques and tools combining different modes of simulation in order to assess automatically the correctness of executable fUML activities with respect to system scenarios specified as UML MARTE sequence diagrams. In this paper, we show how test data are extracted from sequence diagrams using symbolic execution and how they are used as inputs to test system activities in the standardized fUML virtual machine.
Fichier principal
Vignette du fichier
CSDM2014_ABCGGL.pdf (647.46 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

cea-01810844 , version 1 (08-06-2018)

Identifiants

  • HAL Id : cea-01810844 , version 1

Citer

Mathilde Arnaud, Boutheina Bannour, Arnaud Cuccuru, Christophe Gaston, Sébastien Gerard, et al.. Timed symbolic testing framework for executable models using high-level scenarios. Conference on Complex Systems Design & Management, Nov 2014, Paris, France. ⟨cea-01810844⟩
63 Consultations
129 Téléchargements

Partager

Gmail Facebook X LinkedIn More