Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux

Type de document

RAPPORT

Langue

francais

Auteur

BEHNIA

Résumé / Abstract

CE RAPPORT A POUR BUT DE DONNER UNE VUE D'ENSEMBLE DES TRAVAUX DE RECHERCHE SUR LE TEST DE LOGICIEL AVEC POUR OBJECTIF L'ELIMINATION DE FAUTES. IL RECAPITULE L'ETUDE BIBLIOGRAPHIQUE, MENEE EN 1997, SUR LE TEST ET LES METHODES FORMELLES. LES PREMIERS RESULTATS SUR LES TESTS DES MODELES FORMELS B SONT PRESENTES ET LES PERSPECTIVES SONT ENONCEES DANS CE DOCUMENT.