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
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01670764
Contributor : Médiathèque Télécom Sudparis & Institut Mines-Télécom Business School <>
Submitted on : Thursday, December 21, 2017 - 4:16:43 PM
Last modification on : Thursday, October 17, 2019 - 12:33:22 PM

Identifiers

  • HAL Id : hal-01670764, version 1

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. pp.79 - 85. ⟨hal-01670764⟩

Share

Metrics

Record views

75