Actuellement, les software product lines ou lignes de produits logiciels représentent un moyen efficace de produire une famille de logiciels. Dans cette dernière, les logiciels partagent des caractéristiques communes mais possèdent aussi chacun leurs propres particularités. La gestion et la modélisation de la variabilité qui existe entre ces logiciels est une tâche cruciale au sein d'une SPL. Les diagrammes de features permettent de modéliser cette variabilité à un haut niveau d'abstraction. Ici, une feature peut représenter une fonctionnalité, une caractéristique, ... d'un ou plusieurs des logiciels de la SPL. Cependant, ces diagrammes possèdent des lacunes les empêchant d'être en adéquation avec les besoins du monde industriel. Dans ce contexte, l'équipe LIEL des FUNDP a développé TVL, un langage textuel aussi basé sur le concept de features. Le but de ce langage est de combler les lacunes des diagrammes de features et de proposer aux entreprises une solution adaptée à leurs exigences. Toutefois, présenté ainsi, TVL ne peut pas être pleinement exploité. En effet, il n'existe aucun outil automatisant l'analyse et le contrôle de modèles TVL. Dès lors, afin de combler ce vide, dans ce travail, un logiciel nommé "parseur TVL" est présenté. Ce dernier possède trois fonctionnalités majeures. Premièrement, il est capable d'analyser syntaxiquement et sémantiquement un modèle TVL. Deuxièmement, il peut générer la forme normalisée de ce modèle (n'employant qu'un sous-ensemble des constructeurs de TVL). Troisièmement, en employant un solveur SAT et à certaines conditions, il est capable de calculer diverses opérations concernant le modèle. Il peut notamment déterminer si oui ou non le modèle est satisfiable.
la date de réponse | 2010 |
---|
langue originale | Français |
---|
L'institution diplômante | |
---|
Superviseur | Patrick Heymans (Promoteur), Andreas Classen (Copromoteur) & Quentin Boucher (Copromoteur) |
---|
Conception d'un logiciel automatisant le contrôle et l'analyse de modèles TVL
Faber, P. (Auteur). 2010
Student thesis: Master types › Master en sciences informatiques