ICSSEA 2003-10 Maury /7 1 Intégration de TOBIAS et UCASTING pour la génération de tests O. Maury, Y. Ledru, L. du Bousquet LSR-IMAG BP 72, 38402 St Martin d’Hères cedex, France Tel : +33 4 76 82 72 14, Fax : +33 4 76 82 72 87 {Olivier.Maury, Yves.Ledru, Lydie.du-Bousquet}@imag.fr Résumé : Nous présentons une approche basée sur la combinaison de deux techniques de génération de tests. D’une part, l’outil TOBIAS permet de générer de manière systématique de nombreuses séquences de test à partir d’une description abstraite. D’autre part UCASTING permet de générer des données de test à partir de la spécification exprimée en termes de pré/post-conditions. Nous étudions trois façons d’intégrer UCASTING avec TOBIAS. La première vérifie la conformité de séquences de test générées par TOBIAS. La deuxième calcule les valeurs des paramètres de séquences partiellement dépliées. La troisième précise cette recherche par l’ajout de contraintes. Mots clés : test de conformité, sélection de valeurs de tests, test combinatoire, Abstract: TOBIAS is a tool, which unfolds abstract test sequence descriptions into executable test cases. UCASTING is a conformance testing tool that selects test data from a specification. In this article we study 3 types of connection between both tools. Keywords: Conformance testing, test data selection, combinatorial testing