Browsing by Author "DILMI, RAMZI"

Now showing 1 - 1 of 1
  • Thumbnail Image
    ItemOpen Access
    Application de la programmation par contraintes au problème d'optimisation du plan du test logiciel
    (FACULTE : MATHEMATIQUES ET DE L’INFORMATIQUE - UNIVERSITE MOHAMED BOUDIAF - M’SILA, 2017) DILMI, RAMZI
    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.