Résumé: Dans ce travail nous avons conçu et réalisé un outil de test basé sur l'interaction générateur GFCOST-simulateur SEDIF. Le générateur GFCOST est basé sur l'algorithme FAN pour l'accélération de la recherche de vecteur de test, et en interaction directe avec des fonctions de coût (d'abramovici) qui définissent les contrôlabilités et observabilités d'un point de test et qui servent de valeurs de décision pour la sélection des chemins de sensibilisation de la faute

Sétif:
Langue: Français
Collation: 104 p. ill. ;30 cm
Diplôme: Magister
Etablissement de soutenance: Sétif,Université Ferhat Abbas. Institut d'Electronique
Spécialité: Electronique
Thème Electronique

Mots clés:
Simulateurs

Note: Bibliogr.pp.[105-107]