Scenario-based verification in presence of variability using a synchronous approach - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Frontiers of Computer Science Année : 2013

Scenario-based verification in presence of variability using a synchronous approach

Résumé

This paper presents a new model of scenarios, dedicated to the specification and verification of system behaviours in the context of software product lines (SPL). We draw our inspiration from some techniques that are mostly used in the hardware community, and we show how they could be applied to the verification of software components. We point out the benefits of synchronous languages and models to bridge the gap between both worlds.

Dates et versions

hal-00913955 , version 1 (04-12-2013)

Identifiants

Citer

Jean-Vivien Millo, Frédéric Mallet, Anthony Coadou, S. Ramesh. Scenario-based verification in presence of variability using a synchronous approach. Frontiers of Computer Science, 2013, 7 (5), pp.650-672. ⟨10.1007/s11704-013-3094-6⟩. ⟨hal-00913955⟩
118 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More