Une méthode de sélection de tests à partir de spécifications algébriques.
Les travaux de cette thèse s'inscrivent dans le cadre de la vérification des logiciels et plus particulièrement du test à partir de spécifications algébriques. La soumission d'un jeu de tests exhaustif pour trouver toutes les erreurs d'un programme est généralement impossible. Il faut...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université d'Evry-Val d'Essonne
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00419730 http://tel.archives-ouvertes.fr/docs/00/41/97/30/PDF/these.pdf |