Zobrazeno 1 - 2
of 2
pro vyhledávání: '"normalisation d'arbres de preuves"'
Autor:
Boin, Clément
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 progr
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00419730
http://tel.archives-ouvertes.fr/docs/00/41/97/30/PDF/these.pdf
http://tel.archives-ouvertes.fr/docs/00/41/97/30/PDF/these.pdf
Autor:
Boin, Clément
Publikováno v:
Génie logiciel [cs.SE]. Université d'Evry-Val d'Essonne, 2007. Français
This thesis deals with test data set selection from algebraic specifications. It is, most of the time, impossible to submit an exhaustive test set to find all the errors in a program. It is necessary to select a test set judiciously. Thus, we gave a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::631c22cc19a8b145e0a0b01d4acb790a
https://tel.archives-ouvertes.fr/tel-00419730
https://tel.archives-ouvertes.fr/tel-00419730