Application de la programmation par contraintes au problème d'optimisation du plan du test logiciel
Loading...
Date
2017
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
FACULTE : MATHEMATIQUES ET DE L’INFORMATIQUE - UNIVERSITE MOHAMED BOUDIAF - M’SILA
Abstract
Dans notre travail nous avons concentré sur l’optimisation d’un problème de test de logiciel avec la programmation par contraintes. Lorsqu’un logiciel ou une application sont créés, il est vital de réaliser plusieurs types de tests, il existe deux types principaux « test structurel, test fonctionnel ». nous avons utilisé un code source d’un programme « PGCD » pour le modéliser par CSP « problèmes de satisfaction de contraintes » après la modélisation, on a utilisé le langage GNU-prolog pour implémenter le modèle obtenu et tester les résultats.
Description
Keywords
Programmation par contraintes, CSP « problèmes de satisfaction de contraintes », Test logiciel, GNU-Prolog, test structurel.