Skip to Main content Skip to Navigation
Theses

Development of Correct-by-Construction Software using Product Lines

Résumé : Nous avons commencé la thèse par la littérature d'enquête sur les approches SPLE et CbyC dans l'état de l'art. Sur la base de l'aperçu et des connaissances obtenues, nous avons analysé les problèmes existants et suggéré des moyens de les résoudre pour notre objectif principal. Nous avons proposé dans le chapitre 2 une méthodologie pour développer des lignes de produits afin que les produits générés soient corrects par construction. Notre intention principale est qu'un utilisateur n'a pas besoin de connaître le processus de génération de produit mais peut recevoir un produit final correct en sélectionnant une configuration de fonctionnalité. En utilisant la méthodologie, les produits finaux sont générés automatiquement et leur exactitude est garantie. À la suite de cette proposition, nous sommes passés au chapitre 3 pour définir la langue de FFML qui est utilisé pour l'écriture de modules. Le mécanisme de réutilisation et de modification, défini pour la langue et appliqué à toutes sortes d'artefacts (spécification, code et preuve de précision) réduit l'effort de programmation. Au chapitre 4, nous nous sommes concentrés sur la définition des mécanismes de composition pour la composition des modules FFML et les intégrons à l'outil FFML Product Generator. L'évaluation de notre méthodologie est réalisée par le développement de deux lignes de produits logiciels, le compte bancaire SPL et le SPL de poker, ce dernier étant un peu plus complexe que le premier. Dans l'évaluation, nous avons souligné les avantages et la limitation de notre méthodologie.
Document type :
Theses
Complete list of metadatas

Cited literature [67 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01720099
Contributor : Abes Star :  Contact
Submitted on : Wednesday, February 28, 2018 - 7:27:07 PM
Last modification on : Saturday, December 21, 2019 - 3:42:57 AM
Document(s) archivé(s) le : Monday, May 28, 2018 - 10:37:08 AM

File

thesisThiKimDungPHAM.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01720099, version 1

Collections

Citation

Thi-Kim-Dung Pham. Development of Correct-by-Construction Software using Product Lines. Software Engineering [cs.SE]. Conservatoire national des arts et metiers - CNAM, 2017. English. ⟨NNT : 2017CNAM1138⟩. ⟨tel-01720099⟩

Share

Metrics

Record views

336

Files downloads

107