Composition du Jury:

• Laurence Duchien, rapporteuse, Université Lille 1, Lille
• César Viho, examinateur, Université Rennes 1 / IRISA, Rennes
• Franck Barbier, rapporteur, Université de Pau, Pau
• Jean-Claude Royer, examinateur, École des Mines de Nantes, Nantes.
  
• Benoit Baudry, directeur de thèse, chercheur Inria Rennes - Bretagne Atlantique.
• Hélène Le Guen, co-encadrant de la thèse, chef de projet chez ALL4TEC.

Résumé:

L'ingénierie des lignes de produits est une approche utilisée pour développer une famille de produits. Ces produits partagent un ensemble de points communs et un ensemble de points de variation. Aujourd'hui, la validation est une activité disjointe du processus de développement des lignes de produits. L'effort et les moyens fournis dans les campagnes de tests de chaque produit peuvent être optimisés dans un contexte plus global au niveau de la ligne de produits.

Le model-based testing est une technique de génération automatique des cas de test à partir d'un modèle d'états et de transitions construit à partir des exigences fonctionnelles. Dans cette thèse, nous présentons une approche pour tester une ligne de produits logiciels avec le model-based testing. La première contribution consiste à établir un lien entre le modèle de variabilité et le modèle de test, à l'aide des exigences fonctionnelles. La deuxième contribution est un algorithme qui extrait automatiquement un modèle de test spécifique à un produit membre de la famille de produits sous test. L'approche est illustrée par une famille de produits de tableaux de bord d'automobiles et expérimentée par un industriel du domaine aéronautique dans le cadre du projet Européen MBAT.