Abstract FR:

Le probleme que nous avons aborde est celui de la generation automatique de tests a partir d'une description formalisee. La these que nous presentons dans ce document est que, malgre une apparente diversite, les methodes de generation de tests qui ont ete proposees reposent en fait sur quelques techniques (comme les traitements de graphes et la resolution de contraintes) qui sont independantes d'un formalisme d'entree particulier. Nous avons effectue la synthese de ces techniques pour concevoir une methode de generation automatique de tests baptisee casting (computer assisted software testing). Notre methode apporte une solution efficace en adoptant une approche fondee sur le traitement syntaxique de documents d'entree structures et sur l'utilisation de contraintes. Casting est une methode formelle parce qu'elle met en uvre des formalismes clairement definis (grammaires bnf, logique des predicats du premier ordre, systemes de contraintes). Elle automatise l'ensemble de la problematique de generation de test en effectuant aussi bien l'identification des tests que leur ordonnancement dans des suites de tests. L'accent a ete mis sur la flexibilite en offrant une grande liberte aux utilisateurs quant a l'adaptation de la methode a leurs besoins (strategies de test parametrables). Apres quelques rappels sur differents aspects du test et les travaux qui ont apporte les premiers elements de reponse au probleme de la conception de tests unitaires a partir de specifications, nous decrivons de maniere generale la methode que nous proposons. Nous en donnons ensuite une specialisation pour un formalisme donne : un sous-ensemble du langage b. Nous appliquons cette specialisation a l'exemple simple d'un gestionnaire de processus. Un prototype mettant en uvre les principales caracteristiques de casting est presente brievement. L'application a un exemple realiste (une commande de controle de chaudiere) est resumee en annexe.