Application de la programmation par contraintes au problème d'optimisation du plan du test logiciel
| dc.contributor.author | DILMI, RAMZI | |
| dc.date.accessioned | 2018-01-30T14:24:26Z | |
| dc.date.available | 2018-01-30T14:24:26Z | |
| dc.date.issued | 2017 | |
| dc.description.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. | en_US |
| dc.identifier.uri | http://dspace.univ-msila.dz:8080//xmlui/handle/123456789/1828 | |
| dc.language.iso | fr | en_US |
| dc.publisher | FACULTE : MATHEMATIQUES ET DE L’INFORMATIQUE - UNIVERSITE MOHAMED BOUDIAF - M’SILA | en_US |
| dc.subject | Programmation par contraintes, CSP « problèmes de satisfaction de contraintes », Test logiciel, GNU-Prolog, test structurel. | en_US |
| dc.title | Application de la programmation par contraintes au problème d'optimisation du plan du test logiciel | en_US |
| dc.type | Thesis | en_US |