Projet : LANDE - Action TWO

Mots clés : Test en boîte noire, Test en boîte blanche, Test structurel, Objectif de test, Contrainte, Jeu de test, Suite de test .

Résumé :

Nous avons proposé une méthode de génération de suites de test qui forme le noyau de l'outil CASTING développé en collaboration avec la société AQL. La première version du prototype prend en entrée des spécifications B. Nous travaillons maintenant, en collaboration avec différents partenaires universitaires et industriels, à l'exploitation de ces techniques pour la génération de jeux de test structurels (pour C et C++).

Nos travaux sur la génération automatique de jeux de test ont été initiés dans le cadre d'une collaboration avec la société rennaise AQL à travers une bourse Cifre puis le stage de post-doc industriel de Lionel Van Aertryck. Ils ont conduit à la réalisation du prototype CASTING, un outil qui permet de générer des jeux de test à partir de spécifications B. Cette génération peut être automatique ou interactive en fonction des besoins de l'utilisateur. Le prototype en question est maintenent robuste et il en a été fait plusieurs démonstrations, notamment lors de la dernière conférence B.

Ces travaux sur la génération automatique de jeux de test prennent une nouvelle dimension avec la collaboration entamée dans le cadre du projet européen TWO (Test and Warning Office, Industrial RTD Project No 25503, ref. Inria: 1 98 C 344). Ce projet a commencé en octobre 1998 et s'étendra sur deux années et demie. Il implique le centre de recherche du CEA, le Politecnico di Milano (Italie), les sociétés Elsag Bailey (Italie), Siemens (Allemagne), Spacebel Informatique (Belgique) et l'éditeur d'outils de tests Attol Testware (France) qui pilote le projet.

L'objectif du projet TWO est de concevoir un outil de génération de jeux de test structurels pour C et C++. Cet outil se décomposera en trois phases principales: l'analyse des codes sources, la génération de contraintes correspondant à un objectif de test donné et la résolution de ces contraintes pour engendrer les jeux de test effectifs. Notre intervention se situe essentiellement dans la troisième phase. L'outil mis au point dans le cadre du projet TWO sera intégré à l'environnement de test actuellement commercialisé par Attol Testware: il facilitera la tâche du testeur tout en permettant les mesures de taux de couverture offertes par l'outil Attol Coverage. Les services ajoutés qui seront fournis par le projet TWO correspondent à une demande forte de la part des utilisateurs actuels de l'environnement d'Attol Testware.