Université de Rennes 1 Test basé sur les modèles appliqué aux lignes de produits An approach of combining model-based testing with product Ffamily management ligne de produitsingénierie dirigée par les modèlestestmodélisation orthogonale de la variabilitéexigences Product LineModel-based TestingUsage ModelUsage Model VariantOrthogonal Variability ModelRequirements Ingénierie dirigée par les modèles Thèses et écrits académiques 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. Software product line engineering is an approach that supports developing products in family. These products are described by common and variable features. Currently, the validation activity is disjointed from the product lines development process. The effort and resources provided in the test campaigns for each product can be optimized in the context of product lines. Model-based testing is a technique for automatically generating a suite of test cases from requirements. In this thesis report, we present an approach to test a software product line with model-based testing. This technique is based on an algorithm that establishes the relationship between the variability model released with OVM and the test model, using traceability of functional requirements present in both formalisms. Our contribution is an algorithm that automatically extracts a product test model. It is illustrated with a real industrial case of automotive dashboards and experimented by an industrial of aeronautic domain in the MBAT European project context. Electronic Thesis or DissertationText fr application/pdf1 : 8264 Kohttps://ecm.univ-rennes1.fr/nuxeo/site/esupversions/af17a3bc-aff8-4a66-8698-0ccc7bad7e8e Samih Hamza 1988-03-21 MA 184595347 hamza.samih@gmail.com 2014REN1S109 http://www.theses.fr/2014REN1S109 2014-12-05 Informatique Université de Rennes 1thesis.degree.grantor_1 02778715X Doctorat non ouiBaudryBenoitintervenant_1073554081 Mathématiques, informatique, signal, électronique et télécommunicationsecoleDoctorale_1 139007164 IRISApartenaireRecherche_1 Université européenne de BretagnepartenaireRecherche_2 139075119 ddc:004 BaudryBenoitUniversité de Rennes 1Sciences et technologie, médecine, pharmacie, odontologie, droit, économie, gestion, philosophieMathématiques, informatique, signal, électronique et télécommunicationsÉcole doctorale Mathématiques, informatique, signal, électronique et télécommunications (Rennes)IRISAUniversité européenne de Bretagne ASCII PDF 8462039