Une ligne de produits corrects par construction

Résumé : L'ingénierie des lignes de produits logiciels met l'accent sur la gestion de la variabilité et la réutilisation. Dans cet article, nous complétons cette approche avec la recherche de garanties de correction sur les produits issus d'une ligne de produits. Nous proposons une méthode permettant de produire des produits corrects par construction à partir d'une ligne de produits. Cette méthode s'appuie sur un langage, FFML, inspiré de FoCaLiZe et incorporant des mécanismes pour exprimer la variabilité, et deux outils : un compilateur vers FoCaLiZe et un composeur. Le composeur permet de générer automatiquement des produits corrects par construction à partir d'une configuration valide. Les outils de FoCaLiZe permettent de vérifier les preuves de correction et de générer du code exécutable OCaml. La méthode est illustrée dans cet article sur un exemple simple de ligne de produits
Type de document :
Communication dans un congrès
AFADL 2017: 6èmes journées des Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France. AFADL Actes AFADL 2017: 6èmes journées des Approches Formelles dans l'Assistance au Développement de Logiciels, pp.79 - 85, 2017
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01670764
Contributeur : Médiathèque Télécom Sudparis & Institut Mines Télécom Business School <>
Soumis le : jeudi 21 décembre 2017 - 16:16:43
Dernière modification le : jeudi 24 mai 2018 - 15:58:08

Identifiants

  • HAL Id : hal-01670764, version 1

Collections

Citation

Thi-Kim-Zung Pham, Catherine Dubois, Nicole Levy. Une ligne de produits corrects par construction. AFADL 2017: 6èmes journées des Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France. AFADL Actes AFADL 2017: 6èmes journées des Approches Formelles dans l'Assistance au Développement de Logiciels, pp.79 - 85, 2017. 〈hal-01670764〉

Partager

Métriques

Consultations de la notice

46