ملخص: Ce mémoire concerne l’étude et le développement de techniques d'analyse de testabilité de descriptions comportementales de circuits. Ces techniques ont pour objectif de réduire le cout du processus de génération de séquences de test comportemental. Ce cout étant directement lie a la complexité des descriptions comportementales et a la complexité de la stratégie de génération des séquences de test comportemental, les techniques présentées ont été adaptées des domaines du test du logiciel et du test du matériel. Elles ont été développées au sein d'un environnement de testabilité comportementale nomme bâtie. Ce dernier contient les trois outils suivants: un outil de mesure de complexité de descriptions comportementales, un outil d'identification de fragments de descriptions a améliorer et un outil de mesure de testabilité de descriptions comportementales

Montpellier:
لغة: فرنسية
الوصف المادي: 186 p. ;30 cm
الشهادة: Doctorat
مؤسسة مناقشة الرسالة: Montpellier, Université Sciences et Technique
تخصص: Signaux et systémes
الموضوع الإعلام الآلي

ملاحظة: Bibliogr.pp.170-177