Modélisation de la notion de test de programmes; application à la production de jeux de tests

Ce travail presente une modelisation originale de la notion de test de programmes, a partir de la logique egalitaire du premier ordre. Plusieurs applications concernant notamment les types abstraits algebriques et la validation automatique de specifications sont proposees. A partir d'une etude intuitive de la notion de test, nous degageons la notion de processus de test, fondee sur le principe du couplage. Nous definissions la notion de jeu de tests sur un contexte de test. Ses proprietes mathematiques sont etudiees: fiabilite, validite, absence de biais, acceptabilite. Plusieurs ordres partiels sont definis: finesses absolue et asymptotique. Les equivalences deduites donnent lieu a des theoremes importants. Une methode de pratique de test est construite a partir de cette theorie et appliquee a un programme de tri. Cette methode est particulierement adaptee a la validation d'un axiome d'un type abstrait algebrique sur une algebre. Un exemple est presente, et l'implantation d'un outil experimental utilisant cette methode, realise a titre experimental, est decrite. De nombreuses annexes sont jointes: un resume des travaux anterieurs sur le probleme, une bibliographie sur la validation des programmes par test, une introduction a la logique du premier ordre et un listage partiel de l'implantation realisee.