Lionel Van Aertryck

Collaborateur de la société Alliance Qualite Logiciel - Groupe Silicomp

Sous-traitant pour le projet Lande de l'IRISA dans le cadre de projets européens et nationaux.

Adresse :       Irisa/Inria Campus de Beaulieu 
                35042 Rennes Cedex France
email :         lionel.van-aertryck@irisa.fr ou lionel.van.aertryck@aql.fr
Tél :           33 (2) 99 84 75 76
Secrétaire :    Catherine Godest
                33 (2) 99 84 74 03
Fax :           33 (2) 99 84 71 71

Travaux

CASTING : une méthode et un outil pour l'aide à la génération de jeux de tests de logiciels

Le problème que nous avons abordé et qui a fait l'objet de ma thèse est celui de la génération automatique de tests à partir d'une description formalisée. La thèse que nous avons soutenue est que, malgré une apparente diversité, les méthodes de génération de tests qui ont été proposées reposent en fait sur quelques techniques (comme les traitements de graphes et la résolution de contraintes) qui sont indépendantes d'un formalisme d'entrée particulier.

Nous avons effectué la synthèse de ces techniques pour concevoir une méthode de génération automatique de tests baptisée CASTING (pour <<Computer Assisted Software Testing>>).

Notre méthode apporte une solution pragmatique et efficace en adoptant une approche fondée sur le traitement syntaxique de documents d'entrée structurés et sur l'utilisation et la résolution de contraintes.

Projets en cours ou terminés autour de CASTING

B-CASTING : une spécialisation de CASTING pour un sous-ensemble de B

Nous avons réalisé un prototype qui implémente notre méthode de génération de jeux de tests en spécialisant celle-ci pour un sous-ensemble du langage B.

Le projet européen Test and Warning Office (T.W.O) (10/1998-04/2001)

Ce projet vise à compléter les outils de test existants par la prise en compte de menaces dans le code de programmes C et C++ et en fournissant à l'utilisateur les moyens de générer automatiquement les données de tests nécessaires à la couvertures de critère de tests structurels définis.
Ce projet regroupe les partenaires suivants : Attol Testware (outils de test), CEA, Politecnico di Milano, Inria/AQL, Siemens Automotive, Spacebel Informatique, Elsag Bailey.

Le projet RNTL COTE : Test de composants (11/2000-11/2002)

L'objectif des partenaires de ce projet est d'effectuer l'intégration des techniques de test existantes en les appliquant au test de composants UML.

Dans le cadre de ce projet nous avons développé un prototype pour UML/OCL.

Publications

L. Van Aertryck

Une méthode et un outil pour l'aide à la génération de jeux de tests de logiciels. Thèse de l'Université de Rennes I, 1998 (résumé - postscript [.gz] - 446 Ko ). (Soutenue le 30 janvier 1998) Contactez moi par e-mail pour en obtenir un exemplaire.

L. Van Aertryck, M. Benveniste, D. Le Métayer,

"CASTING : une méthode formelle pour la génération de tests" , Actes des journées AFADL (Approches Formelles dans l'Assistance au Développement de Logiciel), pp 99-112, 28-29 mai 1997, Toulouse, France. ( postscript [. gz]- 108 Kbytes).

L. Van Aertryck, M. Benveniste, D. Le Métayer

"CASTING: A formally based software test generation method", In The 1st International Conference on Formal Engineering Methods, IEEE, ICFEM'97, Hiroshima, Japan, November 1997 (postscript [.gz] - 115 Ko ) .