Compositional Verification of Evolving SPL

Jean-Vivien Millo 1 S. Ramesh 2 Shankara Krishna 3 Ganesh Narwane 4
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Résumé : Ce papier présente une approche nouvelle de vérification pour les lignes de produits logiciels (LPL). L'approche proposée considère que la spécification et la conception de LPL peuvent être abstraites comme des automates à états finis comprenant des informations sur la variabilité. Ces informations sont exprimées différemment aux niveaux spécification et conceptions. Sous ces hypothèses, l'approche proposée supporte la vérification de LPLs dans lesquelles des fonctionnalités peuvent être ajoutées incrémentalement. A partir de la spécification et de la conception d'une LPL, la méthode de vérification proposée assure que chaque produit au niveau conception se conforme, comportementalement parlant, à un produit au niveau spécification. La procédure de conformité est compositionnelle car la vérification de la LPL en entier se réduit à la vérification des fonctionnalités qui la compose individuellement. La méthode a été implantée dans un outil appelé ''SPLEnD'' et essayée sur deux cas d'étude relativement larges.
Type de document :
Rapport
[Research Report] RR-8125, INRIA. 2012, pp.34
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00747533
Contributeur : Team Aoste <>
Soumis le : mercredi 31 octobre 2012 - 14:58:44
Dernière modification le : samedi 21 juillet 2018 - 14:12:01
Document(s) archivé(s) le : samedi 17 décembre 2016 - 07:05:24

Fichiers

mainRR8125.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00747533, version 1

Collections

Citation

Jean-Vivien Millo, S. Ramesh, Shankara Krishna, Ganesh Narwane. Compositional Verification of Evolving SPL. [Research Report] RR-8125, INRIA. 2012, pp.34. 〈hal-00747533〉

Partager

Métriques

Consultations de la notice

379

Téléchargements de fichiers

362