Une ligne de produits corrects par construction - Archive ouverte HAL
Conference Papers Year : 2017

Une ligne de produits corrects par construction

Abstract

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
No file

Dates and versions

hal-01670764 , version 1 (21-12-2017)

Identifiers

  • HAL Id : hal-01670764 , version 1

Cite

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⟩
142 View
0 Download

Share

More