Génération automatique de tests à partir de spécifications de structures de données bornées

Nous présentons un prototype pour la génération automatique de tests à partir de spécifications de structures de données bornées. Notre prototype repose sur des fondations formelles issues des spécifications. La portée de la vérification du test peut ainsi être qualitativement évaluée. Ce prototype automatise la pratique du test, en particulier les tests de robustesse aux limites. Il permet donc d'augmenter la qualité de la vérification, et surtout de diminuer son coût. Nous avons utilisé les techniques de programmation logique avec contraintes. Nous montrons que ces techniques sont suffisamment efficaces pour générer des tests atteignant des limites réelles. MOTS-CLES : test de robustesse, test aux bornes, structures de données bornées, génération automatique de tests, programmation logique avec contraintes.