Test à partir de spécifications axiomatiques
Le test est l'une des méthodes les plus utilisées pour la validation du logiciel. L'activité de test consiste à exécuter le logiciel sur un sous-ensemble de ses entrées possibles de manière à déceler d'éventuelles erreurs. La présence d'erreurs est établie par confrontation du co...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université d'Evry-Val d'Essonne
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00258792 http://tel.archives-ouvertes.fr/docs/00/25/87/92/PDF/TheseLonguet.pdf |