Assas Recherche | Développement de logiciels corrects par construction à partir de lignes de produits

Développement de logiciels corrects par construction à partir de lignes de produits (Document en Anglais)

Accès au(x) document(s)

Accéder au(x) document(s) :

Ce document est protégé en vertu du Code de la Propriété Intellectuelle.

Modalités de diffusion de la thèse :

Thèse consultable sur internet, en texte intégral.

Informations sur les contributeurs

Auteur : Pham Thi-Kim-Dung

Pham, Thi-Kim-Dung

Nom

Pham

Prénom

Thi-Kim-Dung

Nationalité

Date de soutenance : 16-11-2017

Directeur(s) de thèse : Dubois Catherine

Dubois, Catherine

Nom

Dubois

Prénom

Catherine

- Lévy Nicole

Lévy, Nicole

Nom

Lévy

Prénom

Nicole

Etablissement de soutenance : Paris, CNAM

Paris, CNAM

Nom

Paris, CNAM

Laboratoire : Centre d'études et de recherche en informatique et communications (Paris)

Centre d'études et de recherche en informatique et communications (Paris)

Nom

Centre d'études et de recherche en informatique et communications (Paris)

Ecole doctorale : École doctorale Informatique, télécommunications et électronique de Paris (1992-...)

École doctorale Informatique, télécommunications et électronique de Paris (1992-...)

Nom

École doctorale Informatique, télécommunications et électronique de Paris (1992-...)

Informations générales

Discipline : Sciences de l'information et de la communication. Informatique
Classification : Informatique

Mots-clés libres : Ligne de produits, Preuve formelle, Méthodes formelles, Ligne de produits logiciels
Mots-clés :

Lignes de produits
Logiciels -- Développement
Conception de systèmes informatiques
Méthodes formelles (informatique)
Langages formels
Langages de programmation

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.

Informations techniques

Type de contenu : Text
Format : PDF

Informations complémentaires

Entrepôt d'origine :

STAR : dépôt national des thèses électroniques françaises

Identifiant : 2017CNAM1138
Type de ressource : Thèse