Projet : LANDE - lande

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00072000000000000000" id= "SECTION00072000000000000000">Action Two</a></h2>  <a name="LANDE_contrats_module-14" id= "LANDE_contrats_module-14"></a> <p><br /> <br /> <span class="textbf">Participants :</span> Thomas Jensen, Valérie-Anne Nicolas, Olivier Ridoux, Lionel Van Aertryck.<br /> <br /></p> <p><a name="two" id="two"></a></p> <p><strong>Mots clés :</strong> <i>test en boîte noire, test en boîte blanche, test structurel, objectif de test, contrainte, jeu de test, suite de test .</i></p> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>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é <small>AQL</small>. 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, C++ et Cobol).</i> </div> <p>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 <small>AQL</small> à 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 <small>B</small>. Cette génération peut être automatique ou interactive en fonction des besoins de l'utilisateur. Le prototype en question est maintenant robuste et il en a été fait plusieurs démonstrations, notamment lors de la conférence <small>B</small>.</p> <p>Ces travaux sur la génération automatique de jeux de test ont pris une nouvelle dimension dans le cadre de deux collaborations industrielles : le projet européen Two ( <em>Test and Warning Office</em>, Industrial <small>RTD</small> Project no 25503, ref. Inria : 1 98 C 344) et l'action effectuée dans le cadre du programme régional <small>ITR</small>.</p> <p>Le projet Two a commencé en octobre 1998 et s'étendra sur deux années et demie. Il implique le centre de recherche du <small>CEA</small>, 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.</p> <p>L'objectif du projet Two est de concevoir un outil de génération de jeux de test structurels pour <small>C</small> et <small>C++</small>. 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.</p> </body>