Author: Fabien Peureux
Publisher:
ISBN:
Category :
Languages : fr
Pages : 170
Book Description
Les travaux présentés dans cette thèse proposent une méthode originale de génération automatique de tests fonctionnels aux limites accompagnée d'un environnement baptisé BZ-Testing-Tools. Le but de notre démarche est de générer des jeux de tests à partir d'une machine abstraite B du système sous test produite spécialement pour la phase de test. Cette méthode repose sur la réécriture de la spécification B en un système de contraintes et la partition du domaine des variables de la spécification, ce qui permet d'exhiber l'ensemble des comportements du système. A partir de chaque comportement, des entrées de test aux limites sont calculées au moyen d'un solveur spécifique utilisant des techniques de Programmation Logique avec Contraintes. Des séquences de tests sont alors générées par parcours du graphe d'atteignabilité de la spécification. La vérification des résultats de l'exécution est effectuée par comparaison des états de sortie avec ceux obtenus par animation du modèle abstrait.