Génération automatique de vecteurs de test et simulateur logique
الأطروحات و الكتابات الأكاديمية من تأليف: Lakhlef, Ahcéne ; Université Ferhat Abbas de Sétif ; Chemali, H. ; نشر في: 1994
ملخص: 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:
لغة:
فرنسية
الوصف المادي:
104 p. ill.
;30 cm
الشهادة:
Magister
مؤسسة مناقشة الرسالة:
Sétif,Université Ferhat Abbas. Institut d'Electronique
تخصص:
Electronique
الموضوع
الإلكترونيك
الكلمات الدالة:
Simulateurs
ملاحظة: Bibliogr.pp.[105-107]