| Le probleme principal du test de conformite base sur un modele abstrait est de pouvoir verifier la conformite d'une implementation par rapport a une specification, ou l'implementation est representee par une boite noire et la specification est un modele de reference (boite blanche). Les questions majeures relatives a cette etude incluent: (1) quelles hypotheses doivent etre formulees afin de resoudre ce probleme; (2) sur quels criteres va-t-on se baser pour verifier la conformite de l'implementation par rapport a la specification; (3) quelles methodes doivent etre utilisees pour deriver les suites de test de conformite a partir de la specification; et (4) quelles sont les techniques d'evaluation de la couverture de fautes d'une suite de tests donnee.;Dans le cas ou la specificationet l'implementation sont des machines a etats finis, la theorie de test pour ce probleme a deja ete elaboree depuis plusieurs decennies, et un nombre utile et concurrentiel de methodes de generation de test a ete developpe. Par contre, dans le cas ou la specification et l'implementation sont des systemes a transitions etiquetees, la theorie existante de test n'est pas completement developpee. La plupart des methodes de generation de tests basees sur ce modele utilisent toujours l'approche exhaustive, celle ou tous les scenarios d'execution possibles sont considerees afin de demontrer la conformite d'une implementation par rapport a sa specification, ou l'approche d'approximation, celle ou tous les scenarios d'execution sont supprimes apres un certain nombre d'interactions.;Etant donneque le systeme a transitions etiquetees est un modele plus abstrait que le modele des machines a etats finis, qui ne fait pas la distinction entre les entrees et sorties, les solutions de test de conformite basees sur les machines a etats finis ne peuvent pas etre appliquees directement. Tout d'abord les systemes a transitions etiquetes communiquent par des interactions de type rendez-vous, plutot que des interactions de type entrees/sorties avec file d'attente. Ainsi, la notion traditionnelle de "verification d'experiences" selon laquelle deux differentes machines a etats finis sont identifiees n'est plus valide dans les modeles de systeme a transitions etiquetees. Ensuite, dans le cas de test de conformite, on n'a que la semantique de trace pour comparer deux machines a etats finis, alors qu'on a plusieurs semantiques plus "granulaires", telles que les semantiques d'echec et de trace d'echec, selon lesquelles deux systemes a transitions etiquetees peuvent etre compares.;Dans cette these, on va repondre de facon satisfaisante au probleme suivant: developpement d'une approche efficace de derivation de test, dans le cas des modeles a systemes a transitions etiquetees, qui garantit la couverture de fautes pour un modele de fautes bien defini.;On conclutque nous avons obtenu une solution satisfaisante au probleme de derivation de test base sur le modele de systeme a transitions etiquetees, en considerant les semantiques de trace, d'echec et de trace d'echec, avec une garantie de couverture de faute pour un modele de faute bien defini. (Abstract shortened by UMI.). |
